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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryVehicle

 Sigma KEE - MilitaryVehicle
MilitaryVehicle(军车)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Military.kif 132-135
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 443-443
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 442-442
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 441-441
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 440-440
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1185-1185
No TPTP formula. May not be expressible in strict first order. Military.kif 130-130 军车 是 军事平台 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 131-131 军车 是 车辆 的 subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1646-1646 AAV 是 军车 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1890-1890 A h1 是 军车 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2128-2128 AMEV 是 军车 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1571-1571 APC 是 军车 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1830-1830 C h46 d 是 军车 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1769-1769 C h53 e 是 军车 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1734-1734 鹞2 是 军车 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1945-1945 LCAC 是 军车 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 156-156 军用飞机 是 军车 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 195-195 军事支援车辆 是 军车 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 145-145 军用坦克 是 军车 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37769-37769
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37768-37768
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37767-37767

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 23-23 武器携带能力 的 1 数量 是 军车 的 instance

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


No TPTP formula. May not be expressible in strict first order. Military.kif 197-202
No TPTP formula. May not be expressible in strict first order. Military.kif 137-143

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


No TPTP formula. May not be expressible in strict first order. Military.kif 102-106
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 61-66


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