BiochemicalWeapon
|
|
appearance as argument number 1 |
(disjoint BiochemicalWeapon RadioactiveWeapon) | WMD.kif 107-107 | |
(documentation BiochemicalWeapon EnglishLanguage "A WeaponOfMassDestruction that is either a BiologicalWeapon or a ChemicalWeapon, i.e. not a RadioactiveWeapon.") | WMD.kif 104-106 | |
(partition BiochemicalWeapon BiologicalWeapon ChemicalWeapon) | WMD.kif 108-108 | |
(subclass BiochemicalWeapon WeaponOfMassDestruction) | WMD.kif 103-103 |
appearance as argument number 2 |
(disjoint RadioactiveWeapon BiochemicalWeapon) | WMD.kif 118-118 | |
(subclass BiologicalWeapon BiochemicalWeapon) | WMD.kif 140-140 | |
(subclass ChemicalWeapon BiochemicalWeapon) | WMD.kif 453-453 | |
(termFormat ChineseLanguage BiochemicalWeapon "生化武器") | domainEnglishFormat.kif 11057-11057 | |
(termFormat ChineseTraditionalLanguage BiochemicalWeapon "生化武器") | domainEnglishFormat.kif 11056-11056 | |
(termFormat EnglishLanguage BiochemicalWeapon "biochemical weapon") | domainEnglishFormat.kif 11055-11055 |
appearance as argument number 3 |
(partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) | WMD.kif 673-673 |
antecedent |
(=> (and (instance ?ATTACK ViolentContest) (instrument ?ATTACK ?WEAPON) (instance ?WEAPON BiochemicalWeapon)) (instance ?ATTACK BiochemicalAttack)) |
WMD.kif 57-62 | |
(=> (and (instance ?WEAPON BiochemicalWeapon) (possesses ?AGENT ?WEAPON)) (capability BiochemicalAttack agent ?AGENT)) |
WMD.kif 51-55 | |
(=> (instance ?WEAPON BiochemicalWeapon) (exists (?AGENT) (and (instance ?AGENT BiochemicalAgent) (part ?AGENT ?WEAPON)))) |
WMD.kif 110-115 |
consequent |
(=> (and (instance ?WEAPON WeaponOfMassDestruction) (instrument ?ATTACK ?WEAPON) (instance ?ATTACK BiochemicalAttack)) (instance ?WEAPON BiochemicalWeapon)) |
WMD.kif 44-49 |