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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntiTankMissile
AntiTankMissile

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 887-899
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1031-1031
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2744-2744
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2743-2743
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 884-884 AntiTankMissile e' uma sub-classe de AntiTankWeapon
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 885-885 AntiTankMissile e' uma sub-classe de Missile

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 845-845 BGM71TOW e' uma sub-classe de AntiTankMissile
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7908-7908
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7907-7907
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7906-7906
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2058-2058

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1916-1922


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