TreeView Knowledge Base Browser - Driving

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Driving

Driving

appearance as argument number 1

(documentation Driving ChineseLanguage "这是控制一辆 Vehicle 的方向和/或速度的过程，这包括航船、驾驶汽车或货车，和操作火车等等。")	chinese_format.kif 3068-3069
(documentation Driving EnglishLanguage "Controlling the direction and/or speed of a Vehicle. This includes navigating a ship, driving a car or truck, operating a train, etc.")	Merge.kif 11661-11663
(documentation Driving JapaneseLanguage "Vehicle の方向や速度の制御。これには、船の航行、車やトラックの運転、列車の運行などが含まれる。")	japanese_format.kif 1836-1837
(externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ JapaneseDrivingSchool.jpg")	pictureList.kif 5968-5968
(externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Mercedes_AMG_CLS_55_-_Demonstration_of_drifting_1b.jpg")	pictureList.kif 6402-6402
(subclass Driving Guiding)	Merge.kif 11658-11658	子類 Driving and Guiding
(subclass Driving Transportation)	Merge.kif 11659-11659	子類 Driving and Transportation

appearance as argument number 2

(subclass FlyingAircraft Driving)	Mid-level-ontology.kif 17824-17824	子類 FlyingAircraft and Driving
(termFormat ChineseLanguage Driving "驾驶")	chinese_format.kif 1131-1131
(termFormat EnglishLanguage Driving "driving")	english_format.kif 1479-1479
(termFormat FrenchLanguage Driving "conduire")	french_format.kif 809-809
(termFormat JapaneseLanguage Driving "運転")	japanese_format.kif 2493-2493
(termFormat PortugueseLanguage Driving "Dirigir")	portuguese_format.kif 761-761
(termFormat ro Driving "conducere")	relations-ro.kif 830-830

antecedent

(=> (and (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (exists (?TRANSPORT) (and (instance ?TRANSPORT TransportViaRoadVehicle) (subProcess ?TRANSPORT ?DRIVE))))	Mid-level-ontology.kif 23617-23625	例 Process and Driving 患者 Process and Entity 例 Entity and 公路車輛 Process 例 Process and 通過公路車輛運輸子過程 Process and Process
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (agent ?DRIVING ?DRIVER)) (transported ?TRANSPORT ?DRIVER))	Mid-level-ontology.kif 23627-23633	例 Process and Driving 子過程 Transportation and Process 例 Transportation and Transportation agent Process and AutonomousAgent 運送的 Transportation and AutonomousAgent
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (destination ?DRIVING ?DEST)) (destination ?TRANSPORT ?DEST))	Mid-level-ontology.kif 23635-23641	例 Process and Driving 子過程 Process and Process 例 Process and Transportation 目的地 Process and Entity 目的地 Process and Entity
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE))	Mid-level-ontology.kif 23643-23650	例 Process and Driving 子過程 Transportation and Process 例 Transportation and Transportation 例 TransportationDevice and 車輛患者 Process and TransportationDevice 輸送 Transportation and TransportationDevice
(=> (and (instance ?TRANSPORT Transportation) (subProcess ?TRANSPORT ?DRIVE) (instance ?DRIVE Driving) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE TransportationDevice)) (patient ?DRIVE ?VEHICLE))	Mid-level-ontology.kif 23608-23615	例 Process and Transportation 子過程 Process and Process 例 Process and Driving 儀器 Process and Object 例 Object and TransportationDevice 患者 Process and Object
(=> (and (possesses ?BUS ?PARK) (instance ?BUS CommercialAgent) (instance ?PARK ParkingLot) (instance ?BLDG Building) (located ?BUS ?BLDG) (customer ?BUS ?CUST) (holdsDuring ?T (located ?CUST ?BLDG)) (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (agent ?DRIVE ?CUST) (destination ?DRIVE ?BLDG)) (holdsDuring ?T (confersRight (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))	TransportDetail.kif 106-125	擁有 CognitiveAgent and Object 例 CognitiveAgent and 商業代理人例 Object and 停車場例 Object and Building 位於 CognitiveAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 持有期間 TimePosition and 位於 AutonomousAgent and Object 例 Process and Driving 患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Object 持有期間 TimePosition and 賦予權利例 entity and Keeping 目的地 entity and Object 患者 entity and Entity, CognitiveAgent and AutonomousAgent
(=> (instance ?DRIVE Driving) (exists (?VEHICLE) (and (instance ?VEHICLE Vehicle) (patient ?DRIVE ?VEHICLE))))	Merge.kif 11665-11670	例 Process and Driving Entity 例 Entity and 車輛患者 Process and Entity

consequent

(=> (and (instance ?C Convoy) (member ?VEH ?C)) (exists (?DRIVE) (and (instance ?DRIVE Driving) (overlapsTemporally (WhenFn ?DRIVE) (WhenFn ?C)) (patient ?DRIVE ?VEH))))	Mid-level-ontology.kif 22400-22408	例 Collection and 護航會員 Physical and Collection Process 例 Process and Driving 暫時重疊何時 Process and 何時 Collection 患者 Process and Physical
(=> (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 16909-16920	例 Object and 駕照擁有 AutonomousAgent and Object Object confers 規範 entity entity 例 entity and Driving agent entity and AutonomousAgent 患者 entity and entity 例 entity and 公路車輛對於允許
(=> (attribute ?H Valet) (occupation ?H (OccupationFn Driving)))	TransportDetail.kif 132-134	attribute Human and Valet Driving 的 occupation 是 Human 的 occupation
(=> (instance ?C VehicleController) (hasPurpose ?C (exists (?D) (and (instance ?D Driving) (instrument ?D ?C)))))	Mid-level-ontology.kif 3389-3395	例 Physical and 車輛控制器有目的 Physical and entity 例 entity and Driving 儀器 entity and Physical
(=> (instance ?H Hijacking) (exists (?D) (and (subProcess ?D ?H) (instance ?D Driving))))	Mid-level-ontology.kif 21949-21954	例 Process and 劫持 Process 子過程 Process and Process 例 Process and Driving
(=> (instance ?MG MotorcycleGlove) (hasPurpose ?MG (exists (?M ?D ?T) (and (instance ?T Driving) (agent ?T ?D) (instrument ?T ?M) (instance ?M Motorcycle) (holdsDuring (WhenFn ?T) (wears ?D ?MG))))))	Cars.kif 4734-4744	例 Physical and MotorcycleGlove 有目的 Physical and entity entity and entity 例 entity and Driving agent entity and entity 儀器 entity and entity 例 entity and 摩托車持有期間何時 entity and 穿 entity and Physical
(=> (instance ?MH MotorcycleHelmet) (hasPurpose ?MH (exists (?P ?D ?M) (and (instance ?D Driving) (agent ?D ?P) (instance ?M Motorcycle) (patient ?D ?M) (instance ?P Human) (holdsDuring (WhenFn ?D) (wears ?P ?MH))))))	Cars.kif 4354-4365	例 Physical and MotorcycleHelmet 有目的 Physical and entity entity and entity 例 entity and Driving agent entity and entity 例 entity and 摩托車患者 entity and entity 例 entity and Human 持有期間何時 entity and 穿 entity and Physical
(=> (instance ?TRANSPORT TransportViaRoadVehicle) (exists (?DRIVING) (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING))))	Mid-level-ontology.kif 23601-23606	例 Process and 通過公路車輛運輸 Process 例 Process and Driving 子過程 Process and Process

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