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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15150-15162
No TPTP formula. May not be expressible in strict first order. Merge.kif 15163-15163
No TPTP formula. May not be expressible in strict first order. Merge.kif 15149-15149 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 15125-15125 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 15189-15189 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 15235-15235 Fat tissue is a subclass of connective tissue
No TPTP formula. May not be expressible in strict first order. Merge.kif 15164-15164

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15166-15187


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