(=>
(instance ?W Windshield)
(exists (?A)
(and
(instance ?A RoadVehicle)
(part ?W
(FrontFn ?A))))) |
Mid-level-ontology.kif 4085-4090 |
If X is an instance of windshield, then there exists Y such that Y is an instance of road vehicle and X is a part of the front of Y |
(=>
(instance ?W RearWindow)
(exists (?A)
(and
(instance ?A RoadVehicle)
(part ?W
(BackFn ?A))))) |
Mid-level-ontology.kif 16780-16785 |
If X is an instance of rear window, then there exists Y such that Y is an instance of road vehicle and X is a part of the back of Y |
(=>
(instance ?GARAGE Garage)
(hasPurpose ?GARAGE
(exists (?AUTO)
(and
(instance ?AUTO RoadVehicle)
(contains ?GARAGE ?AUTO))))) |
Mid-level-ontology.kif 17077-17083 |
If X is an instance of garage, then X has the purpose there exists Y such that Y is an instance of road vehicle and X contains Y |
(=>
(and
(instance ?L DriversLicense)
(possesses ?A ?L))
(confersNorm ?L Permission
(exists (?D ?V)
(and
(instance ?D Driving)
(agent ?D ?A)
(patient ?D ?V)
(instance ?V RoadVehicle))))) |
Mid-level-ontology.kif 18500-18511 |
If X is an instance of drivers license and Y possesses X, then X confers norm permission for there exist Z, W such that Z is an instance of driving, Y is an agent of Z, W is a patient of Z, and W is an instance of road vehicle |
(=>
(and
(instance ?TRANSPORT TransportViaRoadVehicle)
(conveyance ?TRANSPORT ?VEHICLE))
(instance ?VEHICLE RoadVehicle)) |
Mid-level-ontology.kif 25861-25865 |
If X is an instance of transport via a road vehicle and Y is a conveyance during X, then Y is an instance of road vehicle |
(=>
(instance ?TC TireChain)
(hasPurpose ?TC
(exists (?V ?W ?F)
(and
(instance ?V RoadVehicle)
(instance ?W Wheel)
(part ?W ?V)
(instance ?F Friction)
(covers ?TC ?W)
(instrument ?F ?TC))))) |
Cars.kif 4345-4355 |
If X is an instance of snow chain, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of road vehicle (3) Z is an instance of wheel (4) Z is a part of Y (5) W is an instance of friction (6) X covers Z (7) X is an instrument for W |
(=>
(and
(instance ?S UniModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 RoadVehicle)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(instance ?V2 RoadVehicle)) |
Transportation.kif 4054-4065 |
If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of road vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of road vehicle |
(=>
(and
(instance ?S MultiModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 RailVehicle)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(or
(instance ?V2 RoadVehicle)
(instance ?V2 WaterVehicle)
(instance ?V2 Aircraft))) |
Transportation.kif 4127-4141 |
If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of rail vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of road vehicle (2) U is an instance of water vehicle (3) U is an instance of aircraft |
(=>
(and
(instance ?S MultiModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 WaterVehicle)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(or
(instance ?V2 RailVehicle)
(instance ?V2 RoadVehicle)
(instance ?V2 Aircraft))) |
Transportation.kif 4143-4157 |
If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of water vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of road vehicle (3) U is an instance of aircraft |
(=>
(and
(instance ?S MultiModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 Aircraft)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(or
(instance ?V2 RailVehicle)
(instance ?V2 WaterVehicle)
(instance ?V2 RoadVehicle))) |
Transportation.kif 4159-4173 |
If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of aircraft (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of water vehicle (3) U is an instance of road vehicle |
