(=>
(and
(hole ?HOLE1 ?OBJ)
(hole ?HOLE2 ?OBJ))
(forall (?HOLE3)
(=>
(part ?HOLE3
(MereologicalSumFn ?HOLE1 ?HOLE2))
(hole ?HOLE3 ?OBJ)))) |
Merge.kif 10121-10128 |
If X is a hole in Y and Z is a hole in Y, then For all HoleRegion W: if W is a part of the union of the parts of X and Z, then W is a hole in 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 |
(=>
(attribute ?T SymmetricShape)
(exists (?C1 ?C2)
(and
(copy ?C1 ?C2)
(equal ?T
(MereologicalSumFn ?C1 ?C2))))) |
Mid-level-ontology.kif 3469-3475 |
If symmetric shape is an attribute of X, then there exist Y, Z such that Y is a copy of Z, equal X, the union of the parts of Y, and Z |
(=>
(instance ?S Hydrocarbon)
(exists (?P1 ?P2)
(and
(equal ?S
(MereologicalSumFn ?P1 ?P2))
(instance ?P1 Carbon)
(instance ?P2 Hydrogen)))) |
Mid-level-ontology.kif 9946-9952 |
If X is an instance of hydrocarbon, then there exist Y, Z such that equal X, the union of the parts of Y, Z, Y is an instance of carbon, and Z is an instance of hydrogen |
(=>
(half ?HALF ?WHOLE)
(exists (?OTHER)
(and
(half ?OTHER ?WHOLE)
(not
(equal ?OTHER ?HALF))
(equal ?WHOLE
(MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 14735-14741 |
If X is half of Y, then there exists Z such that Z is half of Y, equal Z, X, equal Y, the union of the parts of X, and Z |
(=>
(third ?T ?W)
(exists (?O1 ?O2)
(and
(third ?O1 ?W)
(third ?O2 ?W)
(not
(equal ?O1 ?T))
(not
(equal ?O2 ?T))
(not
(equal ?O1 ?O2))
(equal ?W
(MereologicalSumFn ?T
(MereologicalSumFn ?O1 ?O2)))))) |
Mid-level-ontology.kif 14750-14761 |
If X is a third of Y, then All of the following hold: (1) there exist Z (2) W such that Z is a third of Y (3) W is a third of Y (4) equal Z (5) X (6) equal W (7) X (8) equal Z (9) W (10) equal Y (11) the union of the parts of X (12) the union of the parts of Z (13) W |
(=>
(instance ?Estate RealEstate)
(or
(instance ?Estate StationaryArtifact)
(instance ?Estate LandArea)
(exists (?Artifact ?Area)
(and
(instance ?Artifact StationaryArtifact)
(instance ?Area LandArea)
(equal ?Estate
(MereologicalSumFn ?Artifact ?Area)))))) |
FinancialOntology.kif 1399-1408 |
If X is an instance of real estate, then At least one of the following holds: (1) X is an instance of stationary artifact (2) X is an instance of land area (3) there exist Y, Z such that Y is an instance of stationary artifact, Z is an instance of land area, equal X, the union of the parts of Y, and Z |
