(=>
(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 |
(=>
(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 16707-16712 |
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 16980-16986 |
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
(exists (?D ?V)
(and
(instance ?D Driving)
(agent ?D ?A)
(patient ?D ?V)
(instance ?V RoadVehicle))) Permission)) |
Mid-level-ontology.kif 18426-18437 |
If X is an instance of drivers license and Y possesses X, then X confers norm 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 for permission |
(=>
(and
(instance ?TRANSPORT TransportViaRoadVehicle)
(conveyance ?TRANSPORT ?VEHICLE))
(instance ?VEHICLE RoadVehicle)) |
Mid-level-ontology.kif 25903-25907 |
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 |
(=>
(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 4030-4041 |
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 4103-4117 |
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 4119-4133 |
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 4135-4149 |
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 |
