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 11439-11440
(domainSubclass connectedBodyPart 1 BodyPart)	Mid-level-ontology.kif 11442-11442
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11443-11443
(instance connectedBodyPart BinaryPredicate)	Mid-level-ontology.kif 11438-11438
(instance connectedBodyPart TransitiveRelation)	Mid-level-ontology.kif 11437-11437

appearance as argument number 2

(termFormat EnglishLanguage connectedBodyPart "a %1 is connected to a %2")

Mid-level-ontology.kif 11441-11441

antecedent

(=>
    (and
        (connectedBodyPart ?A ?B)
        (attribute ?H Healthy))
    (exists (?AI ?BI)
        (and
            (instance ?AI ?A)
            (instance ?BI ?B)
            (part ?AI ?G)
            (part ?BI ?H)
            (connected ?AI ?BI))))

Mid-level-ontology.kif 11445-11455

appearance as argument number 0

(connectedBodyPart Esophagus Stomach)	Mid-level-ontology.kif 11542-11542
(connectedBodyPart Intestine Rectum)	Mid-level-ontology.kif 11544-11544
(connectedBodyPart Mouth Esophagus)	Mid-level-ontology.kif 11541-11541
(connectedBodyPart Mouth Trachea)	Mid-level-ontology.kif 11568-11568
(connectedBodyPart Nose Trachea)	Mid-level-ontology.kif 11569-11569
(connectedBodyPart Rectum Anus)	Mid-level-ontology.kif 11545-11545
(connectedBodyPart Stomach Intestine)	Mid-level-ontology.kif 11543-11543
(connectedBodyPart Trachea Lung)	Mid-level-ontology.kif 11570-11570

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

KB Term:			Term intersection

English Word: