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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalOrganizationForStandardization
InternationalOrganizationForStandardization

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


(dateEstablished InternationalOrganizationForStandardization
    (MonthFn February
        (YearFn 1947)))
Government.kif 3593-3593
(instance InternationalOrganizationForStandardization OrganizationOfNations) Government.kif 3590-3590
(organizationalObjective InternationalOrganizationForStandardization IndustryStandards) Government.kif 3595-3595
(organizationalObjective InternationalOrganizationForStandardization InformationStandards) Government.kif 3594-3594

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


(abbreviation "ISO" InternationalOrganizationForStandardization) Government.kif 3592-3592
(conventionalLongName "International Organization for Standardization" InternationalOrganizationForStandardization) Government.kif 3591-3591
(termFormat ChineseLanguage InternationalOrganizationForStandardization "国际标准化组织") domainEnglishFormat.kif 30667-30667
(termFormat ChineseTraditionalLanguage InternationalOrganizationForStandardization "國際標準化組織") domainEnglishFormat.kif 30666-30666
(termFormat EnglishLanguage InternationalOrganizationForStandardization "international organization for standardization") domainEnglishFormat.kif 30665-30665


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