Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Vehicle
Vehicle(車輛)

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 15975-15982
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 15974-15974 子類 車輛 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 17817-17817 子類 飛機 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 30092-30092 子類 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 25763-25763 子類 RecreationalVehicle and 車輛
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17711-17711 子類 宇宙飛船 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 車輛 typicallypart 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 17402-17402 在船上, 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
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23591-23598
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2973
No TPTP formula. May not be expressible in strict first order. Cars.kif 567-580
No TPTP formula. May not be expressible in strict first order. Merge.kif 15992-15998
No TPTP formula. May not be expressible in strict first order. Merge.kif 15984-15990
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 61-66
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30772-30783

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30094-30098 Object and DamagedVehicle Object and 車輛 attribute Object and DeviceDamaged
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17380-17384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17421-17425
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8387-8400
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 373-379
No TPTP formula. May not be expressible in strict first order. naics.kif 8528-8549
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1852-1864
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 132-141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22334-22346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3389-3394
No TPTP formula. May not be expressible in strict first order. Merge.kif 11619-11624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3516-3518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21890-21895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3078-3083
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3089-3094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3067-3072
No TPTP formula. May not be expressible in strict first order. Cars.kif 5029-5040
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2347-2349
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3340-3352
No TPTP formula. May not be expressible in strict first order. Cars.kif 3381-3387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3446-3451
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15176-15184
No TPTP formula. May not be expressible in strict first order. Cars.kif 3675-3704


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