Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - connectedBodyPart
connectedBodyPart

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners