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 ResearchingWeaponOfMassDestruction è una sottoclasse di Investigare

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


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

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