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 11985-11986
(domainSubclass connectedBodyPart 1 BodyPart)	Mid-level-ontology.kif 11989-11989
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11990-11990
(instance connectedBodyPart BinaryPredicate)	Mid-level-ontology.kif 11984-11984
(instance connectedBodyPart TransitiveRelation)	Mid-level-ontology.kif 11983-11983

appearance as argument number 2

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

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 11994-12004

consequent

(=> (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 12091-12091
(connectedBodyPart Intestine Rectum)	Mid-level-ontology.kif 12093-12093
(connectedBodyPart Mouth Esophagus)	Mid-level-ontology.kif 12090-12090
(connectedBodyPart Mouth Trachea)	Mid-level-ontology.kif 12117-12117
(connectedBodyPart Nose Trachea)	Mid-level-ontology.kif 12118-12118
(connectedBodyPart Rectum Anus)	Mid-level-ontology.kif 12094-12094
(connectedBodyPart Stomach Intestine)	Mid-level-ontology.kif 12092-12092
(connectedBodyPart Trachea Lung)	Mid-level-ontology.kif 12119-12119

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

KB Term:			Term intersection

English Word: