TreeView Knowledge Base Browser - ConnectiveTissue

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ConnectiveTissue

Sigma KEE - ConnectiveTissue

ConnectiveTissue(connective tissue)

collagen, connective_tissue, elastic_tissue, elastin, endoneurium

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15172-15184
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15185-15185
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15171-15171	Connective tissue is a subclass of tissue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15147-15147	Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15211-15211	Bone tissue is a subclass of connective tissue
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 255-255	Cartilage is a subclass of connective tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15257-15257	Fat tissue is a subclass of connective tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15186-15186

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 15188-15209

If a class is a subclass of tissue and another class is a subclass of tissue and an object is an instance of the class and another object is an instance of the other class and a third object is an instance of human and the object is a part of the third object and the other object is a part of the third object and the class is not equal to the other class and the class is not a subclass of the other class and the other class is not a subclass of the class and the object is adjacent to the other object,
then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object has the modal force of likely

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