consequent

(=>     (contains ?OBJ1 ?OBJ2)     (exists (?HOLE)         (and             (hole ?HOLE ?OBJ1)             (properlyFills ?OBJ2 ?HOLE))))	Merge.kif 1101-1106	If X contains Y, then there exists Z such that Z is a hole in X and Y properly fills Z
(=>     (and         (fills ?OBJ1 ?HOLE)         (properPart ?OBJ2 ?OBJ1))     (properlyFills ?OBJ2 ?HOLE))	Merge.kif 10285-10289	If X fills Y and Z is a proper part of X, then Z properly fills Y
(=>     (instance ?AREA WaterArea)     (exists (?BED ?HOLE ?WATER)         (and             (equal                 (HoleHostFn ?HOLE) ?BED)             (instance ?WATER Water)             (properlyFills ?WATER ?HOLE)             (equal                 (MereologicalSumFn ?BED ?WATER) ?AREA))))	Merge.kif 14438-14445	If X is an instance of water area, then All of the following hold: (1) there exist Y, Z (2) W such that equal the host of the hole Z (3) Y (4) W is an instance of water (5) W properly fills Z (6) equal the union of the parts of Y (7) W (8) X
(=>     (instance ?B Eyeball)     (exists (?S ?L1 ?L2)         (and             (instance ?S Eyesocket)             (properlyFills ?B ?S)             (instance ?L1 UpperEyelid)             (instance ?L2 LowerEyelid)             (covers ?L1 ?B))))	Mid-level-ontology.kif 13716-13724	If X is an instance of eye ball, then there exist Y, Z, W such that Y is an instance of eye socket, X properly fills Y, Z is an instance of upper eye lid, W is an instance of lower eye lid, and Z covers X

Show simplified definition (without tree view)
Show simplified definition (with tree view)