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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalWeapon
BiochemicalWeapon

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 107-107 BiochemicalWeapon e' disjunto de RadioactiveWeapon
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 O conceito BiochemicalWeapon e' completamente decomposto em BiologicalWeapon + ChemicalWeapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 103-103 BiochemicalWeapon e' uma sub-classe de WeaponOfMassDestruction

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 118-118 RadioactiveWeapon e' disjunto de BiochemicalWeapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 140-140 BiologicalWeapon e' uma sub-classe de BiochemicalWeapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 453-453 ChemicalWeapon e' uma sub-classe de BiochemicalWeapon
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11057-11057
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11056-11056
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11055-11055

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 673-673 O conceito WeaponOfMassDestruction e' completamente decomposto em RadioactiveWeapon + BiochemicalWeapon

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