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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedNationsCenterForHumanSettlements

Sigma KEE - UnitedNationsCenterForHumanSettlements
UnitedNationsCenterForHumanSettlements(united nations center for human settlements)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3967-3967 United nations center for human settlements is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3972-3972 Improve human settlement conditions is an organizational objective of united nations center for human settlements
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. Government.kif 3973-3973 Reduce poverty is an organizational objective of united nations center for human settlements
No TPTP formula. May not be expressible in strict first order. Government.kif 3966-3966 United nations center for human settlements 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 3969-3969 "UN-HABITAT" is an abbreviation of united nations center for human settlements
No TPTP formula. May not be expressible in strict first order. Government.kif 3968-3968 United nations center for human settlements is a conventional long name of "United Nations Center for Human Settlements"
No TPTP formula. May not be expressible in strict first order. Government.kif 3971-3971 "Habitat" is a former name for united nations center for human settlements
No TPTP formula. May not be expressible in strict first order. Government.kif 3970-3970 "UNCHS" is a former name for united nations center for human settlements
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60068-60068
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60067-60067
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60066-60066


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