contains |
(=> (instance ?GT GasTank) (hasPurpose ?GT (exists (?F ?T ?E) (and (instance ?F Fuel) (contains ?GT ?F) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?GT) (destination ?T ?E) (patient ?T ?F))))) |
Cars.kif 1000-1011 |
|
(=> (instance ?GT GasTank) (hasPurpose ?GT (exists (?F) (and (instance ?F Fuel) (contains ?GT ?F))))) |
Cars.kif 992-998 | |
(=> (instance ?H Holster) (hasPurpose ?H (exists (?P) (and (instance ?P Pistol) (contains ?H ?P))))) |
Mid-level-ontology.kif 1658-1664 | |
(=> (instance ?HTB HandToolBox) (hasPurpose ?HTB (exists (?HT) (and (instance ?HT HandTool) (contains ?HTB ?HT))))) |
Cars.kif 4826-4832 |
|
(=> (instance ?LN LymphNode) (exists (?WBC) (and (instance ?WBC WhiteBloodCell) (contains ?LN ?WBC)))) |
Mid-level-ontology.kif 12246-12251 |
|
(=> (instance ?NS NasalSeptum) (exists (?NC) (and (instance ?NC NasalCavity) (contains ?NC ?NS)))) |
Mid-level-ontology.kif 6103-6108 |
|
(=> (instance ?OP OilPan) (hasPurpose ?OP (exists (?O) (and (instance ?O Oil) (contains ?OP ?O))))) |
Cars.kif 3323-3329 | |
(=> (instance ?P Pericardium) (hasPurpose ?P (exists (?H) (and (instance ?H Heart) (contains ?P ?H))))) |
Mid-level-ontology.kif 11402-11408 |
|
(=> (instance ?SL SalineLock) (exists (?S) (and (instance ?S SalineSolution) (contains ?SL ?S)))) |
Medicine.kif 1106-1111 |
|
(=> (instance ?T Tomb) (hasPurpose ?T (exists (?P) (and (attribute ?P Dead) (contains ?T ?P))))) |
Mid-level-ontology.kif 6846-6852 | |
(=> (instance ?TUB BathTub) (hasPurpose ?TUB (exists (?WATER) (and (instance ?WATER Water) (contains ?TUB ?WATER))))) |
Mid-level-ontology.kif 2054-2060 | |
(=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?B) (and (instance ?B Bolt) (contains ?W ?B))))) |
Mid-level-ontology.kif 4299-4305 |
|
(=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 AttachingDevice) (meetsSpatially ?O1 ?W) (contains ?W ?O2))))) |
Mid-level-ontology.kif 4285-4293 |
|
(=> (instance ?X AutoAirbag) (hasPurpose ?X (exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT) (and (instance ?CAR Automobile) (part ?X ?CAR) (instance ?PERSON Human) (contains ?CAR ?PERSON) (instance ?IMP Impacting) (patient ?IMP ?CAR) (instance ?INF Inflating) (patient ?INF ?X) (causes ?IMP ?INF) (hinders ?INF (KappaFn ?INJ (and (instance ?INJ Injuring) (experiencer ?INJ ?PERSON) (exists (?HIT) (and (instance ?HIT Impacting) (destination ?HIT ?CAR) (experiencer ?HIT ?PERSON) (causes ?HIT ?INJ)))))))))) |
Cars.kif 3632-3656 |
|
(=> (instance ?X BoxOfChocolates) (exists (?B ?C) (and (instance ?B Box) (instance ?C ChocolateCandy) (contains ?B ?C) (member ?C ?X)))) |
Food.kif 2515-2522 |
|
(=> (instance ?X SeatBelt) (hasPurpose ?X (exists (?PERSON ?STOP ?VEHICLE ?M) (and (instance ?VEHICLE Vehicle) (part ?X ?VEHICLE) (instance ?PERSON Human) (contains ?VEHICLE ?PERSON) (instance ?STOP Process) (prevents ?STOP (KappaFn ?M (and (instance ?M Translocation) (patient ?M ?PERSON) (exists (?COLLISION) (and (or (instance ?COLLISION Decelerating) (instance ?COLLISION Impacting)) (experiencer ?COLLISION ?VEHICLE) (causes ?COLLISION ?M))) (modalAttribute (exists (?INJ ?IMP) (and (instance ?INJ Injuring) (instance ?IMP Impacting) (causes ?M ?INJ) (patient ?INJ ?PERSON) (subProcess ?IMP ?INJ))) Possibility)))))))) |
Cars.kif 3675-3704 |
|
(=> (onboard ?O ?V) (contains ?V ?O)) |
Mid-level-ontology.kif 17406-17408 |
|