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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WorldHealthOrganization

Sigma KEE - WorldHealthOrganization
WorldHealthOrganization(world health organization)
WHO, World_Health_Organization

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4314-4314 The day 22 is a date established of world health organization
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5695-5695
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5830-5830
No TPTP formula. May not be expressible in strict first order. Government.kif 4311-4311 World health organization is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 4315-4315 Public health concern is an organizational objective of world health organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3087-3087 World health organization is a part of the organization economic and social council

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4313-4313 "WHO" is an abbreviation of world health organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4312-4312 World health organization is a conventional long name of "World Health Organization"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63515-63515
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63514-63514
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63513-63513


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