LandVehicle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LandVehicle

LandVehicle(陸地車輛)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3466-3470
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1439-1439
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3465-3465	子類陸地車輛 and 車輛

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2129-2129	子類 AMEV and 陸地車輛
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1573-1573	子類 APC and 陸地車輛
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4761-4761	子類 AllTerrainVehicle and 陸地車輛
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2019-2019	子類兩棲車輛 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.	Cars.kif 4583-4583	子類 FourWheelDriveVehicle and 陸地車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2033-2033	子類鐵路車輛 and 陸地車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3508-3508	子類公路車輛 and 陸地車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1944-1944	子類摩托車 and 陸地車輛
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4606-4606	子類 TwoWheelDriveVehicle and 陸地車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1846-1846	子類車皮 and 陸地車輛
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33301-33301
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33300-33300
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33299-33299

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17780-17782	例 Object and 陸地車輛能力陸運, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3377-3382	例 Object and 陸地車輛 Object 例 Object and 輪部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3472-3481	例 Physical and 陸地車輛有目的 Physical and entity entity 表面 entity and GeographicArea 例 entity and Transportation 持有期間何時 entity and 空間的符合 Physical and entity

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	例 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 CognitiveAgent 擁有 Collection and entity 例 entity and 陸地車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	例 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 and entity 例 entity and Transportation 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and entity 例 entity and 陸地車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17771-17778	例 Process and 陸運 Object Object 例 Object and 陸地車輛例 Object and LandArea 儀器 Process and Object 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3372-3379	例 Process and LandTransportationService Process Object 例 Process and 陸運例 Object and 陸地車輛儀器 Process and Object 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22222-22230	例 Physical and 路有目的 Physical and entity entity 例 entity and Transportation entity 是 located 在 Physical 例 entity and 陸地車輛儀器 entity and entity

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