ResearchingWeaponOfMassDestruction - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ResearchingWeaponOfMassDestruction EnglishLanguage "Conducting research on the development of Weapons of Mass Destruction.")	WMD.kif 721-722
(subclass ResearchingWeaponOfMassDestruction Investigating)	WMD.kif 720-720	Researching weapon of mass destruction is a subclass of investigating

appearance as argument number 2

(termFormat ChineseLanguage ResearchingWeaponOfMassDestruction "研究大规模杀伤性武器")	domainEnglishFormat.kif 49644-49644
(termFormat ChineseTraditionalLanguage ResearchingWeaponOfMassDestruction "研究大規模殺傷性武器")	domainEnglishFormat.kif 49643-49643
(termFormat EnglishLanguage ResearchingWeaponOfMassDestruction "researching weapon of mass destruction")	domainEnglishFormat.kif 49642-49642

antecedent

(=> (and (instance ?FACILITY NuclearWeaponResearchFacility) (instance ?RESEARCH ResearchingWeaponOfMassDestruction) (eventLocated ?RESEARCH ?FACILITY)) (refers ?RESEARCH NuclearWeapon))	WMD.kif 666-671	If an object is an instance of nuclear weapon research facility and a process is an instance of researching weapon of mass destruction and the process is located at the object, then the process includes a reference to nuclear weapon
(=> (instance ?RESEARCH ResearchingWeaponOfMassDestruction) (exists (?WEAPON) (and (instance ?WEAPON WeaponOfMassDestruction) (refers ?RESEARCH ?WEAPON))))	WMD.kif 724-729	If an entity is an instance of researching weapon of mass destruction, then there exists another entity such that the other entity is an instance of weapon of mass destruction and the entity includes a reference to the other entity

consequent

(=>
    (instance ?FACILITY WMDWeaponsResearchFacility)
    (exists (?RESEARCH)
        (and
            (instance ?RESEARCH ResearchingWeaponOfMassDestruction)
            (eventLocated ?RESEARCH ?FACILITY))))

WMD.kif 641-646