Driving - Sigma Knowledge base Browser

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 11720-11722
(documentation Driving JapaneseLanguage "Vehicle の方向や速度の制御。これには、船の航行、車やトラックの運転、列車の運行などが含まれる。")	japanese_format.kif 1836-1837
(externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ JapaneseDrivingSchool.jpg")	pictureList.kif 5967-5967
(externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Mercedes_AMG_CLS_55_-_Demonstration_of_drifting_1b.jpg")	pictureList.kif 6401-6401
(subclass Driving Guiding)	Merge.kif 11717-11717	子類 Driving and Guiding
(subclass Driving Transportation)	Merge.kif 11718-11718	子類 Driving and Transportation

appearance as argument number 2

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

antecedent

(=> (and (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (exists (?TRANSPORT) (and (instance ?TRANSPORT TransportViaRoadVehicle) (subProcess ?TRANSPORT ?DRIVE))))	Mid-level-ontology.kif 25214-25222	例 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 25224-25230	例 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 25232-25238	例 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 25240-25247	例 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 25205-25212	例 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 11724-11729	例 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 23997-24005	例 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 18279-18290	例 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 3865-3871	例 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 23546-23551	例 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 4810-4820	例 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 4430-4441	例 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 25198-25203	例 Process and 通過公路車輛運輸 Process 例 Process and Driving 子過程 Process and 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