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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherAccountingServices

Sigma KEE - OtherAccountingServices
OtherAccountingServices(other accounting services)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9930-9933
No TPTP formula. May not be expressible in strict first order. naics.kif 9928-9928 Other accounting services is a subattribute of accounting tax preparation bookkeeping and payroll services

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42678-42678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42677-42677
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42676-42676


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