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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GrenadeLauncher
GrenadeLauncher(榴弹发射器)

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 592-593
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1127-1127
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 591-591 榴弹发射器重机枪subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 607-607 Mk19榴弹发射器subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26646-26646
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26645-26645
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26644-26644

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 597-605


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