|
|
   ResearchingWeaponOfMassDestruction
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ResearchingWeaponOfMassDestruction Investigating) | WMD.kif 715-715 | Researching weapon of mass destruction is a subclass of investigating |
| (documentation ResearchingWeaponOfMassDestruction EnglishLanguage "Conducting research on the development of Weapons of Mass Destruction.") | WMD.kif 716-717 | Researching weapon of mass destruction is a subclass of investigating |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ResearchingWeaponOfMassDestruction "researching weapon of mass destruction") | domainEnglishFormat.kif 49599-49599 | |
| (termFormat ChineseTraditionalLanguage ResearchingWeaponOfMassDestruction "研究大規模殺傷性武器") | domainEnglishFormat.kif 49600-49600 | |
| (termFormat ChineseLanguage ResearchingWeaponOfMassDestruction "研究大规模杀伤性武器") | domainEnglishFormat.kif 49601-49601 |
| antecedent |
|
|
| (=> (and (instance ?FACILITY NuclearWeaponResearchFacility) (instance ?RESEARCH ResearchingWeaponOfMassDestruction) (eventLocated ?RESEARCH ?FACILITY)) (refers ?RESEARCH NuclearWeapon)) |
WMD.kif 661-666 | If X is an instance of nuclear weapon research facility, Y is an instance of researching weapon of mass destruction, and Y is located at X, then Y includes a reference to nuclear weapon |
| (=> (instance ?RESEARCH ResearchingWeaponOfMassDestruction) (exists (?WEAPON) (and (instance ?WEAPON WeaponOfMassDestruction) (refers ?RESEARCH ?WEAPON)))) |
WMD.kif 719-724 | If X is an instance of researching weapon of mass destruction, then there exists Y such that Y is an instance of weapon of mass destruction and X includes a reference to Y |
| consequent |
|
|
| (=> (instance ?FACILITY WMDWeaponsResearchFacility) (exists (?RESEARCH) (and (instance ?RESEARCH ResearchingWeaponOfMassDestruction) (eventLocated ?RESEARCH ?FACILITY)))) |
WMD.kif 636-641 | If X is an instance of WMD weapons research facility, then there exists Y such that Y is an instance of researching weapon of mass destruction and Y is located at X |
|
|
|