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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConnectiveTissue

 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 e' uma sub-classe de Tecido

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15125-15125 Tecido e' disjuntamente decomponivel em ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissue
No TPTP formula. May not be expressible in strict first order. Merge.kif 15189-15189 BoneTissue e' uma sub-classe de ConnectiveTissue
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 255-255 Cartilage e' uma sub-classe de ConnectiveTissue
No TPTP formula. May not be expressible in strict first order. Merge.kif 15235-15235 Tecido Gorduroso e' uma sub-classe de 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


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