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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalAttack
BiochemicalAttack(biochemical attack)

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


(documentation BiochemicalAttack EnglishLanguage "Attacks in which a BiochemicalWeapon is used against an Organism.") WMD.kif 41-42
(subclass BiochemicalAttack Attack) WMD.kif 40-40 Biochemical attack is a subclass of attack

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


(termFormat ChineseLanguage BiochemicalAttack "生化攻击") domainEnglishFormat.kif 11067-11067
(termFormat ChineseTraditionalLanguage BiochemicalAttack "生化攻擊") domainEnglishFormat.kif 11066-11066
(termFormat EnglishLanguage BiochemicalAttack "biochemical attack") domainEnglishFormat.kif 11065-11065

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


(=>
    (and
        (instance ?ATTACK BiochemicalAttack)
        (patient ?ATTACK ?OBJ))
    (instance ?OBJ Organism))
WMD.kif 64-68
(=>
    (and
        (instance ?WEAPON WeaponOfMassDestruction)
        (instrument ?ATTACK ?WEAPON)
        (instance ?ATTACK BiochemicalAttack))
    (instance ?WEAPON BiochemicalWeapon))
WMD.kif 44-49
(=>
    (instance ?ATTACK BiochemicalAttack)
    (hasPurpose ?ATTACK
        (exists (?DAMAGE ?ORGANISM)
            (and
                (instance ?DAMAGE Damaging)
                (patient ?DAMAGE ?ORGANISM)
                (causes ?ATTACK ?DAMAGE)
                (instance ?ORGANISM Organism)))))
WMD.kif 70-78

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


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


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