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)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 715-716
(subclass ResearchingWeaponOfMassDestruction Investigating) WMD.kif 714-714 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 8691-8691 "researching weapon of mass destruction" is the printable form of researching weapon of mass destruction in english language


        (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 718-723


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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners