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

Formal Language: 



KB Term:  Term intersection
English Word: 

  connectedBodyPart

 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 Le nombre 1 argument de connectedBodyPart est une sous-classe de partie du corps
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 11990-11990 Le nombre 2 argument de connectedBodyPart est une sous-classe de partie du corps
(instance connectedBodyPart BinaryPredicate) Mid-level-ontology.kif 11984-11984 connectedBodyPart est une instance de pr�dicat binaire
(instance connectedBodyPart TransitiveRelation) Mid-level-ontology.kif 11983-11983 connectedBodyPart est une instance de relation transitive

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 connectedBodyPart Esophagus and Stomach
(connectedBodyPart Intestine Rectum) Mid-level-ontology.kif 12093-12093 connectedBodyPart Intestine and Rectum
(connectedBodyPart Mouth Esophagus) Mid-level-ontology.kif 12090-12090 connectedBodyPart Mouth and Esophagus
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 12117-12117 connectedBodyPart Mouth and Trachea
(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 12118-12118 connectedBodyPart Nose and Trachea
(connectedBodyPart Rectum Anus) Mid-level-ontology.kif 12094-12094 connectedBodyPart Rectum and Anus
(connectedBodyPart Stomach Intestine) Mid-level-ontology.kif 12092-12092 connectedBodyPart Stomach and Intestine
(connectedBodyPart Trachea Lung) Mid-level-ontology.kif 12119-12119 connectedBodyPart Trachea and Lung


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

Show without tree


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