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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OfficesOfOtherHealthPractitioners

Sigma KEE - OfficesOfOtherHealthPractitioners
OfficesOfOtherHealthPractitioners(offices of other health practitioners)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10918-10920
No TPTP formula. May not be expressible in strict first order. naics.kif 10916-10916 Offices of other health practitioners is a subattribute of ambulatory health care services

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10953-10953 Offices of all other health practitioners is a subattribute of offices of other health practitioners
No TPTP formula. May not be expressible in strict first order. naics.kif 10922-10922 Offices of chiropractors is a subattribute of offices of other health practitioners
No TPTP formula. May not be expressible in strict first order. naics.kif 10935-10935 Offices of mental health practitioners except physicians is a subattribute of offices of other health practitioners
No TPTP formula. May not be expressible in strict first order. naics.kif 10929-10929 Offices of optometrists is a subattribute of offices of other health practitioners
No TPTP formula. May not be expressible in strict first order. naics.kif 10943-10943 Offices of physical occupational and speech therapists and audiologists is a subattribute of offices of other health practitioners
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41790-41790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41789-41789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41788-41788


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