(=>
(instance ?W Windshield)
(exists (?A)
(and
(instance ?A RoadVehicle)
(part ?W
(FrontFn ?A))))) |
Mid-level-ontology.kif 3918-3923 |
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 16730-16735 |
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 17003-17009 |
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 18449-18460 |
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 25921-25925 |
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 4531-4541 |
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 4015-4026 |
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 4088-4102 |
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 4104-4118 |
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 4120-4134 |
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 |
