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 11985-11986
(domainSubclass connectedBodyPart 1 BodyPart) Mid-level-ontology.kif 11989-11989 The number 1 argument of connected is a subclass of body part
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 11990-11990 The number 2 argument of connected is a subclass of body part
(instance connectedBodyPart BinaryPredicate) Mid-level-ontology.kif 11984-11984 connected is an instance of binary predicate
(instance connectedBodyPart TransitiveRelation) Mid-level-ontology.kif 11983-11983 connected is an instance of transitive relation

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


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

antecedent
-------------------------


(=>
    (and
        (connectedBodyPart ?A ?B)
        (attribute ?H Healthy))
    (exists (?AI ?BI)
        (and
            (instance ?AI ?A)
            (instance ?BI ?B)
            (part ?AI ?H)
            (part ?BI ?H)
            (connected ?AI ?BI))))
Mid-level-ontology.kif 11994-12004

consequent
-------------------------


(=>
    (muscleInsertion ?MC ?BPC)
    (connectedBodyPart ?MC ?BPC))
Anatomy.kif 1741-1743
(=>
    (muscleOrigin ?MC ?BPC)
    (connectedBodyPart ?MC ?BPC))
Anatomy.kif 1691-1693

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


(connectedBodyPart Esophagus Stomach) Mid-level-ontology.kif 12091-12091 A esophagus is connected to a stomach
(connectedBodyPart Intestine Rectum) Mid-level-ontology.kif 12093-12093 A intestine is connected to a rectum
(connectedBodyPart Mouth Esophagus) Mid-level-ontology.kif 12090-12090 A mouth is connected to a esophagus
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 12117-12117 A mouth is connected to a trachea
(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 12118-12118 A nose is connected to a trachea
(connectedBodyPart Rectum Anus) Mid-level-ontology.kif 12094-12094 A rectum is connected to a anus
(connectedBodyPart Stomach Intestine) Mid-level-ontology.kif 12092-12092 A stomach is connected to a intestine
(connectedBodyPart Trachea Lung) Mid-level-ontology.kif 12119-12119 A trachea is connected to a lung


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