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 connectedBodyPart 的 1 数量 是 身体部位subclass
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 11963-11963 connectedBodyPart 的 2 数量 是 身体部位subclass
(instance connectedBodyPart BinaryPredicate) Mid-level-ontology.kif 11957-11957 connectedBodyPart二元谓语instance
(instance connectedBodyPart TransitiveRelation) Mid-level-ontology.kif 11956-11956 connectedBodyPart传递关系instance

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


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