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 107-107
(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
(subclass BiochemicalWeapon WeaponOfMassDestruction) WMD.kif 103-103

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


(disjoint RadioactiveWeapon BiochemicalWeapon) WMD.kif 118-118
(subclass BiologicalWeapon BiochemicalWeapon) WMD.kif 140-140
(subclass ChemicalWeapon BiochemicalWeapon) WMD.kif 453-453
(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

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 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 3.0 is open source software produced by Articulate Software and its partners