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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ResearchingWeaponOfMassDestruction

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

appearance as argument number 2

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


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


    (instance ?FACILITY WMDWeaponsResearchFacility)
    (exists (?RESEARCH)
            (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