Vehicle - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3625-3627
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16102-16109
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6956-6956
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8213-8213
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 589-589
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16101-16101	子類車輛 and TransportationDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1951-1951	子類代理動力車輛 and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19375-19375	子類飛機 and 車輛
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1596-1596	子類裝甲車 and 車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1900-1900	子類貨車 and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31730-31730	子類 DamagedVehicle and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3934-3934	子類陸地車輛 and 車輛
No TPTP formula. May not be expressible in strict first order.	Military.kif 131-131	子類軍車 and 車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1882-1882	子類乘用車 and 車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1933-1933	子類動力車輛 and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27408-27408	子類 RecreationalVehicle and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19269-19269	子類宇宙飛船 and 車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1923-1923	子類無動力車輛 and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3952-3952	子類水車 and 車輛
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61369-61369	子類水車 and 車輛
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61368-61368	子類水車 and 車輛
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61367-61367	子類水車 and 車輛
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1211-1211	Alternator typically 是車輛的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2968-2968	Odometer typically 是車輛的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3016-3016	Speedometer typically 是車輛的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1212-1212	車輛 typically 有 part Alternator

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1712-1712	域旅, 1 and 車輛
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 81-81	域最大載荷容量, 1 and 車輛
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 109-109	域最大有效負載高度寬度, 1 and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18960-18960	域在船上, 2 and 車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1850-1850	域 topSpeed, 1 and 車輛

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25240-25247	例 Process and Driving 子過程 Transportation and Process 例 Transportation and Transportation 例 TransportationDevice and 車輛患者 Process and TransportationDevice 輸送 Transportation and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16119-16125	例 Object and 車輛例 Process and 易位儀器 Process and Object 目的地 Process and Entity 持有期間開始何時 Process and 位於 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16111-16117	例 Object and 車輛例 Process and 易位儀器 Process and Object 起源 Process and Object 持有期間開始何時 Process and 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 61-66	例 Object and Weapon 部分 Object and Object 例 Object and 車輛例 Object and 軍車
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31732-31736	例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18938-18942	例 Process and 登機患者 Process and Entity 例 Entity and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18979-18983	例 Process and deboarding 患者 Process and Entity 例 Entity and 車輛
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 373-379	例 Entity and Object 例 Object and WebListing attribute Object and ForSaleByOwner 患者 Object and Entity 例 Entity and 車輛
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 車輛
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3858-3863	例 Object and 車輛控制器 Object 例 Object and 車輛部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11724-11729	例 Process and Driving Entity 例 Entity and 車輛患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3985-3987	例 Collection and Fleet 車輛是 Collection 的 member 類別
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23539-23544	例 Process and 劫持 Entity 例 Entity and 車輛患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3547-3552	例 Object and 車燈 SelfConnectedObject 例 SelfConnectedObject and 車輛部分 Object and 面前 SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3558-3563	例 Object and 尾燈 SelfConnectedObject 例 SelfConnectedObject and 車輛部分 Object and 背部 SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3536-3541	例 Object and 車燈 Object 例 Object and 車輛部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	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 讀數
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2522-2524	例 TransportationDevice and 車載船車輛是 TransportationDevice 的 cargo 種類
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3442-3448	例 Physical and VehicleSafetyDevice 有目的 Physical and entity 例 entity and 車輛部分 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3915-3920	例 Object and 車窗 Object 例 Object and 車輛部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16557-16565	例 Object and 窗口 Object 部分 Object and Object 例 Object and Building 例 Object and Room 例 Object and 車輛
No TPTP formula. May not be expressible in strict first order.	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: