Vehicle - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Vehicle ChineseLanguage "Vehicle 是 TransportationDevice 子类别，它通过自身从一处移动往别处，同时也把乘客或货物和它一同从一处运载到另外一处，如：汽车、卡车、渡轮和飞机。它和通过移动部件把东西从一处带到另外一处的设备如：导管、自动扶梯或超市用的结账运输带对比，而不需把设备从源处移到目的地。")	chinese_format.kif 3625-3627
(documentation Vehicle EnglishLanguage "Vehicle is the subclass of TransportationDevices that transport passengers or goods from one place to another by moving from one place to the other with them, e.g., cars, trucks, ferries, and airplanes. Contrast with devices such as pipelines, escalators, or supermarket checkout belts, which carry items from one place to another by means of a moving part, without the device removing from the origin to the destination.")	Merge.kif 16102-16109
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG")	pictureList.kif 6956-6956
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg")	pictureList.kif 8213-8213
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG")	pictureList-ImageNet.kif 589-589
(subclass Vehicle TransportationDevice)	Merge.kif 16101-16101	子類車輛 and TransportationDevice

appearance as argument number 2

(subclass AgentPoweredVehicle Vehicle)	Transportation.kif 1951-1951	子類代理動力車輛 and 車輛
(subclass Aircraft Vehicle)	Mid-level-ontology.kif 19375-19375	子類飛機 and 車輛
(subclass ArmoredVehicle Vehicle)	MilitaryDevices.kif 1596-1596	子類裝甲車 and 車輛
(subclass CargoVehicle Vehicle)	Transportation.kif 1900-1900	子類貨車 and 車輛
(subclass DamagedVehicle Vehicle)	Mid-level-ontology.kif 31730-31730	子類 DamagedVehicle and 車輛
(subclass LandVehicle Vehicle)	Mid-level-ontology.kif 3934-3934	子類陸地車輛 and 車輛
(subclass MilitaryVehicle Vehicle)	Military.kif 131-131	子類軍車 and 車輛
(subclass PassengerVehicle Vehicle)	Transportation.kif 1882-1882	子類乘用車 and 車輛
(subclass PoweredVehicle Vehicle)	Transportation.kif 1933-1933	子類動力車輛 and 車輛
(subclass RecreationalVehicle Vehicle)	Mid-level-ontology.kif 27408-27408	子類 RecreationalVehicle and 車輛
(subclass Spacecraft Vehicle)	Mid-level-ontology.kif 19269-19269	子類宇宙飛船 and 車輛
(subclass UnpoweredVehicle Vehicle)	Transportation.kif 1923-1923	子類無動力車輛 and 車輛
(subclass WaterVehicle Vehicle)	Mid-level-ontology.kif 3952-3952	子類水車 and 車輛
(termFormat ChineseLanguage Vehicle "车辆")	domainEnglishFormat.kif 61369-61369	子類水車 and 車輛
(termFormat ChineseTraditionalLanguage Vehicle "車輛")	domainEnglishFormat.kif 61368-61368	子類水車 and 車輛
(termFormat EnglishLanguage Vehicle "vehicle")	domainEnglishFormat.kif 61367-61367	子類水車 and 車輛
(typicalPart Alternator Vehicle)	Cars.kif 1211-1211	Alternator typically 是車輛的 part
(typicalPart Odometer Vehicle)	Cars.kif 2968-2968	Odometer typically 是車輛的 part
(typicalPart Speedometer Vehicle)	Cars.kif 3016-3016	Speedometer typically 是車輛的 part
(typicallyContainsPart Alternator Vehicle)	Cars.kif 1212-1212	車輛 typically 有 part Alternator

appearance as argument number 3

(domain TripFn 1 Vehicle)	Transportation.kif 1712-1712	域旅, 1 and 車輛
(domain maximumPayloadCapacity 1 Vehicle)	MilitaryDevices.kif 81-81	域最大載荷容量, 1 and 車輛
(domain maximumPayloadHeightWidth 1 Vehicle)	MilitaryDevices.kif 109-109	域最大有效負載高度寬度, 1 and 車輛
(domain onboard 2 Vehicle)	Mid-level-ontology.kif 18960-18960	域在船上, 2 and 車輛
(domain topSpeed 1 Vehicle)	Transportation.kif 1850-1850	域 topSpeed, 1 and 車輛

antecedent

