ResearchingWeaponOfMassDestruction - Sigma Knowledge base Browser

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))))