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 BiochemicalWeapon ist dijunkt von RadioactiveWeapon %n{nicht}
(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 BiochemicalWeapon wird vollstaendig in BiologicalWeapon und ChemicalWeapon verteilt
(subclass BiochemicalWeapon WeaponOfMassDestruction) WMD.kif 103-103 BiochemicalWeapon ist eine teilkategorie von WeaponOfMassDestruction

appearance as argument number 2
-------------------------


(disjoint RadioactiveWeapon BiochemicalWeapon) WMD.kif 118-118 RadioactiveWeapon ist dijunkt von BiochemicalWeapon %n{nicht}
(subclass BiologicalWeapon BiochemicalWeapon) WMD.kif 140-140 BiologicalWeapon ist eine teilkategorie von BiochemicalWeapon
(subclass ChemicalWeapon BiochemicalWeapon) WMD.kif 453-453 ChemicalWeapon ist eine teilkategorie von BiochemicalWeapon
(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 WeaponOfMassDestruction wird vollstaendig in RadioactiveWeapon und BiochemicalWeapon verteilt

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