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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Intestine

Sigma KEE - Intestine
Intestine(intestine)
bowel, gut, intestine, jejunum

appearance as argument number 1
-------------------------


(connectedBodyPart Intestine Rectum) Mid-level-ontology.kif 11548-11548 a %1 is connected to a %2 intestine and rectum
(documentation Intestine EnglishLanguage "A BodyVessel which connects the Stomach to the anus and which is used in digesting Food.") Mid-level-ontology.kif 11517-11518
(externalImage Intestine "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Stomach_colon_rectum_diagram.svg") pictureList.kif 4740-4740
(subclass Intestine AnimalAnatomicalStructure) Mid-level-ontology.kif 11516-11516 Intestine is a subclass of animal anatomical structure
(subclass Intestine BodyVessel) Mid-level-ontology.kif 11515-11515 Intestine is a subclass of body vessel
(typicalPart Intestine GastroIntestinalTract) Mid-level-ontology.kif 11542-11542 A intestine is typically a part of a GI

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


(connectedBodyPart Stomach Intestine) Mid-level-ontology.kif 11547-11547 a %1 is connected to a %2 stomach and intestine
(termFormat ChineseLanguage Intestine "肠") domainEnglishFormat.kif 30762-30762
(termFormat ChineseTraditionalLanguage Intestine "腸") domainEnglishFormat.kif 30761-30761
(termFormat EnglishLanguage Intestine "intestine") domainEnglishFormat.kif 30760-30760
(typicalPart LargeIntestine Intestine) Mid-level-ontology.kif 11526-11526 A LargeIntestine is typically a part of a intestine
(typicalPart SmallIntestine Intestine) Mid-level-ontology.kif 11527-11527 A SmallIntestine is typically a part of a intestine

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


(=>
    (instance ?I Intestine)
    (capability Digesting instrument ?I))
Mid-level-ontology.kif 11520-11522

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


(=>
    (instance ?B Bloating)
    (exists (?P ?S ?I ?G)
        (and
            (experiencer ?B ?P)
            (instance ?G Gas)
            (or
                (and
                    (part ?I ?P)
                    (instance ?I Intestine)
                    (contains ?I ?G))
                (and
                    (part ?S ?P)
                    (instance ?S Stomach)
                    (contains ?S ?G))))))
Mid-level-ontology.kif 6131-6145
(=>
    (instance ?X Feces)
    (exists (?PROC ?INT)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?INT)
            (instance ?INT Intestine)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2044-2051


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