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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ResearchingWeaponOfMassDestruction
ResearchingWeaponOfMassDestruction(researching weapon of mass destruction)

appearance as argument number 1
-------------------------


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

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


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

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


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

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


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


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