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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedNationsHighCommissionerForRefugees

Sigma KEE - UnitedNationsHighCommissionerForRefugees
UnitedNationsHighCommissionerForRefugees

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4020-4020 dateEstablished UnitedNationsHighCommissionerForRefugees and le jour 3
No TPTP formula. May not be expressible in strict first order. Government.kif 4017-4017 UnitedNationsHighCommissionerForRefugees est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 4021-4021 organizationalObjective UnitedNationsHighCommissionerForRefugees and HumanitarianAssistance
No TPTP formula. May not be expressible in strict first order. Government.kif 4022-4022 organizationalObjective UnitedNationsHighCommissionerForRefugees and RefugeeAssistance
No TPTP formula. May not be expressible in strict first order. Government.kif 3952-3952 UnitedNationsHighCommissionerForRefugees est une partie de l'organization UnitedNationsGeneralAssembly

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4019-4019 abbreviation "UNHCR" and UnitedNationsHighCommissionerForRefugees
No TPTP formula. May not be expressible in strict first order. Government.kif 4018-4018 conventionalLongName "United Nations High Commissioner for Refugees" and UnitedNationsHighCommissionerForRefugees
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60134-60134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60133-60133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60132-60132


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