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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 MilitaryVehicle e' uma sub-classe de MilitaryPlatform
No TPTP formula. May not be expressible in strict first order. Military.kif 131-131 MilitaryVehicle e' uma sub-classe de Vehicle

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1646-1646 AAV e' uma sub-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1890-1890 AH1 e' uma sub-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2128-2128 AMEV e' uma sub-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1571-1571 APC e' uma sub-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1830-1830 CH46D e' uma sub-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1769-1769 CH53E e' uma sub-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1734-1734 Harrier2 e' uma sub-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1945-1945 LCAC e' uma sub-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. Military.kif 156-156 MilitaryAircraft e' uma sub-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. Military.kif 195-195 MilitarySupportVehicle e' uma sub-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. Military.kif 145-145 MilitaryTank e' uma sub-classe de MilitaryVehicle
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 O argumento numero 1 de weaponCarryingCapability e' uma instancia de MilitaryVehicle

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 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