| appearance as argument number 1 |
|
| (documentation DevelopingWeaponOfMassDestruction EnglishLanguage "Making instances of WeaponOfMassDestruction.") | WMD.kif 687-688 | |
| (subclass DevelopingWeaponOfMassDestruction Making) | WMD.kif 686-686 |
| appearance as argument number 2 |
|
|
| (subclass StockpilingWeaponOfMassDestruction DevelopingWeaponOfMassDestruction) | WMD.kif 697-697 | |
| (termFormat ChineseLanguage DevelopingWeaponOfMassDestruction "发展大规模杀伤性武器") | domainEnglishFormat.kif 19335-19335 | |
| (termFormat ChineseTraditionalLanguage DevelopingWeaponOfMassDestruction "發展大規模殺傷性武器") | domainEnglishFormat.kif 19334-19334 | |
| (termFormat EnglishLanguage DevelopingWeaponOfMassDestruction "developing weapon of mass destruction") | domainEnglishFormat.kif 19333-19333 |
| antecedent |
|
|
| (=> (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (result ?DEVELOP ?WEAPON)) (instance ?WEAPON WeaponOfMassDestruction)) |
WMD.kif 690-694 | |
| (=> (and (instance ?FACILITY NuclearWeaponProductionFacility) (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (eventLocated ?DEVELOP ?FACILITY) (result ?DEVELOP ?WEAPON)) (instance ?WEAPON NuclearWeapon)) |
WMD.kif 654-660 |
| consequent |
|
|
| (=> (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 | |
| (=> (instance ?FACILITY WMDWeaponsProductionFacility) (exists (?DEVELOP) (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (eventLocated ?DEVELOP ?FACILITY)))) |
WMD.kif 630-635 |
|
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