TransportationDevice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TransportationDevice

TransportationDevice(transportation device)

Alpine_lift, B-52, Carling_float, Conestoga, Conestoga_wagon, Graf_Zeppelin, Mackinaw_boat, Mayflower, PT_boat, Salyut, Sharpie, Skylab, Sno-cat, T-bar, T-bar_lift, USS_Cole, abandoned_ship, aerial, aerial_tramway, aerially, aeromechanic, aeronautic, aeronautical, air_transportation_system, amphibian, amphibious_vehicle, angledozer, applecart, aquaplane, aqueduct, argosy, ark, autogiro, autogyro, automotive, auxiliary_research_submarine, bandwagon, barouche, barrow, bathyscape, bathyscaph, bathyscaphe, bathysphere, battle_cruiser, battleship, battlewagon, berlin, big_dipper, birch_bark, birchbark...

appearance as argument number 1

(documentation TransportationDevice EnglishLanguage "A TransportationDevice is a Device which serves as the instrument in a Transportation Process which carries the patient of the Process from one point to another.")	Merge.kif 16164-16166
(subclass TransportationDevice Device)	Merge.kif 16163-16163	Transportation device is a subclass of device

appearance as argument number 2

(disjoint Furniture TransportationDevice)	Mid-level-ontology.kif 4155-4155	Furniture is disjoint from transportation device
(relatedInternalConcept Transportation TransportationDevice)	Merge.kif 11767-11767	Transportation is internally related to transportation device
(subclass Elevator TransportationDevice)	Mid-level-ontology.kif 16873-16873	Elevator is a subclass of transportation device
(subclass MilitaryPlatform TransportationDevice)	Military.kif 128-128	Military platform is a subclass of transportation device
(subclass Oar TransportationDevice)	Mid-level-ontology.kif 16912-16912	Oar is a subclass of transportation device
(subclass Pump TransportationDevice)	Mid-level-ontology.kif 16899-16899	Pump is a subclass of transportation device
(subclass SnowSki TransportationDevice)	Sports.kif 1049-1049	Ski is a subclass of transportation device
(subclass Vehicle TransportationDevice)	Merge.kif 16172-16172	Vehicle is a subclass of transportation device
(subclass WaterSki TransportationDevice)	Sports.kif 1239-1239	Water ski is a subclass of transportation device
(subclass Wheelchair TransportationDevice)	Mid-level-ontology.kif 28555-28555	Wheelchair is a subclass of transportation device
(subclass WindSurfingBoard TransportationDevice)	Sports.kif 1293-1293	Wind surfing board is a subclass of transportation device
(termFormat EnglishLanguage TransportationDevice "transportation device")	english_format.kif 1327-1327	Wind surfing board is a subclass of transportation device

appearance as argument number 3

(domain cargoType 1 TransportationDevice)	Transportation.kif 1036-1036	The number 1 argument of cargo type is an instance of transportation device
(domain conveyance 2 TransportationDevice)	Mid-level-ontology.kif 25677-25677	The number 2 argument of conveyance is an instance of transportation device
(domain passengerCapacityMaxNumber 1 TransportationDevice)	Transportation.kif 4447-4447	The number 1 argument of passenger capacity max number is an instance of transportation device
(domainSubclass TransportationFn 1 TransportationDevice)	Transportation.kif 1711-1711	The number 1 argument of transportation is a subclass of transportation device

antecedent

(=> (and (instance ?TRANSPORT Transportation) (subProcess ?TRANSPORT ?DRIVE) (instance ?DRIVE Driving) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE TransportationDevice)) (patient ?DRIVE ?VEHICLE))	Mid-level-ontology.kif 25699-25706	If a process is an instance of transportation and the process is a subprocess of another process and the other process is an instance of driving and an object is an instrument for the process and the object is an instance of transportation device, then the object is a patient of the other process
(=> (and (instance ?VEHICLE TransportationDevice) (instance ?TRIP (TripFn ?VEHICLE))) (instrument ?TRIP ?VEHICLE))	Transportation.kif 1736-1740	If a vehicle is an instance of transportation device and a process is an instance of the trip of the vehicle, then the vehicle is an instrument for the process
(=> (and (subclass ?TYPE TransportationDevice) (subclass (TransportationFn ?TYPE) Transportation) (instance ?TRIP (TransportationFn ?TYPE))) (exists (?VEHICLE) (and (instance ?VEHICLE ?TYPE) (instrument ?TRIP ?VEHICLE))))	Transportation.kif 1717-1725	If a kind of transportation device is a subclass of transportation device and the transportation of a kind of transportation device is a subclass of transportation and a process is an instance of the transportation of the kind of transportation device, then there exists an object such that the object is an instance of the kind of transportation device and the object is an instrument for the process
(=> (and (trafficableForTrafficType ?PLACE ?TYPE) (subclass ?TYPE TransportationDevice) (instance ?MOVER ?TYPE)) (capableAtLocation Transportation instrument ?MOVER ?PLACE))	Transportation.kif 3191-3196	If a kind of self connected object is a trafficable for traffic type of a region and a kind of self connected object is a subclass of transportation device and an object is an instance of the kind of self connected object, then transportation capable at location instrument for the object with the region
(=> (instance ?DEVICE TransportationDevice) (capability Transportation instrument ?DEVICE))	Merge.kif 16168-16170	If an object is an instance of transportation device, then the object is capable of doing transportation as a instrument

