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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vehicle

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 车辆运输设备subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1811-1811 代理动力车辆车辆subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17817-17817 飞机车辆subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1596-1596 装甲车车辆subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1760-1760 货车车辆subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30092-30092 DamagedVehicle车辆subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3465-3465 陆地车辆车辆subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 131-131 军车车辆subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1742-1742 乘用车车辆subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1793-1793 动力车辆车辆subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25763-25763 RecreationalVehicle车辆subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17711-17711 宇宙飞船车辆subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1783-1783 无动力车辆车辆subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3483-3483 水车车辆subclass
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 数量 是 车辆instance
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 81-81 最大载荷容量 的 1 数量 是 车辆instance
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 109-109 最大有效负载高度宽度 的 1 数量 是 车辆instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17402-17402 在船上 的 2 数量 是 车辆instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1710-1710 topSpeed 的 1 数量 是 车辆instance

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 客体DamagedVehicleinstance 若且唯若 那个 客体车辆instanceDeviceDamaged那个 客体attribute
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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