Relation CAN-FILL

Arity: 2

Domain: *liquid

Range: *cavity

Axioms:

(= (Inverse Fillable-With) Can-Fill)

(<=> (Can-Fill ?A ?B) (And (*Liquid ?A) (*Cavity ?B)))

• Defined in theory: Topo-morphology
• Source code: Topo-Morphology.lisp