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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Intestine
Intestine

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


(connectedBodyPart Intestine Rectum) Mid-level-ontology.kif 13397-13397 connectedBodyPart 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 13366-13367 connectedBodyPart Intestine and Rectum
(externalImage Intestine "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Stomach_colon_rectum_diagram.svg") pictureList.kif 4738-4738 connectedBodyPart Intestine and Rectum
(subclass Intestine AnimalAnatomicalStructure) Mid-level-ontology.kif 13365-13365 IntestineAnimalAnatomicalStructuresubclass では
(subclass Intestine BodyVessel) Mid-level-ontology.kif 13364-13364 Intestine身体血管subclass では
(typicalPart Intestine GastroIntestinalTract) Mid-level-ontology.kif 13391-13391 typicalPart Intestine and GastroIntestinalTract

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


(connectedBodyPart Stomach Intestine) Mid-level-ontology.kif 13396-13396 connectedBodyPart Stomach and Intestine
(termFormat ChineseLanguage Intestine "肠") domainEnglishFormat.kif 30786-30786 connectedBodyPart Stomach and Intestine
(termFormat ChineseTraditionalLanguage Intestine "腸") domainEnglishFormat.kif 30785-30785 connectedBodyPart Stomach and Intestine
(termFormat EnglishLanguage Intestine "intestine") domainEnglishFormat.kif 30784-30784 connectedBodyPart Stomach and Intestine
(typicalPart LargeIntestine Intestine) Mid-level-ontology.kif 13375-13375 typicalPart LargeIntestine and Intestine
(typicalPart SmallIntestine Intestine) Mid-level-ontology.kif 13376-13376 typicalPart SmallIntestine and Intestine

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


(=>
    (and
        (instance ?I Intestine)
        (instance ?A Animal)
        (part ?I ?A))
    (modalAttribute
        (exists (?E)
            (and
                (instance ?E EscherichiaColi)
                (contains ?I ?E))) Likely))
Medicine.kif 5499-5509
(=>
    (instance ?I Intestine)
    (capability Digesting instrument ?I))
Mid-level-ontology.kif 13369-13371

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 7395-7409
(=>
    (instance ?I Intestinimonas)
    (modalAttribute
        (exists (?IN)
            (and
                (instance ?IN Intestine)
                (located ?I ?IN))) Likely))
Medicine.kif 4423-4430
(=>
    (instance ?X Feces)
    (exists (?PROC ?INT)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?INT)
            (instance ?INT Intestine)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2548-2555


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