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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PermanentCourtOfArbitration
PermanentCourtOfArbitration(permanent court of arbitration)

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


(dateEstablished PermanentCourtOfArbitration
    (DayFn 29
        (MonthFn July
            (YearFn 1899))))
Government.kif 3817-3817 The day 29 is a date established of permanent court of arbitration
(instance PermanentCourtOfArbitration OrganizationOfNations) Government.kif 3814-3814 Permanent court of arbitration is an instance of organization of nations
(organizationalObjective PermanentCourtOfArbitration InternationalJustice) Government.kif 3818-3818 International justice is an organizational objective of permanent court of arbitration

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


(abbreviation "PCA" PermanentCourtOfArbitration) Government.kif 3816-3816 "PCA" is an abbreviation of permanent court of arbitration
(conventionalLongName "Permanent Court of Arbitration" PermanentCourtOfArbitration) Government.kif 3815-3815 Permanent court of arbitration is a conventional long name of "Permanent Court of Arbitration"
(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