BiochemicalWeapon - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint BiochemicalWeapon RadioactiveWeapon)	WMD.kif 107-107	Biochemical weapon is disjoint from radioactive weapon
(documentation BiochemicalWeapon EnglishLanguage "A WeaponOfMassDestruction that is either a BiologicalWeapon or a ChemicalWeapon, i.e. not a RadioactiveWeapon.")	WMD.kif 104-106	Biochemical weapon is disjoint from radioactive weapon
(partition BiochemicalWeapon BiologicalWeapon ChemicalWeapon)	WMD.kif 108-108	Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon
(subclass BiochemicalWeapon WeaponOfMassDestruction)	WMD.kif 103-103	Biochemical weapon is a subclass of weapon of mass destruction

appearance as argument number 2

(disjoint RadioactiveWeapon BiochemicalWeapon)	WMD.kif 118-118	Radioactive weapon is disjoint from biochemical weapon
(subclass BiologicalWeapon BiochemicalWeapon)	WMD.kif 140-140	Biological weapon is a subclass of biochemical weapon
(subclass ChemicalWeapon BiochemicalWeapon)	WMD.kif 453-453	Chemical weapon is a subclass of biochemical weapon
(termFormat ChineseLanguage BiochemicalWeapon "生化武器")	domainEnglishFormat.kif 11073-11073	Chemical weapon is a subclass of biochemical weapon
(termFormat ChineseTraditionalLanguage BiochemicalWeapon "生化武器")	domainEnglishFormat.kif 11072-11072	Chemical weapon is a subclass of biochemical weapon
(termFormat EnglishLanguage BiochemicalWeapon "biochemical weapon")	domainEnglishFormat.kif 11071-11071	Chemical weapon is a subclass of biochemical weapon

appearance as argument number 3

WMD.kif 673-673

antecedent

(=> (and (instance ?ATTACK ViolentContest) (instrument ?ATTACK ?WEAPON) (instance ?WEAPON BiochemicalWeapon)) (instance ?ATTACK BiochemicalAttack))	WMD.kif 57-62	If a process is an instance of violent contest and an object is an instrument for the process and the object is an instance of biochemical weapon, then the process is an instance of biochemical attack
(=> (and (instance ?WEAPON BiochemicalWeapon) (possesses ?AGENT ?WEAPON)) (capability BiochemicalAttack agent ?AGENT))	WMD.kif 51-55	If an object is an instance of biochemical weapon and an agent possesses the object, then the agent is capable of doing biochemical attack as a agent
(=> (instance ?WEAPON BiochemicalWeapon) (exists (?AGENT) (and (instance ?AGENT BiochemicalAgent) (part ?AGENT ?WEAPON))))	WMD.kif 110-115	If an object is an instance of biochemical weapon, then there exists another object such that the other object is an instance of biochemical agent and the other object is a part of the object

consequent

(=>
    (and
        (instance ?WEAPON WeaponOfMassDestruction)
        (instrument ?ATTACK ?WEAPON)
        (instance ?ATTACK BiochemicalAttack))
    (instance ?WEAPON BiochemicalWeapon))

WMD.kif 44-49