TreeView Knowledge Base Browser - TransportationDevice

appearance as argument number 1

(documentation TransportationDevice ChineseLanguage "TransportationDevice 是在 Transportation Process 中用作 instrument 的一个 Device，通过这个 Process，它把 patient 从一处运载到另一处。")	chinese_format.kif 3622-3624
(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 15966-15968
(subclass TransportationDevice Device)	Merge.kif 15965-15965	TransportationDevice ist eine teilkategorie von Device

appearance as argument number 2

(disjoint Furniture TransportationDevice)	Mid-level-ontology.kif 3712-3712	Furniture ist dijunkt von TransportationDevice %n{nicht}
(relatedInternalConcept Transportation TransportationDevice)	Merge.kif 11595-11595	Transportation ist innerlich verwandt mit TransportationDevice %n{nicht}
(subclass Elevator TransportationDevice)	Mid-level-ontology.kif 15422-15422	Elevator ist eine teilkategorie von TransportationDevice
(subclass MilitaryPlatform TransportationDevice)	Military.kif 128-128	MilitaryPlatform ist eine teilkategorie von TransportationDevice
(subclass Oar TransportationDevice)	Mid-level-ontology.kif 15461-15461	Oar ist eine teilkategorie von TransportationDevice
(subclass Pump TransportationDevice)	Mid-level-ontology.kif 15448-15448	Pump ist eine teilkategorie von TransportationDevice
(subclass SnowSki TransportationDevice)	Sports.kif 1035-1035	SnowSki ist eine teilkategorie von TransportationDevice
(subclass Vehicle TransportationDevice)	Merge.kif 15974-15974	Vehicle ist eine teilkategorie von TransportationDevice
(subclass WaterSki TransportationDevice)	Sports.kif 1225-1225	WaterSki ist eine teilkategorie von TransportationDevice
(subclass Wheelchair TransportationDevice)	Mid-level-ontology.kif 26124-26124	Wheelchair ist eine teilkategorie von TransportationDevice
(subclass WindSurfingBoard TransportationDevice)	Sports.kif 1279-1279	WindSurfingBoard ist eine teilkategorie von TransportationDevice
(termFormat ChineseLanguage TransportationDevice "运输设备")	chinese_format.kif 1058-1058
(termFormat EnglishLanguage TransportationDevice "transportation device")	english_format.kif 1327-1327
(termFormat FrenchLanguage TransportationDevice "v�hicule de transport")	french_format.kif 736-736
(termFormat Hindi TransportationDevice "parivahana saadhana")	terms-hindi.txt 267-267
(termFormat ItalianLanguage TransportationDevice "MezzoDiTrasporto")	terms-it.txt 270-270
(termFormat JapaneseLanguage TransportationDevice "輸送機")	japanese_format.kif 2420-2420
(termFormat PortugueseLanguage TransportationDevice "Veiculo de Transporte")	portuguese_format.kif 688-688
(termFormat cz TransportationDevice "transportation device")	terms-cz.txt 306-306
(termFormat ro TransportationDevice "mijloc de transport")	relations-ro.kif 757-757
(termFormat tg TransportationDevice "paraan ng paglilipat")	terms-tg.txt 271-271

appearance as argument number 3

(domain cargoType 1 TransportationDevice)	Transportation.kif 1036-1036	Die Zahl 1 Argument von cargoType ist ein fall von TransportationDevice %n{nicht}
(domain conveyance 2 TransportationDevice)	Mid-level-ontology.kif 23534-23534	Die Zahl 2 Argument von conveyance ist ein fall von TransportationDevice %n{nicht}
(domain passengerCapacityMaxNumber 1 TransportationDevice)	Transportation.kif 3257-3257	Die Zahl 1 Argument von passengerCapacityMaxNumber ist ein fall von TransportationDevice %n{nicht}
(domainSubclass TransportationFn 1 TransportationDevice)	Transportation.kif 1566-1566	Die Zahl 1 Argument von TransportationFn ist eine teilkategorie von TransportationDevice %n{nicht}

antecedent

(=> (and (instance ?TRANSPORT Transportation) (subProcess ?TRANSPORT ?DRIVE) (instance ?DRIVE Driving) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE TransportationDevice)) (patient ?DRIVE ?VEHICLE))	Mid-level-ontology.kif 23556-23563	Wenn Process ist ein fall von Transportation %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Driving %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von TransportationDevice %n{nicht}, dann Object ist ein patient von ** Process %n{nicht}
(=> (and (instance ?VEHICLE TransportationDevice) (instance ?TRIP (TripFn ?VEHICLE))) (instrument ?TRIP ?VEHICLE))	Transportation.kif 1591-1595	Wenn Vehicle ist ein fall von TransportationDevice %n{nicht} und Process ist ein fall von TripFn Vehicle %n{nicht}, dann Vehicle ist ein instrument fuer ** Process %n{nicht}
(=> (and (subclass ?TYPE TransportationDevice) (subclass (TransportationFn ?TYPE) Transportation) (instance ?TRIP (TransportationFn ?TYPE))) (exists (?VEHICLE) (and (instance ?VEHICLE ?TYPE) (instrument ?TRIP ?VEHICLE))))	Transportation.kif 1572-1580	Wenn TransportationDevice ist eine teilkategorie von TransportationDevice und TransportationFn TransportationDevice ist eine teilkategorie von Transportation und Process ist ein fall von TransportationFn TransportationDevice %n{nicht}, dann es gibt Object um Object ist ein fall von TransportationDevice %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (and (trafficableForTrafficType ?PLACE ?TYPE) (subclass ?TYPE TransportationDevice) (instance ?MOVER ?TYPE)) (capableAtLocation Transportation instrument ?MOVER ?PLACE))	Transportation.kif 2610-2615	Wenn trafficableForTrafficType Region and SelfConnectedObject und SelfConnectedObject ist eine teilkategorie von TransportationDevice und Object ist ein fall von SelfConnectedObject %n{nicht}, dann capableAtLocation Transportation, instrument, Object and Region
(=> (instance ?DEVICE TransportationDevice) (capability Transportation instrument ?DEVICE))	Merge.kif 15970-15972	Wenn Object ist ein fall von TransportationDevice %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Transportation zu tun

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	Wenn Collection ist ein fall von Organization %n{nicht} und MotorVehicleAndPartsDealers ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Object um AutonomousAgent ist ein fall von Selling %n{nicht} und Object ist ein fall von TransportationDevice %n{nicht} oder es gibt Object um Object ist ein teil von Object %n{nicht} und Object ist ein fall von TransportationDevice %n{nicht} oder Object ist ein patient von ** AutonomousAgent %n{nicht}
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und TransportationEquipmentManufacturing ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Entity, Process2, and und AutonomousAgent2 um AutonomousAgent ist ein fall von Manufacture %n{nicht} und Entity ist ein fall von TransportationDevice %n{nicht} und Entity ist ein patient von AutonomousAgent %n{nicht} und Process2 ist ein Mitglied von Collection %n{nicht} und AutonomousAgent2 ist ein fall von Selling %n{nicht} und AutonomousAgent2 ist der agent von Process2 %n{nicht} und Entity ist ein patient von AutonomousAgent2 %n{nicht}
(=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)) ?AGENT))	TransportDetail.kif 49-59	Wenn Physical ist ein fall von DisabledParking %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und Attribute ist ein attribut von AutonomousAgent %n{nicht} und Attribute ist ein fall von Disability %n{nicht}, dann Physical hat Zweck von playsRoleInEvent Physical, bestimmungsort and entity und playsRoleInEvent entity, patient and entity und entity ist ein fall von TransportationDevice %n{nicht} fuer ** AutonomousAgent %n{nicht}
(=> (instance ?PARK ParkingRegion) (hasPurpose ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))))	TransportDetail.kif 36-42	Wenn Physical ist ein fall von ParkingRegion %n{nicht}, dann Physical hat Zweck von playsRoleInEvent Physical, bestimmungsort and entity und playsRoleInEvent entity, patient and entity und entity ist ein fall von TransportationDevice %n{nicht} %n{nicht}
(=> (instance ?TRANS Transportation) (exists (?DEVICE) (and (instance ?DEVICE TransportationDevice) (instrument ?TRANS ?DEVICE))))	Merge.kif 11600-11605	Wenn Process ist ein fall von Transportation %n{nicht}, dann es gibt Object um Object ist ein fall von TransportationDevice %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (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 21839-21847	Wenn Process ist ein fall von CarBombing %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Bomb %n{nicht} und Object ist ein fall von TransportationDevice %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object wird an Object angeschlossen
(=> (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 21904-21917	Wenn Process ist ein fall von Hijacking %n{nicht}, dann es gibt Entity und AutonomousAgent um Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein fall von TransportationDevice %n{nicht} und AutonomousAgent besitzt Entity nicht haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} und AutonomousAgent besitzt Entity %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (instance ?X VehicleAttack) (exists (?V) (and (instance ?V TransportationDevice) (instrument ?X ?V))))	Mid-level-ontology.kif 22140-22145	Wenn Process ist ein fall von VehicleAttack %n{nicht}, dann es gibt Object um Object ist ein fall von TransportationDevice %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}

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

Show without tree

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

KB Term:			Term intersection

English Word: