| 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 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BiochemicalAttack "生化攻击") | domainEnglishFormat.kif 11066-11066 | |
| (termFormat ChineseTraditionalLanguage BiochemicalAttack "生化攻擊") | domainEnglishFormat.kif 11065-11065 | |
| (termFormat EnglishLanguage BiochemicalAttack "biochemical attack") | domainEnglishFormat.kif 11064-11064 |
| 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