Stomach - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Stomach

Stomach(胃)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12961-12961	connectedBodyPart 胃 and 腸
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12922-12923	connectedBodyPart 胃 and 腸
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 181-181	connectedBodyPart 胃 and 腸
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12921-12921	子類胃 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12920-12920	子類胃 and Organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12955-12955	胃 typically 是 GastroIntestinalTract 的 part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12960-12960	connectedBodyPart Esophagus and 胃
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55479-55479	connectedBodyPart Esophagus and 胃
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55478-55478	connectedBodyPart Esophagus and 胃
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55477-55477	connectedBodyPart Esophagus and 胃

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10735-10757	例 Object and Antacid 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10796-10818	例 Object and ProtonPumpInhibitor 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12925-12927	例 Object and 胃能力消化, 儀器 and Object

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	例 Process and ExperiencingDiscomfortInTheStomach 體驗者 Process and AutonomousAgent Process ProcessAIN and Object 例 Process and Perception 期間何時 Process and 何時 ProcessAIN 例 ProcessAIN and 痛體驗者 ProcessAIN and AutonomousAgent 子過程 Process and Process agent Process and AutonomousAgent 患者 Process and Object 例 Object and 胃部分 Object and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1904-1917	例 Process and GERefluxDisease 體驗者 Process and AutonomousAgent Process Object and Object 例 Process and Transfer 起源 Process and Object 例 Object and 胃例 Object and Esophagus 目的地 Process and Object 部分 Object and AutonomousAgent 部分 Object and AutonomousAgent 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7144-7156	例 Transfer and Swallowing agent Transfer and AutonomousAgent Object Object, TransferT and Object 例 Object and 口例 Object and Esophagus 例 TransferT and 胃 objectTransferred Transfer and Object 起源 Transfer and Object 目的地 Transfer and TransferT 路徑 Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22502-22516	例 Process and Vomiting 體驗者 Process and AutonomousAgent Object entity 例 Object and 胃部分 Object and AutonomousAgent 持有期間開始何時 Process and 位於 entity and Object 持有期間結束何時 Process and 位於 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22541-22557	例 Process and Vomiting 例 Entity and Vomit 患者 Process and Entity 體驗者 Process and AutonomousAgent Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間開始何時 Process and 位於 Entity and Object 持有期間結束何時 Process and 位於 Entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4960-4967	attribute Object and PepticUlcers Object Physical 例 Object and 胃例 Physical and Ulcer 部分 Object and Object 位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7007-7021	例 Process and 腹脹 AutonomousAgent SelfConnectedObject, SelfConnectedObject and Object 體驗者 Process and AutonomousAgent 例 Object and 加油站部分 SelfConnectedObject and AutonomousAgent 例 SelfConnectedObject and 腸包含 SelfConnectedObject and Object 部分 SelfConnectedObject and AutonomousAgent 例 SelfConnectedObject and 胃包含 SelfConnectedObject and Object

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