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 3781-3781 The day 29 is a date established of permanent court of arbitration
(instance PermanentCourtOfArbitration OrganizationOfNations) Government.kif 3778-3778 Permanent court of arbitration is an instance of organization of nations
(organizationalObjective PermanentCourtOfArbitration InternationalJustice) Government.kif 3782-3782 International justice is an organizational objective of permanent court of arbitration

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


(abbreviation "PCA" PermanentCourtOfArbitration) Government.kif 3780-3780 "PCA" is an abbreviation of permanent court of arbitration
(conventionalLongName "Permanent Court of Arbitration" PermanentCourtOfArbitration) Government.kif 3779-3779 Permanent court of arbitration is a conventional long name of "Permanent Court of Arbitration"
(termFormat ChineseLanguage PermanentCourtOfArbitration "常设仲裁法院") domainEnglishFormat.kif 45236-45236
(termFormat ChineseTraditionalLanguage PermanentCourtOfArbitration "常設仲裁法院") domainEnglishFormat.kif 45235-45235
(termFormat EnglishLanguage PermanentCourtOfArbitration "permanent court of arbitration") domainEnglishFormat.kif 45234-45234


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