(=> (and (instance ?B VehicleBrake) (instance ?V Vehicle) (part ?B ?V)) (hasPurpose ?B (exists (?S) (and (instance ?S (StopFn Motion)) (patient ?S ?V) (instrument ?S ?B)))))	Mid-level-ontology.kif 3885-3895	例 Object and 車輛制動器例 Object and 車輛部分 Object and Object 有目的 Object and entity 例 entity and Motion 的 stop 患者 entity and Object 儀器 entity and Object
(=> (and (instance ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F)))))	Cars.kif 693-707	例 Object and BrakePedal 例 Process and Pushing 例 Object and 車輛目的地 Process and Object Process 是 located 在 Object 部分 Object and Object 有目的 Object and entity entity 例 entity and WearingFrictionSurface 例 entity and 摩擦儀器 entity 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 ?EG EngineGovernor) (instance ?V Vehicle) (connectedEngineeringComponents ?EG ?V) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?T ?M) (and (instance ?T Translocation) (holdsDuring (WhenFn ?T) (and (measure ?V (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S))))))))	Cars.kif 2941-2957	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 車輛連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed SpeedGovernor and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity 例 entity and 易位持有期間何時 entity and 測量 EngineeringComponent and 測量 entity and MilesPerHour 比較多 entity and RealNumber
(=> (and (instance ?O Odometer) (instance ?V Vehicle) (part ?O ?V) (instance ?T Translocation) (instrument ?T ?V) (path ?T ?P) (distanceOnPath (MeasureFn ?D ?U) ?P) (instance ?U LengthMeasure)) (hasPurpose ?O (exists (?M ?L ?DIST ?U) (and (instance ?M Measuring) (instrument ?M ?O) (measurementReading ?O ?DIST) (inList ?D ?L) (holdsDuring (WhenFn (EndFn ?M)) (and (equal ?DIST (MeasureFn (ListSumFn ?L) ?U)) (not (attribute ?O ResetMeasuringDevice))))))))	Cars.kif 2970-2996	例 Object and Odometer 例 Object and 車輛部分 Object and Object 例 Motion and 易位儀器 Motion and Object 路徑 Motion and 公交專用道公交專用道的 distance 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and LengthMeasure 有目的 Object and entity entity, RealNumberIST and UnitOfMeasure 例 entity and Measuring 儀器 entity and Object RealNumberIST 是 Object 的 measurement 讀數在列表中 RealNumber and entity 持有期間何時結束 entity and 等於 RealNumberIST and 測量 ListSumFn entity and UnitOfMeasure attribute Object and ResetMeasuringDevice
(=> (and (instance ?P ParkingBrake) (instance ?V Vehicle) (holdsDuring ?T1 (attribute ?P DeviceOn)) (part ?P ?V)) (hasPurpose ?P (holdsDuring ?T1 (not (exists (?T) (and (instance ?T Translocation) (patient ?T ?V)))))))	Cars.kif 567-580	例 Object and ParkingBrake 例 Object and 車輛持有期間 TimePosition and attribute Object and 設備上部分 Object and Object 有目的 Object and 持有期間 TimePosition and entity 例 entity and 易位患者 entity and Object
(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO)))	Merge.kif 16119-16125	例 Object and 車輛例 Process and 易位儀器 Process and Object 目的地 Process and Entity 持有期間開始何時 Process and 位於 Object and Entity
(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (origin ?MOVE ?FROM)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?FROM)))	Merge.kif 16111-16117	例 Object and 車輛例 Process and 易位儀器 Process and Object 起源 Process and Object 持有期間開始何時 Process and 位於 Object and Object
(=> (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle))	MilitaryDevices.kif 61-66	例 Object and Weapon 部分 Object and Object 例 Object and 車輛例 Object and 軍車
(=> (and (passenger ?PROC ?PASS) (instance ?V Vehicle) (instrument ?PROC ?V)) (not (exists (?G) (and (during (WhenFn ?G) (WhenFn ?PROC)) (instance ?G Guiding) (agent ?G ?PASS) (instrument ?G ?V)))))	Mid-level-ontology.kif 32454-32465	passenger Transfer and AutonomousAgent 例 Object and 車輛儀器 Transfer and Object Process 期間何時 Process and 何時 Transfer 例 Process and Guiding agent Process and AutonomousAgent 儀器 Process and Object

consequent

