ThoracicVertebraBone - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ThoracicVertebraBone EnglishLanguage "thoracic vertebra bone")	Anatomy.kif 618-618
(subclass ThoracicVertebraBone VertebraBone)	Anatomy.kif 616-616	子類 ThoracicVertebraBone and VertebraBone

appearance as argument number 2

(subclass T10VertebraBone ThoracicVertebraBone)	Anatomy.kif 656-656	子類 T10VertebraBone and ThoracicVertebraBone
(subclass T11VertebraBone ThoracicVertebraBone)	Anatomy.kif 660-660	子類 T11VertebraBone and ThoracicVertebraBone
(subclass T12VertebraBone ThoracicVertebraBone)	Anatomy.kif 664-664	子類 T12VertebraBone and ThoracicVertebraBone
(subclass T1VertebraBone ThoracicVertebraBone)	Anatomy.kif 620-620	子類 T1VertebraBone and ThoracicVertebraBone
(subclass T2VertebraBone ThoracicVertebraBone)	Anatomy.kif 624-624	子類 T2VertebraBone and ThoracicVertebraBone
(subclass T3VertebraBone ThoracicVertebraBone)	Anatomy.kif 628-628	子類 T3VertebraBone and ThoracicVertebraBone
(subclass T4VertebraBone ThoracicVertebraBone)	Anatomy.kif 632-632	子類 T4VertebraBone and ThoracicVertebraBone
(subclass T5VertebraBone ThoracicVertebraBone)	Anatomy.kif 636-636	子類 T5VertebraBone and ThoracicVertebraBone
(subclass T6VertebraBone ThoracicVertebraBone)	Anatomy.kif 640-640	子類 T6VertebraBone and ThoracicVertebraBone
(subclass T7VertebraBone ThoracicVertebraBone)	Anatomy.kif 644-644	子類 T7VertebraBone and ThoracicVertebraBone
(subclass T8VertebraBone ThoracicVertebraBone)	Anatomy.kif 648-648	子類 T8VertebraBone and ThoracicVertebraBone
(subclass T9VertebraBone ThoracicVertebraBone)	Anatomy.kif 652-652	子類 T9VertebraBone and ThoracicVertebraBone
(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

Anatomy.kif 669-682