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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GroupOf6
GroupOf6(6人组)

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


(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))
Government.kif 3291-3291 22 Day6人组 的成立 date
(instance GroupOf6 OrganizationOfNations) Government.kif 3287-3287 6人组国际组织instance
(organizationalObjective GroupOf6 NuclearDisarmament) Government.kif 3292-3292 核裁军6人组organizational 目标

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


(abbreviation "G-6" GroupOf6) Government.kif 3289-3289 6人组 是 "G-6" 的简称
(conventionalLongName "Group of 6" GroupOf6) Government.kif 3288-3288 6人组 是 "Group of 6" 的 conventional 全名
(localLongName "Groupe des Six Sur le Desarmement" GroupOf6) Government.kif 3290-3290 6人组 是 "Groupe des Six Sur le Desarmement" 的 local 全名
(termFormat ChineseLanguage GroupOf6 "6人组") domainEnglishFormat.kif 26778-26778
(termFormat ChineseTraditionalLanguage GroupOf6 "6人小組") domainEnglishFormat.kif 26777-26777
(termFormat EnglishLanguage GroupOf6 "group of6") domainEnglishFormat.kif 26776-26776

statement
-------------------------


(not
    (equal BigSix GroupOf6))
Government.kif 2915-2915 大六equal 6人组


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