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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Crib

Sigma KEE - CervicalVertebraBone
CervicalVertebraBone

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


(documentation CervicalVertebraBone EnglishLanguage "cervical vertebra bone") Anatomy.kif 526-526
(subclass CervicalVertebraBone VertebraBone) Anatomy.kif 524-524 CervicalVertebraBone ist eine teilkategorie von VertebraBone

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


(subclass C1VertebraBone CervicalVertebraBone) Anatomy.kif 528-528 C1VertebraBone ist eine teilkategorie von CervicalVertebraBone
(subclass C2VertebraBone CervicalVertebraBone) Anatomy.kif 534-534 C2VertebraBone ist eine teilkategorie von CervicalVertebraBone
(subclass C3VertebraBone CervicalVertebraBone) Anatomy.kif 540-540 C3VertebraBone ist eine teilkategorie von CervicalVertebraBone
(subclass C4VertebraBone CervicalVertebraBone) Anatomy.kif 544-544 C4VertebraBone ist eine teilkategorie von CervicalVertebraBone
(subclass C5VertebraBone CervicalVertebraBone) Anatomy.kif 548-548 C5VertebraBone ist eine teilkategorie von CervicalVertebraBone
(subclass C6VertebraBone CervicalVertebraBone) Anatomy.kif 552-552 C6VertebraBone ist eine teilkategorie von CervicalVertebraBone
(subclass C7VertebraBone CervicalVertebraBone) Anatomy.kif 556-556 C7VertebraBone ist eine teilkategorie von CervicalVertebraBone
(termFormat EnglishLanguage CervicalVertebraBone "cervical vertebra bone") Anatomy.kif 525-525

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


(=>
    (and
        (instance ?R CervicalVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S CervicalVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connectedBodyPart ?S ?R))))
Anatomy.kif 561-574

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


(=>
    (and
        (instance ?R CervicalVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S CervicalVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connectedBodyPart ?S ?R))))
Anatomy.kif 561-574


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