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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OfficesOfAllOtherHealthPractitioners

Sigma KEE - OfficesOfAllOtherHealthPractitioners
OfficesOfAllOtherHealthPractitioners(所有其他健康從業者的辦公室)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10955-10957
No TPTP formula. May not be expressible in strict first order. naics.kif 10953-10953 子屬性 所有其他健康從業者的辦公室 and 其他醫療從業人員的辦公室

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10965-10965 子屬性 所有其他雜項保健醫生的辦公室 and 所有其他健康從業者的辦公室
No TPTP formula. May not be expressible in strict first order. naics.kif 10959-10959 子屬性 足病醫生辦公室 and 所有其他健康從業者的辦公室
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41730-41730
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41729-41729
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41728-41728


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