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 4150-4150 dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and o dia 8
No TPTP formula. May not be expressible in strict first order. Government.kif 4147-4147 UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 4151-4151 organizationalObjective UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and RefugeeAssistance
No TPTP formula. May not be expressible in strict first order. Government.kif 3955-3955 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 4149-4149 abbreviation "UNRWA" and UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast
No TPTP formula. May not be expressible in strict first order. Government.kif 4148-4148 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 60278-60278
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60277-60277
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60276-60276


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