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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArmsControl
ArmsControl

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


(instance ArmsControl TransnationalIssue) Government.kif 2600-2600
(subAttribute ArmsControl InternationalPeaceAndSecurity) Government.kif 2601-2601

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


(organizationalObjective UnitedNationsInstituteForDisarmamentResearch ArmsControl) Government.kif 3950-3950
(organizationalObjective WassenaarArrangement ArmsControl) Government.kif 4255-4255
(subAttribute ControlWeaponsOfMassDestruction ArmsControl) Government.kif 2603-2603
(subAttribute ConventionalArmsControl ArmsControl) Government.kif 2602-2602
(subAttribute WeaponsInspection ArmsControl) Government.kif 2598-2598
(termFormat ChineseLanguage ArmsControl "军备控制") domainEnglishFormat.kif 8445-8445
(termFormat ChineseTraditionalLanguage ArmsControl "軍備控制") domainEnglishFormat.kif 8444-8444
(termFormat EnglishLanguage ArmsControl "arms control") domainEnglishFormat.kif 8443-8443


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