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