| Stomach
| |
| appearance as argument number 1 |
|
|
| (documentation Stomach EnglishLanguage "A muscular sac that is the principal organ of digestion.") | Mid-level-ontology.kif 10039-10040 | |
| (externalImage Stomach "http://upload.wikimedia.org/wikipedia/commons/b/ b8/ Stomach.amedd.jpg") | pictureList.kif 181-181 | |
| (subclass Stomach AnimalAnatomicalStructure) | Mid-level-ontology.kif 10038-10038 | |
| (subclass Stomach Organ) | Mid-level-ontology.kif 10037-10037 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Stomach "胃") | domainEnglishFormat.kif 55339-55339 | |
| (termFormat ChineseTraditionalLanguage Stomach "胃") | domainEnglishFormat.kif 55338-55338 | |
| (termFormat EnglishLanguage Stomach "stomach") | domainEnglishFormat.kif 55337-55337 |
| antecedent |
|
|
| (=> (instance ?S Stomach) (capability Digesting instrument ?S)) |
Mid-level-ontology.kif 10042-10044 |
| consequent |
|
|
| (=> (and (instance ?ELT ExperiencingDiscomfortInTheStomach) (experiencer ?ELT ?A)) (exists (?P) (and (instance ?P Perception) (holdsDuring (WhenFn ?P) (attribute ?A Pain)) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (instance ?T Stomach) (part ?T ?A)))) |
emotion.kif 1551-1565 | |
| (=> (and (instance ?V Vomiting) (experiencer ?V ?A)) (exists (?S ?O) (and (instance ?S Stomach) (part ?S ?A) (holdsDuring (StartFn (WhenFn ?V)) (located ?O ?S)) (holdsDuring (EndFn (WhenFn ?V)) (not (located ?O ?A)))))) |
Mid-level-ontology.kif 19123-19137 | |
| (=> (and (instance ?V Vomiting) (instance ?O Vomit) (patient ?V ?O) (experiencer ?V ?A)) (exists (?S) (and (instance ?S Stomach) (part ?S ?A) (holdsDuring (StartFn (WhenFn ?V)) (located ?O ?S)) (holdsDuring (EndFn (WhenFn ?V)) (not (located ?O ?A)))))) |
Mid-level-ontology.kif 19143-19159 | |
| (=> (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 6151-6165 | |
| (=> (instance ?I Intestine) (exists (?S) (and (instance ?S Stomach) (connected ?I ?S)))) |
Mid-level-ontology.kif 10055-10060 |
|
|
|