(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 31732-31736	例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged
(=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle))	Mid-level-ontology.kif 18938-18942	例 Process and 登機患者 Process and Entity 例 Entity and 車輛
(=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle))	Mid-level-ontology.kif 18979-18983	例 Process and deboarding 患者 Process and Entity 例 Entity and 車輛
(=> (and (instance ?C CavalryUnit) (instance ?B Battle) (agent ?B ?C)) (exists (?P ?V ?T) (and (attribute ?P Soldier) (member ?P ?C) (instance ?T Transportation) (agent ?T ?P) (instance ?V Vehicle) (patient ?T ?V) (during ?T ?B))))	Mid-level-ontology.kif 9613-9626	例 AutonomousAgent and 騎兵部隊例 TimeInterval and Battle agent TimeInterval and AutonomousAgent AutonomousAgent Entity and TimeInterval attribute AutonomousAgent and 士兵會員 AutonomousAgent and AutonomousAgent 例 TimeInterval and Transportation agent TimeInterval and AutonomousAgent 例 Entity and 車輛患者 TimeInterval and Entity 期間 TimeInterval and TimeInterval
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (attribute ?LISTING ForSaleByOwner) (patient ?LISTING ?ITEM)) (instance ?ITEM Vehicle))	UXExperimentalTerms.kif 373-379	例 Entity and Object 例 Object and WebListing attribute Object and ForSaleByOwner 患者 Object and Entity 例 Entity and 車輛
(=> (and (instance ?ORG Organization) (attribute ?ORG ScenicAndSightseeingTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS ?VEH) (and (instance ?TRANS Transportation) (instance ?TRANS RecreationOrExercise) (patient ?TRANS ?P) (possesses ?ORG ?VEH) (instance ?VEH Vehicle))) ?MEM ?P))))))	naics.kif 8528-8549	例 Collection and Organization attribute Collection and 景區和觀光交通 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity 例 entity and Transportation 例 entity and RecreationOrExercise 患者 entity and CognitiveAgent 擁有 Collection and entity 例 entity and 車輛, Process and CognitiveAgent
(=> (and (instance ?W Wagon) (instance ?T Transportation) (instrument ?T ?W)) (exists (?P) (and (instance ?T Pulling) (agent ?T ?P) (patient ?T ?W) (or (instance ?P DomesticAnimal) (instance ?P Vehicle)))))	Transportation.kif 1992-2004	例 Object and 車皮例 Process and Transportation 儀器 Process and Object AutonomousAgent 例 Process and 拉 agent Process and AutonomousAgent 患者 Process and Object 例 AutonomousAgent and 家畜例 AutonomousAgent and 車輛
(=> (attribute ?H Valet) (hasPurpose ?H (and (instance ?VEHICLE Vehicle) (instance ?PUT Putting) (destination ?PUT ?PARK) (instance ?PARK ParkingRegion) (patient ?PUT ?VEHICLE) (agent ?PUT ?H))))	TransportDetail.kif 136-145	attribute Object and Valet 有目的 Object and 例 entity and 車輛例 entity and Putting 目的地 entity and entity 例 entity and ParkingRegion 患者 entity and entity agent entity and Object
(=> (instance ?C Convoy) (exists (?V1 ?V2 ?TIME) (and (not (equal ?V1 ?V2)) (instance ?V1 Vehicle) (instance ?V2 Vehicle) (instance ?TIME TimeInterval) (temporalPart ?TIME (WhenFn ?C)) (holdsDuring ?TIME (and (member ?V1 ?C) (member ?V2 ?C))))))	Mid-level-ontology.kif 23983-23995	例 Physical and 護航 Entity Entity and TimePosition 等於 Entity and Entity 例 Entity and 車輛例 Entity and 車輛例 TimePosition and TimeInterval 時間部分 TimePosition and 何時 Physical 持有期間 TimePosition and 會員 Entity and Physical 會員 Entity and Physical
(=> (instance ?C VehicleController) (exists (?V) (and (instance ?V Vehicle) (part ?C ?V))))	Mid-level-ontology.kif 3858-3863	例 Object and 車輛控制器 Object 例 Object and 車輛部分 Object and Object
(=> (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
(=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle))	Mid-level-ontology.kif 3985-3987	例 Collection and Fleet 車輛是 Collection 的 member 類別
(=> (instance ?H Hijacking) (exists (?V) (and (instance ?V Vehicle) (patient ?H ?V))))	Mid-level-ontology.kif 23539-23544	例 Process and 劫持 Entity 例 Entity and 車輛患者 Process and Entity
(=> (instance ?L Headlight) (exists (?V) (and (instance ?V Vehicle) (part ?L (FrontFn ?V)))))	Mid-level-ontology.kif 3547-3552	例 Object and 車燈 SelfConnectedObject 例 SelfConnectedObject and 車輛部分 Object and 面前 SelfConnectedObject
(=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V)))))	Mid-level-ontology.kif 3558-3563	例 Object and 尾燈 SelfConnectedObject 例 SelfConnectedObject and 車輛部分 Object and 背部 SelfConnectedObject
(=> (instance ?L VehicleLight) (exists (?V) (and (instance ?V Vehicle) (part ?L ?V))))	Mid-level-ontology.kif 3536-3541	例 Object and 車燈 Object 例 Object and 車輛部分 Object and Object
(=> (instance ?S Speedometer) (hasPurpose ?S (exists (?V ?T ?SPEED ?DIST ?TIME ?M) (and (instance ?V Vehicle) (part ?S ?V) (instance ?T Translocation) (instrument ?T ?V) (measure ?T ?SPEED) (equal ?SPEED (SpeedFn ?DIST ?TIME)) (instance ?M Measuring) (instrument ?M ?S) (measurementReading ?M ?SPEED)))))	Cars.kif 3018-3032	例 Physical and Speedometer 有目的 Physical and entity entity, PhysicalPEED, entity, entityIME and entity 例 entity and 車輛部分 Physical and entity 例 entity and 易位儀器 entity and entity 測量 entity and PhysicalPEED 等於 PhysicalPEED and 速度 entity and entityIME 例 entity and Measuring 儀器 entity and Physical PhysicalPEED 是 entity 的 measurement 讀數
(=> (instance ?S VehicleSeat) (hasPurpose ?S (exists (?H ?T ?V) (and (instance ?H Human) (instance ?V Vehicle) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S) (located ?S ?V)))))))	Cars.kif 5090-5101	例 Physical and VehicleSeat 有目的 Physical and entity entity and entity 例 entity and Human 例 entity and 車輛持有期間 entity and attribute entity and 坐在位於 entity and Physical 位於 Physical and entity
(=> (instance ?SHIP VehicleCarrierShip) (cargoType ?SHIP Vehicle))	Transportation.kif 2522-2524	例 TransportationDevice and 車載船車輛是 TransportationDevice 的 cargo 種類
(=> (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 4477-4489	例 Process and TransportationService Object AutonomousAgent, Process and CognitiveAgent agent Process and AutonomousAgent 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and 車輛例 Process and Transportation agent Process and AutonomousAgent 患者 Process and CognitiveAgent 儀器 Process and Object 子過程 Process and Process
(=> (instance ?VSD VehicleSafetyDevice) (hasPurpose ?VSD (exists (?V) (and (instance ?V Vehicle) (part ?VSD ?V)))))	Cars.kif 3442-3448	例 Physical and VehicleSafetyDevice 有目的 Physical and entity 例 entity and 車輛部分 Physical and entity
(=> (instance ?W VehicleWindow) (exists (?V) (and (instance ?V Vehicle) (part ?W ?V))))	Mid-level-ontology.kif 3915-3920	例 Object and 車窗 Object 例 Object and 車輛部分 Object and Object
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))	Mid-level-ontology.kif 16557-16565	例 Object and 窗口 Object 部分 Object and Object 例 Object and Building 例 Object and Room 例 Object and 車輛
(=> (instance ?X SeatBelt) (hasPurpose ?X (exists (?PERSON ?STOP ?VEHICLE ?M) (and (instance ?VEHICLE Vehicle) (part ?X ?VEHICLE) (instance ?PERSON Human) (contains ?VEHICLE ?PERSON) (instance ?STOP Process) (prevents ?STOP (KappaFn ?M (and (instance ?M Translocation) (patient ?M ?PERSON) (exists (?COLLISION) (and (or (instance ?COLLISION Decelerating) (instance ?COLLISION Impacting)) (experiencer ?COLLISION ?VEHICLE) (causes ?COLLISION ?M))) (modalAttribute (exists (?INJ ?IMP) (and (instance ?INJ Injuring) (instance ?IMP Impacting) (causes ?M ?INJ) (patient ?INJ ?PERSON) (subProcess ?IMP ?INJ))) Possibility))))))))	Cars.kif 3736-3765	例 Physical and SeatBelt 有目的 Physical and entity entity, entity and entity 例 entity and 車輛部分 Physical and entity 例 entity and Human 包含 entity and entity 例 entity and Process 防止 entity and 卡帕 entity and 例 entity and 易位患者 entity and entity entity 例 entity and 減速例 entity and Impacting 體驗者 entity and entity 原因 entity and entity 模態屬性 entity entity 例 entity and Injuring 例 entity and Impacting 原因 entity and entity 患者 entity and entity 子過程 entity and entity and 可能性

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

KB Term:			Term intersection

English Word: