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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OfficesOfPhysiciansMentalHealthSpecialists

Sigma KEE - OfficesOfPhysiciansMentalHealthSpecialists
OfficesOfPhysiciansMentalHealthSpecialists(醫生心理健康專家辦公室)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10905-10908
No TPTP formula. May not be expressible in strict first order. naics.kif 10903-10903 子屬性 醫生心理健康專家辦公室 and 醫生辦公室

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41820-41820
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41819-41819
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41818-41818


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