BiochemicalWeapon - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint BiochemicalWeapon RadioactiveWeapon)	WMD.kif 107-107	生化武器和 % 2 是 disjoint
(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	生化武器详尽无遗地 partition 成生物武器和化学武器
(subclass BiochemicalWeapon WeaponOfMassDestruction)	WMD.kif 103-103	生化武器是大规模杀伤性武器的 subclass

appearance as argument number 2

(disjoint RadioactiveWeapon BiochemicalWeapon)	WMD.kif 118-118	放射性武器和 % 2 是 disjoint
(subclass BiologicalWeapon BiochemicalWeapon)	WMD.kif 140-140	生物武器是生化武器的 subclass
(subclass ChemicalWeapon BiochemicalWeapon)	WMD.kif 453-453	化学武器是生化武器的 subclass
(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

WMD.kif 673-673

antecedent

(=> (and (instance ?ATTACK ViolentContest) (instrument ?ATTACK ?WEAPON) (instance ?WEAPON BiochemicalWeapon)) (instance ?ATTACK BiochemicalAttack))	WMD.kif 57-62	如果过程是暴力比赛的 instance 和客体是导致那个过程的 instrument 和那个客体是生化武器的 instance，然后那个过程是生化攻击的 instance
(=> (and (instance ?WEAPON BiochemicalWeapon) (possesses ?AGENT ?WEAPON)) (capability BiochemicalAttack agent ?AGENT))	WMD.kif 51-55	如果客体是生化武器的 instance 和施事体 possesses 那个客体，然后那个施事体能够担当主事的角色做生化攻击
(=> (instance ?WEAPON BiochemicalWeapon) (exists (?AGENT) (and (instance ?AGENT BiochemicalAgent) (part ?AGENT ?WEAPON))))	WMD.kif 110-115	如果客体是生化武器的 instance，然后有存在另一个客体这样那个另外客体是生化剂的 instance 和那个另外客体是那个客体的 part

consequent

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

WMD.kif 44-49