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

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1646-1646 AAV est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1890-1890 AH1 est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2128-2128 AMEV est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1571-1571 APC est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1830-1830 CH46D est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1769-1769 CH53E est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1734-1734 Harrier2 est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1945-1945 LCAC est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. Military.kif 156-156 MilitaryAircraft est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. Military.kif 195-195 MilitarySupportVehicle est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order. Military.kif 145-145 MilitaryTank est une sous-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 Le nombre 1 argument de weaponCarryingCapability est une instance 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