ConnectiveTissue - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ConnectiveTissue

ConnectiveTissue

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	子類 ConnectiveTissue and Tissue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15125-15125	不相交分解 Tissue, ConnectiveTissue, MuscleTissue, NervousTissue and EpithelialTissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15189-15189	子類 BoneTissue and ConnectiveTissue
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 255-255	子類 Cartilage and ConnectiveTissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15235-15235	子類 FatTissue and ConnectiveTissue
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

子類 Class and Tissue 子類 Class and Tissue 例 Object and Class 例 Object and Class 例 Object and Human 部分 Object and Object 部分 Object and Object 等於 Class and Class 子類 Class and Class 子類 Class and Class 方位 Object, Object and 鄰
模態屬性 entity 例 entity and ConnectiveTissue 之間 Object, entity and Object and 容易

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