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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BoneTissue
BoneTissue

appearance as argument number 1
-------------------------


(documentation BoneTissue EnglishLanguage "Rigid Tissue composed largely of calcium that makes up the skeleton of Vertebrates. Note that this Class also includes teeth.") Merge.kif 15237-15238
(subclass BoneTissue AnimalSubstance) Merge.kif 15236-15236 BoneTissue è una sottoclasse di AnimalSubstance
(subclass BoneTissue ConnectiveTissue) Merge.kif 15235-15235 BoneTissue è una sottoclasse di ConnectiveTissue

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


(termFormat EnglishLanguage BoneTissue "bone tissue") domainEnglishFormat.kif 64556-64556

antecedent
-------------------------


(=>
    (instance ?BONE BoneTissue)
    (exists (?VERT)
        (and
            (instance ?VERT Vertebrate)
            (part ?BONE ?VERT))))
Merge.kif 15240-15245

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


(=>
    (instance ?B Bone)
    (material BoneTissue ?B))
Merge.kif 15249-15251


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