Transportation(transporter)

-------------------------


(=>
    (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
(=>
    (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
(=>
    (passenger ?PROC ?PASS)
    (instance ?PROC Transportation))		 Mid-level-ontology.kif 30768-30770


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners