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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - NuclearDisarmament
NuclearDisarmament(nuclear disarmament)

appearance as argument number 1

(subAttribute NuclearDisarmament NuclearNonproliferation) Government.kif 2643-2643 Nuclear disarmament is a subattribute of nuclear nonproliferation

appearance as argument number 2

(organizationalObjective GroupOf6 NuclearDisarmament) Government.kif 3292-3292 Nuclear disarmament is an organizational objective of group of6
(termFormat ChineseLanguage NuclearDisarmament "核裁军") domainEnglishFormat.kif 41331-41331
(termFormat ChineseTraditionalLanguage NuclearDisarmament "核裁軍") domainEnglishFormat.kif 41330-41330
(termFormat EnglishLanguage NuclearDisarmament "nuclear disarmament") domainEnglishFormat.kif 41329-41329

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