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

Formal Language: 



KB Term:  Term intersection
English Word: 

  connectedBodyPart

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 Le nombre 1 argument de connectedBodyPart est une sous-classe de partie du corps
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 11963-11963 Le nombre 2 argument de connectedBodyPart est une sous-classe de partie du corps
(instance connectedBodyPart BinaryPredicate) Mid-level-ontology.kif 11957-11957 connectedBodyPart est une instance de pr�dicat binaire
(instance connectedBodyPart TransitiveRelation) Mid-level-ontology.kif 11956-11956 connectedBodyPart est une instance de relation transitive

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 Esophagus and Stomach
(connectedBodyPart Intestine Rectum) Mid-level-ontology.kif 12066-12066 connectedBodyPart Intestine and Rectum
(connectedBodyPart Mouth Esophagus) Mid-level-ontology.kif 12063-12063 connectedBodyPart Mouth and Esophagus
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 12090-12090 connectedBodyPart Mouth and Trachea
(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 12091-12091 connectedBodyPart Nose and Trachea
(connectedBodyPart Rectum Anus) Mid-level-ontology.kif 12067-12067 connectedBodyPart Rectum and Anus
(connectedBodyPart Stomach Intestine) Mid-level-ontology.kif 12065-12065 connectedBodyPart Stomach and Intestine
(connectedBodyPart Trachea Lung) Mid-level-ontology.kif 12092-12092 connectedBodyPart Trachea and Lung


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