Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiochemicalWeapon

Sigma KEE - BiochemicalWeapon
BiochemicalWeapon(生化武器)

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
-------------------------


(partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) WMD.kif 673-673 大规模杀伤性武器 详尽无遗地 partition放射性武器生化武器

antecedent
-------------------------


(=>
    (and
        (instance ?ATTACK ViolentContest)
        (instrument ?ATTACK ?WEAPON)
        (instance ?WEAPON BiochemicalWeapon))
    (instance ?ATTACK BiochemicalAttack))
WMD.kif 57-62
(=>
    (and
        (instance ?WEAPON BiochemicalWeapon)
        (possesses ?AGENT ?WEAPON))
    (capability BiochemicalAttack agent ?AGENT))
WMD.kif 51-55
(=>
    (instance ?WEAPON BiochemicalWeapon)
    (exists (?AGENT)
        (and
            (instance ?AGENT BiochemicalAgent)
            (part ?AGENT ?WEAPON))))
WMD.kif 110-115

consequent
-------------------------


(=>
    (and
        (instance ?WEAPON WeaponOfMassDestruction)
        (instrument ?ATTACK ?WEAPON)
        (instance ?ATTACK BiochemicalAttack))
    (instance ?WEAPON BiochemicalWeapon))
WMD.kif 44-49


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners