TreeView Knowledge Base Browser

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 11957-11958
(domainSubclass connectedBodyPart 1 BodyPart)	Mid-level-ontology.kif 11961-11961
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11962-11962
(instance connectedBodyPart BinaryPredicate)	Mid-level-ontology.kif 11956-11956
(instance connectedBodyPart TransitiveRelation)	Mid-level-ontology.kif 11955-11955

appearance as argument number 2

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

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 11966-11976

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: