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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedNationsPopulationFund
UnitedNationsPopulationFund(united nations population fund)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4100-4100 The month July is a date established of united nations population fund
No TPTP formula. May not be expressible in strict first order. Government.kif 4096-4096 United nations population fund is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 4102-4102 Population policy support is an organizational objective of united nations population fund
No TPTP formula. May not be expressible in strict first order. Government.kif 4101-4101 Reproductive health and family plannning is an organizational objective of united nations population fund
No TPTP formula. May not be expressible in strict first order. Government.kif 3918-3918 United nations population fund is a part of the organization united nations general assembly

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4098-4098 "UNFPA" is an abbreviation of united nations population fund
No TPTP formula. May not be expressible in strict first order. Government.kif 4097-4097 United nations population fund is a conventional long name of "United Nations Population Fund"
No TPTP formula. May not be expressible in strict first order. Government.kif 4099-4099 "UN Fund for Population Activities" is a former name for united nations population fund
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60268-60268
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60267-60267
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60266-60266


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 is open source software produced by Articulate Software and its partners