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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PermanentCourtOfArbitration
PermanentCourtOfArbitration

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


(dateEstablished PermanentCourtOfArbitration
    (DayFn 29
        (MonthFn July
            (YearFn 1899))))
Government.kif 3817-3817 dateEstablished PermanentCourtOfArbitration and 29 day
(instance PermanentCourtOfArbitration OrganizationOfNations) Government.kif 3814-3814 PermanentCourtOfArbitrationOrganizationOfNationsinstance では %n
(organizationalObjective PermanentCourtOfArbitration InternationalJustice) Government.kif 3818-3818 organizationalObjective PermanentCourtOfArbitration and InternationalJustice

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


(abbreviation "PCA" PermanentCourtOfArbitration) Government.kif 3816-3816 abbreviation "PCA" and PermanentCourtOfArbitration
(conventionalLongName "Permanent Court of Arbitration" PermanentCourtOfArbitration) Government.kif 3815-3815 conventionalLongName "Permanent Court of Arbitration" and PermanentCourtOfArbitration
(termFormat ChineseLanguage PermanentCourtOfArbitration "常设仲裁法院") domainEnglishFormat.kif 45234-45234
(termFormat ChineseTraditionalLanguage PermanentCourtOfArbitration "常設仲裁法院") domainEnglishFormat.kif 45233-45233
(termFormat EnglishLanguage PermanentCourtOfArbitration "permanent court of arbitration") domainEnglishFormat.kif 45232-45232


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