(=>
(partiallyFills ?OBJ ?HOLE1)
(exists (?HOLE2)
(and
(part ?HOLE2 ?HOLE1)
(completelyFills ?OBJ ?HOLE2)))) |
Merge.kif 10212-10217 |
If X partially fills Y, then there exists Z such that Z is a part of Y and X completely fills Z |
(=>
(and
(fills ?OBJ ?HOLE1)
(properPart ?HOLE2 ?HOLE1))
(completelyFills ?OBJ ?HOLE2)) |
Merge.kif 10279-10283 |
If X fills Y and Z is a proper part of Y, then X completely fills Z |
(=>
(instance ?R
(OperatingFn InternalCombustionEngine))
(exists (?E ?C ?F)
(and
(instance ?E InternalCombustionEngine)
(instrument ?R ?E)
(hole ?C ?E)
(instance ?F Combustion)
(completelyFills ?F ?C)))) |
Mid-level-ontology.kif 2340-2348 |
If X is an instance of the operating of internal combustion engine, then there exist Y, Z, W such that Y is an instance of internal combustion engine, Y is an instrument for X, Z is a hole in Y, W is an instance of burning, and W completely fills Z |
(=>
(instance ?PLUG Plug)
(exists (?HOLE)
(completelyFills ?PLUG ?HOLE))) |
Mid-level-ontology.kif 4309-4312 |
If X is an instance of plug, then there exists Y such that X completely fills Y |
(=>
(instance ?X ElectricalPlug)
(hasPurpose ?X
(exists (?OUTLET)
(and
(instance ?OUTLET ElectricalOutlet)
(completelyFills ?X ?OUTLET))))) |
Mid-level-ontology.kif 28511-28517 |
If X is an instance of electrical plug, then X has the purpose there exists Y such that Y is an instance of electrical outlet and X completely fills Y |
(=>
(instance ?ADAPT OutletAdapter)
(hasPurpose ?ADAPT
(exists (?OUTLET ?PLUG)
(and
(instance ?PLUG ElectricalPlug)
(instance ?OUTLET ElectricalOutlet)
(completelyFills ?PLUG ?ADAPT)
(completelyFills ?ADAPT ?OUTLET)
(connectsEngineeringComponents ?ADAPT ?PLUG ?OUTLET))))) |
Mid-level-ontology.kif 28549-28558 |
If X is an instance of outlet adapter, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Z is an instance of electrical plug (3) Y is an instance of electrical outlet (4) Z completely fills X (5) X completely fills Y (6) X connects Z (7) Y |
