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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherBusinessServiceCentersIncludingCopyShops

Sigma KEE - OtherBusinessServiceCentersIncludingCopyShops
OtherBusinessServiceCentersIncludingCopyShops(其他商业服务中心,包括复印店)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10399-10403
No TPTP formula. May not be expressible in strict first order. naics.kif 10397-10397 其他商业服务中心,包括复印店商业服务中心subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42786-42786
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42785-42785
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42784-42784


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