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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PermanentCourtOfArbitration

Sigma KEE - PermanentCourtOfArbitration
PermanentCourtOfArbitration

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3817-3817 dateEstablished PermanentCourtOfArbitration and o dia 29
No TPTP formula. May not be expressible in strict first order. Government.kif 3814-3814 PermanentCourtOfArbitration e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 3818-3818 organizationalObjective PermanentCourtOfArbitration and InternationalJustice

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3816-3816 abbreviation "PCA" and PermanentCourtOfArbitration
No TPTP formula. May not be expressible in strict first order. Government.kif 3815-3815 conventionalLongName "Permanent Court of Arbitration" and PermanentCourtOfArbitration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45234-45234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45233-45233
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45232-45232


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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