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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReducePoverty

Sigma KEE - ReducePoverty
ReducePoverty

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2688-2688 ReducePoverty est un sous-attribut de EconomicDevelopment
No TPTP formula. May not be expressible in strict first order. Government.kif 2712-2712 ReducePoverty est un sous-attribut de SocialDevelopment

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3973-3973 organizationalObjective UnitedNationsCenterForHumanSettlements and ReducePoverty
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49076-49076
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49075-49075
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49074-49074


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