TreeView Knowledge Base Browser - Cellulose

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Cellulose

Cellulose

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9248-9248
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9247-9247	Cellulose e' uma sub-classe de Carbohidrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9246-9246	Cellulose e' uma sub-classe de PlantSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13692-13692
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13691-13691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13690-13690

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3555-3565	Entidade e' uma instancia de Paper Processo Objeto and Processo Processo e' uma instancia de Fazer Objeto e' uma instancia de Cellulose Processo e' uma instancia de Compressing Objeto e' um recurso para Processo Entidade e' o resultado de Processo Processo e' um sub-processo de Processo Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9195-9200	Objeto e' uma instancia de Wood Objeto Objeto e' uma instancia de Cellulose Objeto e' uma &parte de Objeto

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