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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArmsControl

Sigma KEE - ArmsControl
ArmsControl

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


(instance ArmsControl TransnationalIssue) Government.kif 2600-2600 ArmsControlTransnationalIssueinstance では %n
(subAttribute ArmsControl InternationalPeaceAndSecurity) Government.kif 2601-2601 ArmsControlInternationalPeaceAndSecuritysubattribute では %n

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


(organizationalObjective UnitedNationsInstituteForDisarmamentResearch ArmsControl) Government.kif 3950-3950 organizationalObjective UnitedNationsInstituteForDisarmamentResearch and ArmsControl
(organizationalObjective WassenaarArrangement ArmsControl) Government.kif 4255-4255 organizationalObjective WassenaarArrangement and ArmsControl
(subAttribute ControlWeaponsOfMassDestruction ArmsControl) Government.kif 2603-2603 ControlWeaponsOfMassDestructionArmsControlsubattribute では %n
(subAttribute ConventionalArmsControl ArmsControl) Government.kif 2602-2602 ConventionalArmsControlArmsControlsubattribute では %n
(subAttribute WeaponsInspection ArmsControl) Government.kif 2598-2598 WeaponsInspectionArmsControlsubattribute では %n
(termFormat ChineseLanguage ArmsControl "军备控制") domainEnglishFormat.kif 8442-8442
(termFormat ChineseTraditionalLanguage ArmsControl "軍備控制") domainEnglishFormat.kif 8441-8441
(termFormat EnglishLanguage ArmsControl "arms control") domainEnglishFormat.kif 8440-8440


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 3.0 is open source software produced by Articulate Software and its partners