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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntiTankWeapon

 Sigma KEE - AntiTankWeapon
AntiTankWeapon(anti tank weapon)

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 868-870
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2745-2745
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2641-2641
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2746-2746
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 867-867 Anti tank weapon is a subclass of anti armor weapon

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 884-884 Anti tank missile is a subclass of anti tank weapon
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 719-719 Javelin weapon is a subclass of anti tank weapon
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7914-7914
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7913-7913
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7912-7912
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2057-2057

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 874-882


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