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 The number 1 argument of connected is a subclass of body part
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 11963-11963 The number 2 argument of connected is a subclass of body part
(instance connectedBodyPart BinaryPredicate) Mid-level-ontology.kif 11957-11957 connected is an instance of binary predicate
(instance connectedBodyPart TransitiveRelation) Mid-level-ontology.kif 11956-11956 connected is an instance of transitive relation

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 A esophagus is connected to a stomach
(connectedBodyPart Intestine Rectum) Mid-level-ontology.kif 12066-12066 A intestine is connected to a rectum
(connectedBodyPart Mouth Esophagus) Mid-level-ontology.kif 12063-12063 A mouth is connected to a esophagus
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 12090-12090 A mouth is connected to a trachea
(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 12091-12091 A nose is connected to a trachea
(connectedBodyPart Rectum Anus) Mid-level-ontology.kif 12067-12067 A rectum is connected to a anus
(connectedBodyPart Stomach Intestine) Mid-level-ontology.kif 12065-12065 A stomach is connected to a intestine
(connectedBodyPart Trachea Lung) Mid-level-ontology.kif 12092-12092 A trachea is connected to a 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