consequent

(=> (and (instance ?ORG Organization) (attribute ?ORG MotorVehicleAndPartsDealers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (or (instance ?THING TransportationDevice) (exists (?DEV) (and (part ?THING ?DEV) (instance ?DEV TransportationDevice))) (patient ?EV ?THING)))))))	naics.kif 7023-7040	If a collection is an instance of organization and motor vehicle and parts dealers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of transportation device or there exists another object such that the object is a part of the other object and the other object is an instance of transportation device or the object is a patient of the agent
(=> (and (instance ?ORG Organization) (attribute ?ORG TransportationEquipmentManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING TransportationDevice) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 5683-5699	If a collection is an instance of organization and transportation equipment manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of transportation device and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))) ?AGENT))	TransportDetail.kif 51-63	If a physical is an instance of disabled parking and an agent is an instance of human and an attribute is an attribute of the agent and the attribute is an instance of disability, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical plays role in event destination for the entity and the other entity plays role in event patient for the entity and the other entity is an instance of transportation device for the agent
(=> (instance ?PARK ParkingRegion) (hasPurpose ?PARK (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)))))	TransportDetail.kif 36-44	If a physical is an instance of parking area, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical plays role in event destination for the entity and the other entity plays role in event patient for the entity and the other entity is an instance of transportation device
(=> (instance ?TERM TransitTerminal) (hasPurpose ?TERM (exists (?T ?D) (and (patient ?T ?D) (instance ?D TransportationDevice) (or (instance ?T Arriving) (instance ?T Leaving)) (eventLocated ?T ?TERM)))))	Transportation.kif 3717-3727	If a physical is an instance of transit terminal, then the physical has the purpose there exist an entity and another entity such that the other entity is a patient of the entity and the other entity is an instance of transportation device and the entity is an instance of arriving or the entity is an instance of leaving and the entity is located at the physical
(=> (instance ?TRANS Transportation) (exists (?DEVICE) (and (instance ?DEVICE TransportationDevice) (instrument ?TRANS ?DEVICE))))	Merge.kif 11772-11777	If a process is an instance of transportation, then there exists an object such that the object is an instance of transportation device and the object is an instrument for the process
(=> (instance ?X CarBombing) (exists (?BOMB ?CAR) (and (instance ?BOMB Bomb) (instance ?CAR TransportationDevice) (instrument ?X ?CAR) (instrument ?X ?BOMB) (connected ?CAR ?BOMB))))	Mid-level-ontology.kif 23983-23991	If a process is an instance of car bombing, then there exist an object and another object such that the object is an instance of bomb and the other object is an instance of transportation device and the other object is an instrument for the process and the object is an instrument for the process and the other object is connected to the object
(=> (instance ?X Hijacking) (exists (?V ?A) (and (agent ?X ?A) (instance ?V TransportationDevice) (holdsDuring (ImmediatePastFn (WhenFn ?X)) (not (possesses ?A ?V))) (holdsDuring (WhenFn ?X) (possesses ?A ?V)))))	Mid-level-ontology.kif 24049-24062	If a process is an instance of hijacking, then there exist an entity and an agent such that the agent is an agent of the process and the entity is an instance of transportation device and the agent doesn't possess the entity holds during immediately before the time of existence of the process and the agent possesses the entity holds during the time of existence of the process
(=> (instance ?X VehicleAttack) (exists (?V) (and (instance ?V TransportationDevice) (instrument ?X ?V))))	Mid-level-ontology.kif 24285-24290	If a process is an instance of vehicle attack, then there exists an object such that the object is an instance of transportation device and the object is an instrument for the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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