Logging - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Logging

Logging(logging)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 519-521
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6675-6675
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7203-7203
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7204-7204
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7205-7205
No TPTP formula. May not be expressible in strict first order.	naics.kif 517-517	Logging is a subattribute of forestry and logging

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34925-34925
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34924-34924
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34923-34923

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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