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	Die Zahl 1 Argument von connectedBodyPart ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11962-11962	Die Zahl 2 Argument von connectedBodyPart ist eine teilkategorie von BodyPart %n{nicht}
(instance connectedBodyPart BinaryPredicate)	Mid-level-ontology.kif 11956-11956	connectedBodyPart ist ein fall von BinaryPredicate %n{nicht}
(instance connectedBodyPart TransitiveRelation)	Mid-level-ontology.kif 11955-11955	connectedBodyPart ist ein fall von TransitiveRelation %n{nicht}

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

Wenn connectedBodyPart ** BodyPart and ** ** BodyPart und Healthy ist ein attribut von Object %n{nicht},
dann es gibt ** BodyPartI und ** ** BodyPartI um ** ** BodyPartI ist ein fall von ** ** BodyPart %n{nicht} und ** ** ** BodyPartI ist ein fall von ** ** ** BodyPart %n{nicht} und ** ** BodyPartI ist ein teil von ** Object %n{nicht} und ** ** ** BodyPartI ist ein teil von ** Object %n{nicht} und ** ** BodyPartI wird an ** ** ** BodyPartI angeschlossen

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	Wenn BodyPart ist ein fall von CervicalVertebraBone %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt BodyPart um BodyPart ist ein fall von CervicalVertebraBone %n{nicht} und BodyPart ist gleich BodyPart nicht und BodyPart ist ein teil von Object %n{nicht} und 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	Wenn BodyPart ist ein fall von FalseRibBone %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt nicht BodyPart um BodyPart ist ein fall von Sternum %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und 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	Wenn BodyPart ist ein fall von LumbarVertebraBone %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt BodyPart um BodyPart ist ein fall von LumbarVertebraBone %n{nicht} und BodyPart ist gleich BodyPart nicht und BodyPart ist ein teil von Object %n{nicht} und 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	Wenn BodyPart ist ein fall von ThoracicVertebraBone %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt BodyPart um BodyPart ist ein fall von ThoracicVertebraBone %n{nicht} und BodyPart ist gleich BodyPart nicht und BodyPart ist ein teil von Object %n{nicht} und 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	Wenn BodyPart ist ein fall von TrueRibBone %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt BodyPart um BodyPart ist ein fall von Sternum %n{nicht} und BodyPart ist ein teil von Object %n{nicht} und connectedBodyPart BodyPart and ** BodyPart
(=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC))	Anatomy.kif 1741-1743	Wenn muscleInsertion BodyPart and BodyPart, dann connectedBodyPart BodyPart and BodyPart
(=> (muscleOrigin ?MC ?BPC) (connectedBodyPart ?MC ?BPC))	Anatomy.kif 1691-1693	Wenn muscleOrigin BodyPart and BodyPart, dann connectedBodyPart BodyPart and BodyPart

appearance as argument number 0

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

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

KB Term:			Term intersection

English Word: