Ingesting - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2908-2908
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10314-10315
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1657-1657
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18197-18197	子類 Ingesting and Consuming
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10311-10311	子類 Ingesting and OrganismProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10312-10312	子類 Ingesting and Transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 282-282	Ingesting 是炭疽桿菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1850-1850	Ingesting 是蠟狀芽孢桿菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 478-478	Ingesting 是發泡劑的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 326-326	Ingesting 是肉毒桿菌毒素的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 375-375	Ingesting 是 burkholderia 假單胞菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 342-342	Ingesting 是產氣莢膜梭菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1251-1251	Ingesting 是 coxiella burnetii 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 350-350	Ingesting 是 ε毒素的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1720-1720	Ingesting 是大腸桿菌 coli0157 h7 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1782-1782	Ingesting 是 A型肝炎病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1858-1858	Ingesting 是拉薩病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1818-1818	Ingesting 是輪狀病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1353-1353	Ingesting 是傷寒沙門氏菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1456-1456	Ingesting 是石房蛤毒素的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1333-1333	Ingesting 是志賀氏痢疾桿菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1441-1441	Ingesting 是葡萄球菌腸毒素b 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1493-1493	Ingesting 是霍亂弧菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10336-10336	子類 Drinking and Ingesting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10325-10325	子類 Eating and Ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1056-1056	子類 IVTherapy and Ingesting
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1079-1079	子類 IVTherapy and Ingesting
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1369-1369	子類 IVTherapy and Ingesting
No TPTP formula. May not be expressible in strict first order.	french_format.kif 757-757	子類 IVTherapy and Ingesting
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 289-289	子類 IVTherapy and Ingesting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4753-4753	ADHD 是對於 Ingesting 的 disease 治癒 Adderall
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4939-4939	Abatacept 是對於 Ingesting 的 disease 治癒 RheumatoidArthritis
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5622-5622	AllergicRhinitis 是對於 Ingesting 的 disease 治癒 Chlorpheniramine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5243-5243	AllergicRhinitis 是對於 Ingesting 的 disease 治癒 Levocetirizine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1140-1140	炭疽病是對於 Ingesting 的 disease 治癒環丙沙星
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1139-1139	炭疽病是對於 Ingesting 的 disease 治癒多西環素
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3870-3870	焦慮是對於 Ingesting 的 disease 治癒 Benzodiazepine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3967-3967	AttentionDeficitHyperactivityDisorder 是對於 Ingesting 的 disease 治癒 Lisdexamfetamine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3587-3587	BacterialPneumonia 是對於 Ingesting 的 disease 治癒 Clarithromycin
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2457-2457	Beriberi 是對於 Ingesting 的 disease 治癒 VitaminB1
No TPTP formula. May not be expressible in strict first order.	WMD.kif 359-359	Burkholderia mallei 是對於 Ingesting 的 disease 治癒環丙沙星
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3920-3920	ChronicObstructivePulmonaryDisease 是對於 Ingesting 的 disease 治癒 Roflumilast
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4724-4724	CrohnsDisease 是對於 Ingesting 的 disease 治癒 MycophenolicAcid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3903-3903	CrohnsDisease 是對於 Ingesting 的 disease 治癒 Sulfasalazine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4039-4039	Depression 是對於 Ingesting 的 disease 治癒 Escitalopram
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4667-4667	HeartAttack 是對於 Ingesting 的 disease 治癒 BetaBlocker
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4668-4668	HeartPalpitations 是對於 Ingesting 的 disease 治癒 BetaBlocker
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4669-4669	HighBloodPressure 是對於 Ingesting 的 disease 治癒 BetaBlocker
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5242-5242	Hives 是對於 Ingesting 的 disease 治癒 Levocetirizine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3871-3871	Insomnia 是對於 Ingesting 的 disease 治癒 Benzodiazepine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 273-273	蝨傳斑疹傷寒是對於 Ingesting 的 disease 治癒口服抗生素
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4612-4612	Lupus 是對於 Ingesting 的 disease 治癒 Benelysta
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5605-5605	Lupus 是對於 Ingesting 的 disease 治癒 Hydroxychloroquine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4725-4725	Lupus 是對於 Ingesting 的 disease 治癒 MycophenolicAcid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3585-3585	LymeDisease 是對於 Ingesting 的 disease 治癒 Clarithromycin

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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.	Merge.kif 10317-10323	例 Process and Ingesting 資源 Process and Object 例 Object and food for Organism 例 Object and 醫學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10951-10974	例 Object and Antidiuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 等於 TimeInterval and TimeInterval 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10921-10942	例 Object and Diuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1563-1575	例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and ObjectC pathologicSideEffect ObjectC and ObjectIS 模態屬性 entity 例 entity and ObjectIS 體驗者 AutonomousAgent and entity and 容易
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1545-1554	例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and ObjectC ObjectIS 是服用 ObjectC 的 side effect 模態屬性 attribute AutonomousAgent and ObjectIS and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10670-10691	例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and MoodStabilizer 例 Process and ProcessC AutonomousAgent 是事件 Process 的 involved 持有期間何時 Process and attribute AutonomousAgent and ProcessS 例 ProcessS and EmotionalState 例 Process2 and ProcessC AutonomousAgent 是事件 Process2 的 involved 早期何時 Process2 and 何時 Transfer 模態屬性持有期間 Process2 and attribute AutonomousAgent and ProcessS and 較不可能
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 88-99	例 Transfer and Ingesting objectTransferred Transfer and Object 例 Object and 迷幻劑目的地 Transfer and Entity 模態屬性 ObjectAL 例 ObjectAL and Hallucination 體驗者 ObjectAL and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9373-9383	例 Object and Poison 例 Motion and Ingesting 移動 Motion and Object 體驗者 Motion and AutonomousAgent Process 例 Process and Damaging 體驗者 Process and AutonomousAgent 原因 Motion and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9397-9408	例 Object and Poison 例 Motion and Ingesting 移動 Motion and Object 體驗者 Motion and AutonomousAgent 模態屬性持有期間未來何時 Motion and attribute AutonomousAgent and 盲 and 可能性

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4197-4221	attribute Object and ToxicandInfectiousSubstance 例 Object and Substance 例 Object and Microorganism AutonomousAgent Process, Process and Process 例 AutonomousAgent and Human 例 AutonomousAgent and Animal 方位 Object, AutonomousAgent and 近例 Process and 吸入例 Process and Ingesting 例 Process and Touching agent Process and AutonomousAgent 患者 Process and Object 原因 Process and Process 患者 Process and AutonomousAgent 例 Process and Process 能力 Process, 資源 and Object 子類 Process and Injuring 子類 Process and Death
No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	等於測量 RealNumber and McgPerKg and MassMeasure 是 MassMeasure 的 per 等於 MassMeasure and 測量 RealNumber and 微公克等於 MassMeasure and 測量 RealNumber and 千公克 Process SelfConnectedObject and SelfConnectedObject 例 Process and Ingesting 例 SelfConnectedObject and BiologicallyActiveSubstance 例 SelfConnectedObject and Organism 患者 Process and SelfConnectedObject agent Process and SelfConnectedObject MassMeasure 是 SelfConnectedObject 的 weight MassMeasure 是 SelfConnectedObject 的 weight
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10354-10362	例 Process and 消化 agent Process and AutonomousAgent Process 例 Process and Ingesting agent Process and AutonomousAgent 暫時重疊何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	例 Object and Organism 例 Object and 蛋 attribute Object and 胚胎部分 Object and Object Physical 例 Physical and EggYolk 有目的 Physical and entity 例 entity and Ingesting agent entity and Object 資源 entity and Physical
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1290	DiseaseOrSyndrome 是對於 Process 的 disease 治癒口服抗生素子類 Process and Ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3305-3320	例 Physical and Antiseizure 有目的 Physical and entity entity and entity 例 entity and Human 例 entity and Ingesting objectTransferred entity and Physical agent entity and entity 早期何時 entity and entity 持有期間 entity and entity 例 entity and Seizure 體驗者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10593-10605	例 Physical and Antidepressant 有目的 Physical and entity entity 例 entity and Ingesting objectTransferred entity and Physical agent Physical and entity 持有期間未來何時 entity and attribute entity and Depression
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10613-10625	例 Physical and Antipsychotic 有目的 Physical and entity entity 例 entity and Ingesting objectTransferred entity and Physical agent Physical and entity 持有期間未來何時 entity and attribute entity and 精神病
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4879-4899	例 Physical and Ivabradine 有目的 Physical and entity PhysicalN and entity 例 entity and Human 例 entity and PainFn Chest 體驗者 entity and entity 例 PhysicalN and Ingesting agent PhysicalN and entity 早期何時 entity and 何時 PhysicalN entity 例 entity and PainFn Chest 體驗者 entity and entity 早期何時 PhysicalN and 何時 entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13317-13337	例 Physical and AntiInflammatory 有目的 Physical and entity entity and entityN 例 entity and Inflammation 體驗者 entity and entity 例 entityN and Ingesting 之前開始何時 entity and 開始何時 entityN 持有期間未來何時 entity and entity 例 entity and Inflammation 體驗者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10151-10159	例 Physical and Pill 有目的 Physical and entity entity 例 entity and Animal 例 entity and Ingesting 體驗者 entity and entity objectTransferred entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7159-7164	例 Process and Swallowing Process 例 Process and Ingesting 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2318-2324	例 Physical and 餐具有目的 Physical and entity 例 entity and Ingesting 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1038-1054	例 Physical and TranexamicAcid 有目的 Physical and entity 例 entity and Human 降低可能性 entity 例 entity and Ingesting objectTransferred entity and Physical 目的地 entity and entity and entity entity 例 entity and Human 例 entity and 流血的起源 entity and entity

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

KB Term:			Term intersection

English Word: