TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint BiochemicalWeapon RadioactiveWeapon)	WMD.kif 107-107	不相交的生化武器 and 放射性武器
(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	劃分生化武器, 生物武器 and 化學武器
(subclass BiochemicalWeapon WeaponOfMassDestruction)	WMD.kif 103-103	子類生化武器 and 大規模殺傷性武器

appearance as argument number 2

(disjoint RadioactiveWeapon BiochemicalWeapon)	WMD.kif 118-118	不相交的放射性武器 and 生化武器
(subclass BiologicalWeapon BiochemicalWeapon)	WMD.kif 140-140	子類生物武器 and 生化武器
(subclass ChemicalWeapon BiochemicalWeapon)	WMD.kif 453-453	子類化學武器 and 生化武器
(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	例 Process and ViolentContest 儀器 Process and Object 例 Object and 生化武器例 Process and 生化攻擊
(=> (and (instance ?WEAPON BiochemicalWeapon) (possesses ?AGENT ?WEAPON)) (capability BiochemicalAttack agent ?AGENT))	WMD.kif 51-55	例 Object and 生化武器擁有 AutonomousAgent and Object 能力生化攻擊, agent and AutonomousAgent
(=> (instance ?WEAPON BiochemicalWeapon) (exists (?AGENT) (and (instance ?AGENT BiochemicalAgent) (part ?AGENT ?WEAPON))))	WMD.kif 110-115	例 Object and 生化武器 Object 例 Object and 生化劑部分 Object and Object

consequent

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

WMD.kif 44-49