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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoweredVehicle

 Sigma KEE - PoweredVehicle
PoweredVehicle(动力车辆)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1797-1797 动力车辆 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1794-1796
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2321-2321
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1793-1793 动力车辆 是 车辆 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2081-2081 轨道车 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1822-1822 预告片 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1649-1649 AAV 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1574-1574 APC 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2616-2616 飞机 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2172-2172 电气化铁路车 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1893-1893 紧急公路车辆 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1887-1887 紧急车辆 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1947-1947 LCAC 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2122-2122 机车 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2210-2210 电动轨道车 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2117-2117 机动铁路车 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1804-1804 自供电公路车辆 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2048-2048 火车 是 动力车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47026-47026
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47025-47025
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47024-47024

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1798-1801

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3740-3754


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