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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Firearm
Firearm(火器)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1605-1606
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1114-1114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1604-1604 火器 详尽无遗地 partition步枪手枪
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1603-1603 火器subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1612-1612 手枪火器subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1608-1608 步枪火器subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23912-23912
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23911-23911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23910-23910

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1162-1162 详尽无遗地 partition火炮枪火器

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


No TPTP formula. May not be expressible in strict first order. Military.kif 676-685


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