BiologicalWeapon - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BiologicalWeapon BiochemicalWeapon)	WMD.kif 133-133	Biological weapon is a subclass of biochemical weapon
(documentation BiologicalWeapon EnglishLanguage "Weapons which contain a sample of ToxicOrganism or a BiologicallyActiveSubstance that is produced by a ToxicOrganism (or a synthetic analogue of the latter).")	WMD.kif 134-136	Biological weapon is a subclass of biochemical weapon

appearance as argument number 2

(partition BiochemicalWeapon BiologicalWeapon ChemicalWeapon)	WMD.kif 102-102	Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon
(termFormat EnglishLanguage BiologicalWeapon "biological weapon")	domainEnglishFormat.kif 11129-11129	Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon
(termFormat ChineseTraditionalLanguage BiologicalWeapon "生物武器")	domainEnglishFormat.kif 11130-11130	Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon
(termFormat ChineseLanguage BiologicalWeapon "生物武器")	domainEnglishFormat.kif 11131-11131	Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon

antecedent

(=>
    (instance ?WEAPON BiologicalWeapon)
    (exists (?AGENT)
        (and
            (instance ?AGENT BiologicalAgent)
            (part ?AGENT ?WEAPON))))

If X is an instance of biological weapon, then there exists Y such that Y is an instance of biological agent and Y is a part of X