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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LumbarVertebraBone

Sigma KEE - LumbarVertebraBone
LumbarVertebraBone

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


(documentation LumbarVertebraBone EnglishLanguage "lumbar vertebra bone") Anatomy.kif 578-578
(subclass LumbarVertebraBone VertebraBone) Anatomy.kif 576-576 LumbarVertebraBone est une sous-classe de VertebraBone

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


(subclass L1VertebraBone LumbarVertebraBone) Anatomy.kif 580-580 L1VertebraBone est une sous-classe de LumbarVertebraBone
(subclass L2VertebraBone LumbarVertebraBone) Anatomy.kif 584-584 L2VertebraBone est une sous-classe de LumbarVertebraBone
(subclass L3VertebraBone LumbarVertebraBone) Anatomy.kif 588-588 L3VertebraBone est une sous-classe de LumbarVertebraBone
(subclass L4VertebraBone LumbarVertebraBone) Anatomy.kif 592-592 L4VertebraBone est une sous-classe de LumbarVertebraBone
(subclass L5VertebraBone LumbarVertebraBone) Anatomy.kif 596-596 L5VertebraBone est une sous-classe de LumbarVertebraBone
(termFormat EnglishLanguage LumbarVertebraBone "lumbar vertebra bone") Anatomy.kif 577-577

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


(=>
    (and
        (instance ?R LumbarVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S LumbarVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connected ?S ?R))))
Anatomy.kif 601-614

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


(=>
    (and
        (instance ?R LumbarVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S LumbarVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connected ?S ?R))))
Anatomy.kif 601-614


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