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 11443-11444
(domainSubclass connectedBodyPart 1 BodyPart)	Mid-level-ontology.kif 11446-11446
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11447-11447
(instance connectedBodyPart BinaryPredicate)	Mid-level-ontology.kif 11442-11442
(instance connectedBodyPart TransitiveRelation)	Mid-level-ontology.kif 11441-11441

appearance as argument number 2

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

Mid-level-ontology.kif 11445-11445

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 11449-11459

appearance as argument number 0

(connectedBodyPart Esophagus Stomach)	Mid-level-ontology.kif 11546-11546
(connectedBodyPart Intestine Rectum)	Mid-level-ontology.kif 11548-11548
(connectedBodyPart Mouth Esophagus)	Mid-level-ontology.kif 11545-11545
(connectedBodyPart Mouth Trachea)	Mid-level-ontology.kif 11572-11572
(connectedBodyPart Nose Trachea)	Mid-level-ontology.kif 11573-11573
(connectedBodyPart Rectum Anus)	Mid-level-ontology.kif 11549-11549
(connectedBodyPart Stomach Intestine)	Mid-level-ontology.kif 11547-11547
(connectedBodyPart Trachea Lung)	Mid-level-ontology.kif 11574-11574

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

KB Term:			Term intersection

English Word: