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 4136-4136 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 4132-4132 United nations population fund is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 4138-4138 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 4137-4137 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 3954-3954 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 4134-4134 "UNFPA" is an abbreviation of united nations population fund
No TPTP formula. May not be expressible in strict first order. Government.kif 4133-4133 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 4135-4135 "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 60266-60266
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60265-60265
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60264-60264


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