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

appearance as argument number 2

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

Parte do Corpo e' uma instancia de ThoracicVertebraBone Parte do Corpo e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto
Parte do Corpo Parte do Corpo e' uma instancia de ThoracicVertebraBone Parte do Corpo e' igual a Parte do Corpo Parte do Corpo e' uma &parte de Objeto connectedBodyPart Parte do Corpo and Parte do Corpo

consequent

Anatomy.kif 669-682

Parte do Corpo e' uma instancia de ThoracicVertebraBone Parte do Corpo e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto
Parte do Corpo Parte do Corpo e' uma instancia de ThoracicVertebraBone Parte do Corpo e' igual a Parte do Corpo Parte do Corpo e' uma &parte de Objeto connectedBodyPart Parte do Corpo and Parte do Corpo

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

KB Term:			Term intersection

English Word: