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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiochemicalAttack

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 11051-11051
(termFormat ChineseTraditionalLanguage BiochemicalAttack "生化攻擊") domainEnglishFormat.kif 11050-11050
(termFormat EnglishLanguage BiochemicalAttack "biochemical attack") domainEnglishFormat.kif 11049-11049

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