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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalWeapon
BiochemicalWeapon(biochemical weapon)biochemical_weapon

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 106-106 Biochemical weapon is disjoint from radioactive weapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 103-105
No TPTP formula. May not be expressible in strict first order. WMD.kif 107-107 Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 102-102 Biochemical weapon is a subclass of weapon of mass destruction

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 117-117 Radioactive weapon is disjoint from biochemical weapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 140-140 Biological weapon is a subclass of biochemical weapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 448-448 Chemical weapon is a subclass of biochemical weapon
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2267-2267 "biochemical weapon" is the printable form of biochemical weapon in english language

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 668-668 Weapon of mass destruction is exhaustively partitioned into radioactive weapon and biochemical weapon

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 57-62
No TPTP formula. May not be expressible in strict first order. WMD.kif 51-55
No TPTP formula. May not be expressible in strict first order. WMD.kif 109-114