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 connectedBodyPart 的 1 数量 是 身体部位subclass
(domainSubclass connectedBodyPart 2 BodyPart) Mid-level-ontology.kif 11443-11443 connectedBodyPart 的 2 数量 是 身体部位subclass
(instance connectedBodyPart BinaryPredicate) Mid-level-ontology.kif 11438-11438 connectedBodyPart二元谓语instance
(instance connectedBodyPart TransitiveRelation) Mid-level-ontology.kif 11437-11437 connectedBodyPart传递关系instance

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 Esophagus and
(connectedBodyPart Intestine Rectum) Mid-level-ontology.kif 11544-11544 connectedBodyPart and Rectum
(connectedBodyPart Mouth Esophagus) Mid-level-ontology.kif 11541-11541 connectedBodyPart and Esophagus
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 11568-11568 connectedBodyPart and Trachea
(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 11569-11569 connectedBodyPart 鼻子 and Trachea
(connectedBodyPart Rectum Anus) Mid-level-ontology.kif 11545-11545 connectedBodyPart Rectum and Anus
(connectedBodyPart Stomach Intestine) Mid-level-ontology.kif 11543-11543 connectedBodyPart and
(connectedBodyPart Trachea Lung) Mid-level-ontology.kif 11570-11570 connectedBodyPart Trachea and


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