TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(disjoint RadioactiveWeapon BiochemicalWeapon)	WMD.kif 112-112	Radioactive weapon is disjoint from biochemical weapon
(subclass BiologicalWeapon BiochemicalWeapon)	WMD.kif 133-133	Biological weapon is a subclass of biochemical weapon
(subclass ChemicalWeapon BiochemicalWeapon)	WMD.kif 448-448	Chemical weapon is a subclass of biochemical weapon
(termFormat EnglishLanguage BiochemicalWeapon "biochemical weapon")	domainEnglishFormat.kif 11063-11063	Chemical weapon is a subclass of biochemical weapon
(termFormat ChineseTraditionalLanguage BiochemicalWeapon "生化武器")	domainEnglishFormat.kif 11064-11064	Chemical weapon is a subclass of biochemical weapon
(termFormat ChineseLanguage BiochemicalWeapon "生化武器")	domainEnglishFormat.kif 11065-11065	Chemical weapon is a subclass of biochemical weapon

appearance as argument number 3

antecedent

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

consequent

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