| appearance as argument number 1 |
|
| (documentation DismantlingWeaponOfMassDestruction EnglishLanguage "Dismantling a Weapon of Mass Destruction, i.e. destroying the weapon or removing it from active deployment.") | WMD.kif 732-733 | |
| (subclass DismantlingWeaponOfMassDestruction IntentionalProcess) | WMD.kif 731-731 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DismantlingWeaponOfMassDestruction "拆除大规模杀伤性武器") | domainEnglishFormat.kif 19889-19889 | |
| (termFormat ChineseTraditionalLanguage DismantlingWeaponOfMassDestruction "拆除大規模殺傷性武器") | domainEnglishFormat.kif 19888-19888 | |
| (termFormat EnglishLanguage DismantlingWeaponOfMassDestruction "dismantling weapon of mass destruction") | domainEnglishFormat.kif 19887-19887 |
| antecedent |
|
|
| (=> (and (instance ?DISMANTLE DismantlingWeaponOfMassDestruction) (patient ?DISMANTLE ?WEAPON)) (exists (?DEVELOP) (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (result ?DEVELOP ?WEAPON) (earlier (WhenFn ?DEVELOP) (WhenFn ?DISMANTLE))))) |
WMD.kif 750-758 | |
| (=> (and (instance ?DISMANTLE DismantlingWeaponOfMassDestruction) (patient ?DISMANTLE ?WEAPON)) (instance ?WEAPON WeaponOfMassDestruction)) |
WMD.kif 735-739 | |
| (=> (instance ?DISMANTLE DismantlingWeaponOfMassDestruction) (exists (?PROCESS) (and (subProcess ?PROCESS ?DISMANTLE) (or (instance ?PROCESS Destruction) (instance ?PROCESS Removing))))) |
WMD.kif 741-748 |
|
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