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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherServicesExceptPublicAdministration

Sigma KEE - OtherServicesExceptPublicAdministration
OtherServicesExceptPublicAdministration(除公共行政外的其他服務)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11712-11714
No TPTP formula. May not be expressible in strict first order. naics.kif 11710-11710 除公共行政外的其他服務 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11910-11910 子屬性 個人和洗衣服務 and 除公共行政外的其他服務
No TPTP formula. May not be expressible in strict first order. naics.kif 12200-12200 子屬性 私人家庭 and 除公共行政外的其他服務
No TPTP formula. May not be expressible in strict first order. naics.kif 12080-12080 子屬性 宗教資助公民專業和類似組織 and 除公共行政外的其他服務
No TPTP formula. May not be expressible in strict first order. naics.kif 11716-11716 子屬性 維修和保養 and 除公共行政外的其他服務
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43446-43446
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43445-43445
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43444-43444


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