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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3947-3947 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 3952-3952 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 3954-3954 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 3953-3953 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 3946-3946 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 3949-3949 "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 3948-3948 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 3951-3951 "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 3950-3950 "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 60035-60035
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60034-60034
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60033-60033


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