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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalWeapon
BiochemicalWeapon

appearance as argument number 1
-------------------------


(disjoint BiochemicalWeapon RadioactiveWeapon) WMD.kif 106-106
(documentation BiochemicalWeapon EnglishLanguage "A WeaponOfMassDestruction that is either a BiologicalWeapon or a ChemicalWeapon, i.e. not a RadioactiveWeapon.") WMD.kif 103-105
(partition BiochemicalWeapon BiologicalWeapon ChemicalWeapon) WMD.kif 107-107
(subclass BiochemicalWeapon WeaponOfMassDestruction) WMD.kif 102-102

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


(disjoint RadioactiveWeapon BiochemicalWeapon) WMD.kif 117-117
(subclass BiologicalWeapon BiochemicalWeapon) WMD.kif 140-140
(subclass ChemicalWeapon BiochemicalWeapon) WMD.kif 448-448
(termFormat EnglishLanguage BiochemicalWeapon "biochemical weapon") domainEnglishFormat.kif 2267-2267

appearance as argument number 3
-------------------------


(partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) WMD.kif 668-668

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

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


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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners