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


KB Term:  Term intersection
English Word: 

Sigma KEE - PermanentCourtOfArbitration
PermanentCourtOfArbitration(permanent court of arbitration)

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


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

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


(conventionalLongName "Permanent Court of Arbitration" PermanentCourtOfArbitration) Government.kif 3807-3807 Permanent court of arbitration is a conventional long name of "Permanent Court of Arbitration"
(abbreviation "PCA" PermanentCourtOfArbitration) Government.kif 3808-3808 "PCA" is an abbreviation of permanent court of arbitration
(termFormat EnglishLanguage PermanentCourtOfArbitration "permanent court of arbitration") domainEnglishFormat.kif 45227-45227 "PCA" is an abbreviation of permanent court of arbitration
(termFormat ChineseTraditionalLanguage PermanentCourtOfArbitration "常設仲裁法院") domainEnglishFormat.kif 45228-45228 "PCA" is an abbreviation of permanent court of arbitration
(termFormat ChineseLanguage PermanentCourtOfArbitration "常设仲裁法院") domainEnglishFormat.kif 45229-45229 "PCA" is an abbreviation of permanent court of arbitration


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners