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 11177-11178
(domainSubclass connectedBodyPart 1 BodyPart) Mid-level-ontology.kif 11180-11180
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 11181-11181
(instance connectedBodyPart BinaryPredicate) Mid-level-ontology.kif 11176-11176
(instance connectedBodyPart TransitiveRelation) Mid-level-ontology.kif 11175-11175

appearance as argument number 2
-------------------------


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

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 11183-11193

appearance as argument number 0
-------------------------


(connectedBodyPart Esophagus Stomach) Mid-level-ontology.kif 11280-11280
(connectedBodyPart Intestine Rectum) Mid-level-ontology.kif 11282-11282
(connectedBodyPart Mouth Esophagus) Mid-level-ontology.kif 11279-11279
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 11306-11306
(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 11307-11307
(connectedBodyPart Rectum Anus) Mid-level-ontology.kif 11283-11283
(connectedBodyPart Stomach Intestine) Mid-level-ontology.kif 11281-11281
(connectedBodyPart Trachea Lung) Mid-level-ontology.kif 11308-11308


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