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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicalWeapon
BiologicalWeapon(biological weapon)bioarm, biological_weapon, bioweapon

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 141-143
No TPTP formula. May not be expressible in strict first order. WMD.kif 140-140 Biological weapon is a subclass of biochemical weapon

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 108-108 Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11123-11123
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11122-11122
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11121-11121

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 145-150


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