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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ThoracicVertebraBone
ThoracicVertebraBone

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


(documentation ThoracicVertebraBone EnglishLanguage "thoracic vertebra bone") Anatomy.kif 618-618
(subclass ThoracicVertebraBone VertebraBone) Anatomy.kif 616-616 ThoracicVertebraBone 是 VertebraBone 的 subclass

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


(subclass T10VertebraBone ThoracicVertebraBone) Anatomy.kif 656-656 T10VertebraBone 是 ThoracicVertebraBone 的 subclass
(subclass T11VertebraBone ThoracicVertebraBone) Anatomy.kif 660-660 T11VertebraBone 是 ThoracicVertebraBone 的 subclass
(subclass T12VertebraBone ThoracicVertebraBone) Anatomy.kif 664-664 T12VertebraBone 是 ThoracicVertebraBone 的 subclass
(subclass T1VertebraBone ThoracicVertebraBone) Anatomy.kif 620-620 T1VertebraBone 是 ThoracicVertebraBone 的 subclass
(subclass T2VertebraBone ThoracicVertebraBone) Anatomy.kif 624-624 T2VertebraBone 是 ThoracicVertebraBone 的 subclass
(subclass T3VertebraBone ThoracicVertebraBone) Anatomy.kif 628-628 T3VertebraBone 是 ThoracicVertebraBone 的 subclass
(subclass T4VertebraBone ThoracicVertebraBone) Anatomy.kif 632-632 T4VertebraBone 是 ThoracicVertebraBone 的 subclass
(subclass T5VertebraBone ThoracicVertebraBone) Anatomy.kif 636-636 T5VertebraBone 是 ThoracicVertebraBone 的 subclass
(subclass T6VertebraBone ThoracicVertebraBone) Anatomy.kif 640-640 T6VertebraBone 是 ThoracicVertebraBone 的 subclass
(subclass T7VertebraBone ThoracicVertebraBone) Anatomy.kif 644-644 T7VertebraBone 是 ThoracicVertebraBone 的 subclass
(subclass T8VertebraBone ThoracicVertebraBone) Anatomy.kif 648-648 T8VertebraBone 是 ThoracicVertebraBone 的 subclass
(subclass T9VertebraBone ThoracicVertebraBone) Anatomy.kif 652-652 T9VertebraBone 是 ThoracicVertebraBone 的 subclass
(termFormat EnglishLanguage ThoracicVertebraBone "thoracic vertebra bone") Anatomy.kif 617-617

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


(=>
    (and
        (instance ?R ThoracicVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S ThoracicVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connectedBodyPart ?S ?R))))		 Anatomy.kif 669-682

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


(=>
    (and
        (instance ?R ThoracicVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S ThoracicVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connectedBodyPart ?S ?R))))		 Anatomy.kif 669-682


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