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 15997-16004
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6957-6957
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8214-8214
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 15996-15996	子類車輛 and TransportationDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1811-1811	子類代理動力車輛 and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17816-17816	子類飛機 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 1760-1760	子類貨車 and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30080-30080	子類 DamagedVehicle and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3465-3465	子類陸地車輛 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 1742-1742	子類乘用車 and 車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1793-1793	子類動力車輛 and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25751-25751	子類 RecreationalVehicle and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17710-17710	子類宇宙飛船 and 車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1783-1783	子類無動力車輛 and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3483-3483	子類水車 and 車輛
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61346-61346
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61345-61345
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61344-61344
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 1212-1212	車輛 typically 有 part Alternator

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1583-1583	域旅, 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 17401-17401	域在船上, 2 and 車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1710-1710	域 topSpeed, 1 and 車輛

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3416-3426	例 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 23590-23597	例 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 2963-2979	例 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 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 16014-16020	例 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 16006-16012	例 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 30760-30771	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 30082-30086	例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17379-17383	例 Process and 登機患者 Process and Entity 例 Entity and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17420-17424	例 Process and deboarding 患者 Process and Entity 例 Entity and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8386-8399	例 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 1852-1864	例 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 132-141	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 22333-22345	例 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 3389-3394	例 Object and 車輛控制器 Object 例 Object and 車輛部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11641-11646	例 Process and Driving Entity 例 Entity and 車輛患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3516-3518	例 Collection and Fleet 車輛是 Collection 的 member 類別
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21889-21894	例 Process and 劫持 Entity 例 Entity and 車輛患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3078-3083	例 Object and 車燈 SelfConnectedObject 例 SelfConnectedObject and 車輛部分 Object and 面前 SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3089-3094	例 Object and 尾燈 SelfConnectedObject 例 SelfConnectedObject and 車輛部分 Object and 背部 SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3067-3072	例 Object and 車燈 Object 例 Object and 車輛部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5037-5048	例 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 2347-2349	例 TransportationDevice and 車載船車輛是 TransportationDevice 的 cargo 種類
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3340-3352	例 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 3389-3395	例 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 3446-3451	例 Object and 車窗 Object 例 Object and 車輛部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15175-15183	例 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 3683-3712	例 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: