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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BusinessSupportServices

Sigma KEE - BusinessSupportServices
BusinessSupportServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10353-10355
No TPTP formula. May not be expressible in strict first order. naics.kif 10351-10351 BusinessSupportServices e' um sub-atributo de AdministrativeAndSupportServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10384-10384 BusinessServiceCenters e' um sub-atributo de BusinessSupportServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10405-10405 CollectionAgencies e' um sub-atributo de BusinessSupportServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10411-10411 CreditBureaus e' um sub-atributo de BusinessSupportServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10357-10357 DocumentPreparationServices e' um sub-atributo de BusinessSupportServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10417-10417 OtherBusinessSupportServices e' um sub-atributo de BusinessSupportServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10364-10364 TelephoneCallCenters e' um sub-atributo de BusinessSupportServices
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12481-12481
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12480-12480
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12479-12479


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