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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PromoteSustainableDevelopment
PromoteSustainableDevelopment(promote sustainable development)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2689-2689 Promote sustainable development is a subattribute of economic development
No TPTP formula. May not be expressible in strict first order. Government.kif 2713-2713 Promote sustainable development is a subattribute of social development

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3974-3974 Promote sustainable development is an organizational objective of united nations center for human settlements
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47744-47744
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47743-47743
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47742-47742


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