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
(instance PermanentCourtOfArbitration OrganizationOfNations) Government.kif 3814-3814
(organizationalObjective PermanentCourtOfArbitration InternationalJustice) Government.kif 3818-3818

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


(abbreviation "PCA" PermanentCourtOfArbitration) Government.kif 3816-3816
(conventionalLongName "Permanent Court of Arbitration" PermanentCourtOfArbitration) Government.kif 3815-3815
(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