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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast

Sigma KEE - UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast
UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4114-4114 dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and o dia 8
No TPTP formula. May not be expressible in strict first order. Government.kif 4111-4111 UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 4115-4115 organizationalObjective UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and RefugeeAssistance
No TPTP formula. May not be expressible in strict first order. Government.kif 3919-3919 UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast e' uma parte da organizacao UnitedNationsGeneralAssembly

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4113-4113 abbreviation "UNRWA" and UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast
No TPTP formula. May not be expressible in strict first order. Government.kif 4112-4112 conventionalLongName "United Nations Relief and Works Agency for Palestine Refugees in the Near East" and UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60280-60280
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60279-60279
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60278-60278


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