Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ResearchingWeaponOfMassDestruction
ResearchingWeaponOfMassDestruction

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

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (instance ?FACILITY NuclearWeaponResearchFacility)
        (instance ?RESEARCH ResearchingWeaponOfMassDestruction)
        (eventLocated ?RESEARCH ?FACILITY))
    (refers ?RESEARCH NuclearWeapon))
WMD.kif 666-671
(=>
    (instance ?RESEARCH ResearchingWeaponOfMassDestruction)
    (exists (?WEAPON)
        (and
            (instance ?WEAPON WeaponOfMassDestruction)
            (refers ?RESEARCH ?WEAPON))))
WMD.kif 724-729

consequent
-------------------------


(=>
    (instance ?FACILITY WMDWeaponsResearchFacility)
    (exists (?RESEARCH)
        (and
            (instance ?RESEARCH ResearchingWeaponOfMassDestruction)
            (eventLocated ?RESEARCH ?FACILITY))))
WMD.kif 641-646


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