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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConventionalArmsControl
ConventionalArmsControl

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


(subAttribute ConventionalArmsControl ArmsControl) Government.kif 2638-2638

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


(organizationalObjective EuroAtlanticPartnershipCouncil ConventionalArmsControl) Government.kif 3160-3160
(organizationalObjective OrganizationForSecurityAndCooperationInEurope ConventionalArmsControl) Government.kif 3723-3723
(termFormat ChineseLanguage ConventionalArmsControl "常规军备控制") domainEnglishFormat.kif 17082-17082
(termFormat ChineseTraditionalLanguage ConventionalArmsControl "常規軍備控制") domainEnglishFormat.kif 17081-17081
(termFormat EnglishLanguage ConventionalArmsControl "conventional arms control") domainEnglishFormat.kif 17080-17080


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