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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndividualAndFamilyServices

Sigma KEE - IndividualAndFamilyServices
IndividualAndFamilyServices(個人和家庭服務)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11184-11186
No TPTP formula. May not be expressible in strict first order. naics.kif 11182-11182 子屬性 個人和家庭服務 and 社會救助

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11188-11188 子屬性 兒童和青少年服務 and 個人和家庭服務
No TPTP formula. May not be expressible in strict first order. naics.kif 11203-11203 子屬性 其他個人和家庭服務 and 個人和家庭服務
No TPTP formula. May not be expressible in strict first order. naics.kif 11195-11195 子屬性 為老年人和殘疾人提供的服務 and 個人和家庭服務
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29659-29659
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29658-29658
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29657-29657


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