(=>
(instance ?E Elevator)
(hasPurpose ?E
(exists (?T ?L1 ?L2 ?B)
(and
(instance ?T Transportation)
(origin ?T ?L1)
(instance ?L1 BuildingLevel)
(destination ?T ?L2)
(instance ?L2 BuildingLevel)
(not
(equal ?L1 ?L2))
(part ?L1 ?B)
(part ?L2 ?B)
(instance ?B Building))))) |
Mid-level-ontology.kif 15427-15440 |
|
(=>
(instance ?F CargoShip)
(exists (?T ?OBJ)
(and
(instance ?T Transportation)
(instance ?OBJ Object)
(hasPurpose ?F
(and
(agent ?T ?F)
(patient ?T ?OBJ)))))) |
Mid-level-ontology.kif 30068-30077 |
|
(=>
(instance ?FP FuelPump)
(hasPurpose ?FP
(exists (?F ?T)
(and
(instance ?T Transportation)
(instance ?F Fuel)
(patient ?T ?F)
(instrument ?F ?FP))))) |
Cars.kif 1041-1049 |
|
(=>
(instance ?S Submarine)
(hasPurpose ?S
(exists (?T ?U)
(and
(instance ?T Transportation)
(instance ?U UnderwaterRegion)
(located ?T ?U)
(instrument ?T ?S))))) |
Mid-level-ontology.kif 17663-17671 |
|
(=>
(instance ?SKI Skiing)
(exists (?SKIS ?PROC)
(and
(instance ?PROC Transportation)
(subProcess ?PROC ?SKI)
(instrument ?PROC ?SKIS)
(instance ?SKIS SnowSki)))) |
Sports.kif 1066-1073 |
|
(=>
(instance ?SKI SnowSki)
(hasPurpose ?SKI
(exists (?GLIDE ?SNOW ?ICE)
(and
(instance ?SNOW Snowing)
(result ?SNOW ?ICE)
(instance ?GLIDE Transportation)
(instrument ?GLIDE ?SKI)
(eventLocated ?GLIDE ?ICE))))) |
Sports.kif 1049-1058 |
|
(=>
(instance ?SKI WaterSki)
(hasPurpose ?SKI
(exists (?GLIDE ?WATER)
(and
(instance ?WATER WaterArea)
(instance ?GLIDE Transportation)
(instrument ?GLIDE ?SKI)
(eventLocated ?GLIDE ?WATER))))) |
Sports.kif 1230-1238 |
|
(=>
(instance ?SVC AirportShuttleService)
(exists (?AIRPORT ?TRANSPORT)
(and
(instance ?AIRPORT Airport)
(subProcess ?TRANSPORT ?SVC)
(instance ?TRANSPORT Transportation)
(or
(destination ?TRANSPORT ?AIRPORT)
(origin ?TRANSPORT ?AIRPORT))))) |
Hotel.kif 2071-2080 |
|
(=>
(instance ?SVC ShuttleService)
(exists (?LIST ?VEHICLE ?AGENT)
(and
(agent ?SVC ?AGENT)
(possesses ?AGENT ?VEHICLE)
(instance ?VEHICLE Automobile)
(instance ?LIST List)
(forall (?X)
(=>
(inList ?X ?LIST)
(and
(instance ?X PostalPlace)
(exists (?TRANSPORT)
(and
(instance ?TRANSPORT Transportation)
(agent ?TRANSPORT ?AGENT)
(instrument ?TRANSPORT ?VEHICLE)
(destination ?TRANSPORT ?X))))))))) |
Hotel.kif 2035-2053 |
|
(=>
(instance ?SVC TransportationService)
(exists (?VEHICLE ?AGENT ?TRANS ?CUST)
(and
(agent ?SVC ?AGENT)
(possesses ?AGENT ?VEHICLE)
(customer ?CUST ?AGENT)
(instance ?VEHICLE Vehicle)
(instance ?TRANS Transportation)
(agent ?TRANS ?AGENT)
(patient ?TRANS ?CUST)
(instrument ?TRANS ?VEHICLE)
(subProcess ?TRANS ?SVC)))) |
Transportation.kif 3340-3352 |
|
(=>
(instance ?T MilitaryFoodTruck)
(capability
(KappaFn ?P
(and
(instance ?P Transportation)
(instance ?F
(FoodForFn Animal))
(patient ?P ?F))) instrument ?T)) |
Military.kif 210-218 |
|
(=>
(instance ?T TankCar)
(exists (?TRANS)
(capability
(KappaFn ?TRANS
(exists (?L ?T)
(and
(instance ?L Liquid)
(instance ?TRANS Transportation)
(patient ?TRANS ?L)))) instrument ?T))) |
Transportation.kif 2236-2246 |
|
(=>
(instance ?WAY AirTransitway)
(hasPurpose ?WAY
(exists (?TRANSPORT)
(and
(instance ?TRANSPORT Transportation)
(path ?TRANSPORT ?WAY)
(partlyLocated ?WAY EarthsAtmosphere))))) |
Transportation.kif 1250-1257 |
|
(=>
(instance ?X LandVehicle)
(hasPurpose ?X
(exists (?EV ?SURF)
(and
(surface ?SURF GeographicArea)
(instance ?EV Transportation)
(holdsDuring
(WhenFn ?EV)
(meetsSpatially ?X ?SURF)))))) |
Mid-level-ontology.kif 3472-3481 |
|
(=>
(instance ?X RailVehicle)
(hasPurpose ?X
(exists (?EV ?RAIL)
(and
(instance ?RAIL Railway)
(instance ?EV Transportation)
(holdsDuring
(WhenFn ?EV)
(meetsSpatially ?X ?RAIL)))))) |
Transportation.kif 2036-2045 |
|
(=>
(instance ?X Road)
(hasPurpose ?X
(exists (?EV ?VEH)
(and
(instance ?EV Transportation)
(eventLocated ?EV ?X)
(instance ?VEH LandVehicle)
(instrument ?EV ?VEH))))) |
Mid-level-ontology.kif 22222-22230 |
|
(=>
(instance ?X SubwaySystem)
(hasPurpose ?X
(exists (?EV ?P)
(and
(instance ?EV Transportation)
(instance ?P Human)
(patient ?EV ?P)
(eventLocated ?EV ?X))))) |
Transportation.kif 335-343 |
|
(=>
(instance ?X WaterSkiing)
(exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)
(and
(instance ?BOAT WaterVehicle)
(instance ?WATER WaterArea)
(instance ?SKI WaterSki)
(eventLocated ?X ?WATER)
(instance ?HUMAN Human)
(located ?HUMAN ?SKI)
(connects ?LINE ?HUMAN ?BOAT)
(instance ?TRANS Transportation)
(instrument ?TRANS ?BOAT)
(instance ?MOTION Motion)
(agent ?MOTION ?HUMAN)
(instrument ?MOTION ?SKI)
(causes ?TRANS ?MOTION)
(subProcess ?MOTION ?X)))) |
Sports.kif 1246-1263 |
- If a process is an instance of water skiing,
- then there exist an agent, an object,, , another object,, , a third object,, , a fourth object,, , another process and a third process such that the other object is an instance of water vehicle and the fourth object is an instance of water area and the object is an instance of water ski and the process is located at the fourth object and the agent is an instance of human and the agent is located at the object and the third object connects the agent and the other object and the other process is an instance of transportation and the other object is an instrument for the other process and the third process is an instance of motion and the agent is an agent of the third process and the object is an instrument for the third process and the other process causes the third process and the third process is a subprocess of the process
|
(=>
(instance ?X WaterVehicle)
(hasPurpose ?X
(exists (?EV ?SURF)
(and
(instance ?SURF Water)
(instance ?EV Transportation)
(holdsDuring
(WhenFn ?EV)
(meetsSpatially ?X ?SURF)))))) |
Mid-level-ontology.kif 3487-3496 |
|
(=>
(instance ?X Wheelchair)
(hasPurpose ?X
(exists (?TRANSPORT ?HUMAN)
(and
(instance ?HUMAN Human)
(not
(capability Walking agent ?HUMAN))
(instance ?TRANSPORT Transportation)
(agent ?TRANSPORT ?HUMAN)
(instrument ?TRANSPORT ?X))))) |
Mid-level-ontology.kif 26138-26147 |
|
(=>
(maximumPayloadCapacity ?V
(MeasureFn ?LOAD ?UNITLOAD))
(not
(exists (?TP ?O ?WO ?WOU)
(and
(instance ?TP Transportation)
(instrument ?TP ?V)
(patient ?TP ?O)
(weight ?O
(MeasureFn ?WO ?WOU))
(equal ?WOU ?UNITLOAD)
(greaterThan ?WO ?LOAD))))) |
MilitaryDevices.kif 92-104 |
|
(=>
(maximumPayloadHeightWidth ?V
(MeasureFn ?HEIGHT ?UNITHEIGHT)
(MeasureFn ?WIDTH ?UNITWIDTH))
(not
(exists (?TP ?O ?WO ?WOU ?HO ?HOU)
(and
(instance ?TP Transportation)
(instrument ?TP ?V)
(patient ?TP ?O)
(width ?O
(MeasureFn ?WO ?WOU))
(height ?O
(MeasureFn ?HO ?HOU))
(equal ?WOU ?UNITWIDTH)
(equal ?HOU ?UNITHEIGHT)
(greaterThan ?WO ?WIDTH)
(greaterThan ?HO ?HEIGHT))))) |
MilitaryDevices.kif 121-138 |
- If a vehicle is maximum payload height width a real number an unit of measure(s) for another real number another unit of measure(s),
- then there don't exist a process, a self connected object,, , a third real number,, , the third real numberU,, , a fourth real number and the fourth real numberU such that the process is an instance of transportation and the vehicle is an instrument for the process and the self connected object is a patient of the process and the width of the self connected object is the third real number the third real numberU(s) and the height of the self connected object is the fourth real number the fourth real numberU(s) and the third real numberU is equal to the other unit of measure and the fourth real numberU is equal to the unit of measure and the third real number is greater than the other real number and the fourth real number is greater than the real number
|
(=>
(passenger ?PROC ?PASS)
(instance ?PROC Transportation)) |
Mid-level-ontology.kif 30768-30770 |
|