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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - connectedBodyPart
connectedBodyPart

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


(documentation connectedBodyPart EnglishLanguage "A Relation between Classes of parts of a Healthy Animal that are connected.") Mid-level-ontology.kif 11958-11959
(domainSubclass connectedBodyPart 1 BodyPart) Mid-level-ontology.kif 11962-11962
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 11963-11963
(instance connectedBodyPart BinaryPredicate) Mid-level-ontology.kif 11957-11957
(instance connectedBodyPart TransitiveRelation) Mid-level-ontology.kif 11956-11956

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


(format EnglishLanguage connectedBodyPart "a %1 is connected to a %2") Mid-level-ontology.kif 11960-11960
(termFormat EnglishLanguage connectedBodyPart "connected") Mid-level-ontology.kif 11961-11961

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


(=>
    (and
        (connectedBodyPart ?A ?B)
        (attribute ?H Healthy))
    (exists (?AI ?BI)
        (and
            (instance ?AI ?A)
            (instance ?BI ?B)
            (part ?AI ?H)
            (part ?BI ?H)
            (connected ?AI ?BI))))
Mid-level-ontology.kif 11967-11977

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
(=>
    (and
        (instance ?R FalseRibBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (not
        (exists (?S)
            (and
                (instance ?S Sternum)
                (part ?S ?H)
                (connectedBodyPart ?S ?R)))))
Anatomy.kif 505-517
(=>
    (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)
            (connectedBodyPart ?S ?R))))
Anatomy.kif 601-614
(=>
    (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
(=>
    (and
        (instance ?R TrueRibBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S Sternum)
            (part ?S ?H)
            (connectedBodyPart ?S ?R))))
Anatomy.kif 492-503
(=>
    (muscleInsertion ?MC ?BPC)
    (connectedBodyPart ?MC ?BPC))
Anatomy.kif 1741-1743
(=>
    (muscleOrigin ?MC ?BPC)
    (connectedBodyPart ?MC ?BPC))
Anatomy.kif 1691-1693

appearance as argument number 0
-------------------------


(connectedBodyPart Esophagus Stomach) Mid-level-ontology.kif 12064-12064
(connectedBodyPart Intestine Rectum) Mid-level-ontology.kif 12066-12066
(connectedBodyPart Mouth Esophagus) Mid-level-ontology.kif 12063-12063
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 12090-12090
(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 12091-12091
(connectedBodyPart Rectum Anus) Mid-level-ontology.kif 12067-12067
(connectedBodyPart Stomach Intestine) Mid-level-ontology.kif 12065-12065
(connectedBodyPart Trachea Lung) Mid-level-ontology.kif 12092-12092


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