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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalAttack
BiochemicalAttack(biochemical attack)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 10999-10999 "生化攻击" is the printable form of biochemical attack in ChineseLanguage
(termFormat ChineseTraditionalLanguage BiochemicalAttack "生化攻擊") domainEnglishFormat.kif 10998-10998 "生化攻擊" is the printable form of biochemical attack in ChineseTraditionalLanguage
(termFormat EnglishLanguage BiochemicalAttack "biochemical attack") domainEnglishFormat.kif 10997-10997 "biochemical attack" is the printable form of biochemical attack in english language

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners