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 ChineseLanguage BiochemicalWeapon "生化武器") domainEnglishFormat.kif 11005-11005
(termFormat ChineseTraditionalLanguage BiochemicalWeapon "生化武器") domainEnglishFormat.kif 11004-11004
(termFormat EnglishLanguage BiochemicalWeapon "biochemical weapon") domainEnglishFormat.kif 11003-11003

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