(=>
(instance ?TRANS Transportation)
(exists (?DEVICE)
(and
(instance ?DEVICE TransportationDevice)
(instrument ?TRANS ?DEVICE)))) |
Merge.kif 11770-11775 |
If X is an instance of transportation, then there exists Y such that Y is an instance of transportation device and Y is an instrument for X |
(=>
(instance ?X CarBombing)
(exists (?BOMB ?CAR)
(and
(instance ?BOMB Bomb)
(instance ?CAR TransportationDevice)
(instrument ?X ?CAR)
(instrument ?X ?BOMB)
(connected ?CAR ?BOMB)))) |
Mid-level-ontology.kif 24199-24207 |
If X is an instance of car bombing, then there exist Y, Z such that Y is an instance of bomb, Z is an instance of transportation device, Z is an instrument for X, Y is an instrument for X, and Z is connected to Y |
(=>
(instance ?X Hijacking)
(exists (?V ?A)
(and
(agent ?X ?A)
(instance ?V TransportationDevice)
(holdsDuring
(ImmediatePastFn
(WhenFn ?X))
(not
(possesses ?A ?V)))
(holdsDuring
(WhenFn ?X)
(possesses ?A ?V))))) |
Mid-level-ontology.kif 24266-24279 |
If X is an instance of hijacking, then there exist Y, Z such that Z is an agent of X, Y is an instance of transportation device, Z doesn't possess Y holds during immediately before the time of existence of X, and Z possesses Y holds during the time of existence of X |
(=>
(instance ?X VehicleAttack)
(exists (?V)
(and
(instance ?V TransportationDevice)
(instrument ?X ?V)))) |
Mid-level-ontology.kif 24502-24507 |
If X is an instance of vehicle attack, then there exists Y such that Y is an instance of transportation device and Y is an instrument for X |
(=>
(instance ?PARK ParkingRegion)
(hasPurpose ?PARK
(exists (?EVENT ?TD)
(and
(instance ?EVENT Putting)
(playsRoleInEvent ?PARK destination ?EVENT)
(playsRoleInEvent ?TD patient ?EVENT)
(instance ?TD TransportationDevice))))) |
TransportDetail.kif 36-44 |
If X is an instance of parking area, then X has the purpose there exist Y, Z such that Y is an instance of putting, X plays role in event destination for Y, Z plays role in event patient for Y, and Z is an instance of transportation device |
(=>
(and
(instance ?PARK DisabledParking)
(instance ?AGENT Human)
(attribute ?AGENT ?ATTR)
(instance ?ATTR Disability))
(hasPurposeForAgent ?PARK
(exists (?EVENT ?TD)
(and
(instance ?EVENT Putting)
(playsRoleInEvent ?PARK destination ?EVENT)
(playsRoleInEvent ?TD patient ?EVENT)
(instance ?TD TransportationDevice))) ?AGENT)) |
TransportDetail.kif 51-63 |
If X is an instance of disabled parking, Y is an instance of human, Z is an attribute of Y, and Z is an instance of disability, then X has the purpose there exist W, V such that W is an instance of putting, X plays role in event destination for W, V plays role in event patient for W, and V is an instance of transportation device for Y |
(=>
(instance ?TERM TransitTerminal)
(hasPurpose ?TERM
(exists (?T ?D)
(and
(patient ?T ?D)
(instance ?D TransportationDevice)
(or
(instance ?T Arriving)
(instance ?T Leaving))
(eventLocated ?T ?TERM))))) |
Transportation.kif 4186-4196 |
If X is an instance of transit terminal, then X has the purpose there exist Y, Z such that Z is a patient of Y, Z is an instance of transportation device, Y is an instance of arriving or Y is an instance of leaving, and Y is located at X |
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG TransportationEquipmentManufacturing))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?THING ?MEM2 ?EV2)
(and
(instance ?EV Manufacture)
(instance ?THING TransportationDevice)
(patient ?EV ?THING)
(member ?MEM2 ?ORG)
(instance ?EV2 Selling)
(agent ?EV2 ?MEM2)
(patient ?EV2 ?THING)))))) |
naics.kif 5683-5699 |
If X is an instance of organization and transportation equipment manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of transportation device (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U |
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG MotorVehicleAndPartsDealers))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?THING)
(and
(instance ?EV Selling)
(or
(instance ?THING TransportationDevice)
(exists (?DEV)
(and
(part ?THING ?DEV)
(instance ?DEV TransportationDevice)))
(patient ?EV ?THING))))))) |
naics.kif 7023-7040 |
If X is an instance of organization and motor vehicle and parts dealers is an attribute of X, then there exist Y, Z such that Z is a member of X, Y is an agent of Z, there exists W such that Y is an instance of selling, W is an instance of transportation device or there exists V such that W is a part of V, and V is an instance of transportation device or W is a patient of Y |
