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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalWeapon
BiochemicalWeapon(biochemical weapon)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 107-107 Biochemical weapon is disjoint from radioactive weapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 104-106
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. WMD.kif 103-103 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 118-118 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 453-453 Chemical weapon is a subclass of biochemical weapon
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11065-11065
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11064-11064
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11063-11063

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 673-673 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 110-115