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	域子類 connectedBodyPart, 1 and BodyPart
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11962-11962	域子類 connectedBodyPart, 2 and BodyPart
(instance connectedBodyPart BinaryPredicate)	Mid-level-ontology.kif 11956-11956	例 connectedBodyPart and BinaryPredicate
(instance connectedBodyPart TransitiveRelation)	Mid-level-ontology.kif 11955-11955	例 connectedBodyPart and TransitiveRelation

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

connectedBodyPart BodyPart and BodyPart attribute Object and Healthy
BodyPartI BodyPartI 例 BodyPartI and BodyPart 例 BodyPartI and BodyPart 部分 BodyPartI and Object 部分 BodyPartI and Object 連接的 BodyPartI and BodyPartI

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	例 BodyPart and CervicalVertebraBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and CervicalVertebraBone 等於 BodyPart and BodyPart 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
(=> (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	例 BodyPart and FalseRibBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and Sternum 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
(=> (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	例 BodyPart and LumbarVertebraBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and LumbarVertebraBone 等於 BodyPart and BodyPart 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
(=> (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	例 BodyPart and ThoracicVertebraBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and ThoracicVertebraBone 等於 BodyPart and BodyPart 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
(=> (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	例 BodyPart and TrueRibBone 部分 BodyPart and Object 例 Object and Human attribute Object and DiseaseOrSyndrome BodyPart 例 BodyPart and Sternum 部分 BodyPart and Object connectedBodyPart BodyPart and BodyPart
(=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC))	Anatomy.kif 1741-1743	muscleInsertion BodyPart and BodyPart connectedBodyPart BodyPart and BodyPart
(=> (muscleOrigin ?MC ?BPC) (connectedBodyPart ?MC ?BPC))	Anatomy.kif 1691-1693	muscleOrigin BodyPart and BodyPart connectedBodyPart BodyPart and BodyPart

appearance as argument number 0

(connectedBodyPart Esophagus Stomach)	Mid-level-ontology.kif 12063-12063	connectedBodyPart Esophagus and 胃
(connectedBodyPart Intestine Rectum)	Mid-level-ontology.kif 12065-12065	connectedBodyPart 腸 and Rectum
(connectedBodyPart Mouth Esophagus)	Mid-level-ontology.kif 12062-12062	connectedBodyPart 口 and Esophagus
(connectedBodyPart Mouth Trachea)	Mid-level-ontology.kif 12089-12089	connectedBodyPart 口 and Trachea
(connectedBodyPart Nose Trachea)	Mid-level-ontology.kif 12090-12090	connectedBodyPart 鼻子 and Trachea
(connectedBodyPart Rectum Anus)	Mid-level-ontology.kif 12066-12066	connectedBodyPart Rectum and Anus
(connectedBodyPart Stomach Intestine)	Mid-level-ontology.kif 12064-12064	connectedBodyPart 胃 and 腸
(connectedBodyPart Trachea Lung)	Mid-level-ontology.kif 12091-12091	connectedBodyPart Trachea and 肺

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

KB Term:			Term intersection

English Word: