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 10249-10250
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.	Merge.kif 10246-10246	消化是机体过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10247-10247	消化是转移的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 282-282	消化是炭疽杆菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1850-1850	消化是蜡状芽孢杆菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 478-478	消化是发泡剂的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 326-326	消化是肉毒杆菌毒素的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 375-375	消化是 burkholderia 假单胞菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 342-342	消化是产气荚膜梭菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1251-1251	消化是 coxiella burnetii 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 350-350	消化是 ε毒素的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1720-1720	消化是大肠杆菌 coli0157 h7 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1782-1782	消化是 A型肝炎病毒的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1858-1858	消化是拉萨病毒的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1818-1818	消化是轮状病毒的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1353-1353	消化是伤寒沙门氏菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1456-1456	消化是石房蛤毒素的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1333-1333	消化是志贺氏痢疾杆菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1441-1441	消化是葡萄球菌肠毒素b 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1493-1493	消化是霍乱弧菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10271-10271	饮是消化的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10260-10260	进食是消化的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1068-1068	IVTherapy 是消化的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1079-1079
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1369-1369
No TPTP formula. May not be expressible in strict first order.	french_format.kif 757-757
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 289-289

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 4765-4765	ADHD 是对于消化的 disease 治愈 Adderall
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4951-4951	Abatacept 是对于消化的 disease 治愈 RheumatoidArthritis
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5634-5634	AllergicRhinitis 是对于消化的 disease 治愈 Chlorpheniramine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5255-5255	AllergicRhinitis 是对于消化的 disease 治愈 Levocetirizine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1140-1140	炭疽病是对于消化的 disease 治愈环丙沙星
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1139-1139	炭疽病是对于消化的 disease 治愈多西环素
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3882-3882	焦虑是对于消化的 disease 治愈 Benzodiazepine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3979-3979	AttentionDeficitHyperactivityDisorder 是对于消化的 disease 治愈 Lisdexamfetamine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3599-3599	BacterialPneumonia 是对于消化的 disease 治愈 Clarithromycin
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2469-2469	Beriberi 是对于消化的 disease 治愈 VitaminB1
No TPTP formula. May not be expressible in strict first order.	WMD.kif 359-359	Burkholderia mallei 是对于消化的 disease 治愈环丙沙星
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3932-3932	ChronicObstructivePulmonaryDisease 是对于消化的 disease 治愈 Roflumilast
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4736-4736	CrohnsDisease 是对于消化的 disease 治愈 MycophenolicAcid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3915-3915	CrohnsDisease 是对于消化的 disease 治愈 Sulfasalazine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4051-4051	Depression 是对于消化的 disease 治愈 Escitalopram
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4679-4679	HeartAttack 是对于消化的 disease 治愈 BetaBlocker
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4680-4680	HeartPalpitations 是对于消化的 disease 治愈 BetaBlocker
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4681-4681	HighBloodPressure 是对于消化的 disease 治愈 BetaBlocker
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5254-5254	Hives 是对于消化的 disease 治愈 Levocetirizine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3883-3883	Insomnia 是对于消化的 disease 治愈 Benzodiazepine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 273-273	虱传斑疹伤寒是对于消化的 disease 治愈口服抗生素
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4624-4624	Lupus 是对于消化的 disease 治愈 Benelysta
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5617-5617	Lupus 是对于消化的 disease 治愈 Hydroxychloroquine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4737-4737	Lupus 是对于消化的 disease 治愈 MycophenolicAcid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3597-3597	LymeDisease 是对于消化的 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 9839-9861	如果客体是 Antacid 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和另一个客体是胃的 instance 和那个另外客体是那个施事体的 part 和那个另外客体 contains 第三客体和那个第三客体是流体的 instance 在紧接那个运动出现的 time before holdsDuring 和那个另外客体 contains 第四客体和那个第四客体是流体的 instance 在紧接那个运动出现的 time after holdsDuring 和 phMeasure 那个第三客体 and 实数和 phMeasure 那个第四客体 and 另一个实数，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9900-9922	如果客体是 ProtonPumpInhibitor 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和另一个客体是胃的 instance 和那个另外客体是那个施事体的 part 和那个另外客体 contains 第三客体和那个第三客体是流体的 instance 在紧接那个运动出现的 time before holdsDuring 和那个另外客体 contains 第四客体和那个第四客体是流体的 instance 在紧接那个运动出现的 time after holdsDuring 和 phMeasure 那个第三客体 and 实数和 phMeasure 那个第四客体 and 另一个实数，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10252-10258	如果过程是消化的 instance 和客体是那个过程的 resource，然后那个客体是 food for 生物的 instance 或那个客体是医学的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10055-10078	如果客体是 Antidiuretic 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和时距是 Urination 的 instance 和实体是那个时距的 result 和那个施事体是那个时距的 agent 和另一个时距是 Urination 的 instance 和那个时距不 equal 那个另外时距和另一个实体是那个另外时距的 result 和那个施事体是那个另外时距的 agent 和那个时距比那个运动发生的earlier 和那个运动比那个另外时距发生的earlier 和测量单位是 UnitOfVolume 的 instance 和那个时距的 measure 是实数那个测量单位和那个另外时距的 measure 是另一个实数那个测量单位，然后那个实数是 greaterThan 那个另外实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10046	如果客体是 Diuretic 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和时距是 Urination 的 instance 和实体是那个时距的 result 和那个施事体是那个时距的 agent 和另一个时距是 Urination 的 instance 和另一个实体是那个另外时距的 result 和那个施事体是那个另外时距的 agent 和那个时距比那个运动发生的earlier 和那个运动比那个另外时距发生的earlier 和测量单位是 UnitOfVolume 的 instance 和那个时距的 measure 是实数那个测量单位和那个另外时距的 measure 是另一个实数那个测量单位，然后那个另外实数是 greaterThan 那个实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1563-1575	如果转移是消化的 instance 和施事体经历了那个转移和 objectTransferred 那个转移 and 客体和那个客体是那个客体C 的 instance 和 pathologicSideEffect 那个客体C and 那个客体IS，然后有存在实体这样那个实体是那个客体IS 的 instance 和那个实体经历了那个施事体的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1545-1554	如果转移是消化的 instance 和施事体经历了那个转移和 objectTransferred 那个转移 and 客体和那个客体是那个客体C 的 instance 和那个客体IS 是服用那个客体C 的 side effect ，然后那个客体IS 是那个施事体的 attribute 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9774-9795	如果转移是消化的 instance 和施事体经历了那个转移和 objectTransferred 那个转移 and 客体和那个客体是 MoodStabilizer 的 instance 和过程是那个过程C 的 instance 和那个施事体是事件那个过程的 involved 和那个过程S 是那个施事体的 attribute 在那个过程出现的 time holdsDuring 和那个过程S 是情绪状态的 instance 和那个过程2 是那个过程C 的 instance 和那个施事体是事件那个过程2 的 involved 和那个过程2 出现的 time 比那个转移出现的 time发生的earlier，然后那个过程S 是那个施事体的 attribute doesn't 在那个过程2 holdsDuring 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 88-99	如果转移是消化的 instance 和 objectTransferred 那个转移 and 客体和那个客体是迷幻剂的 instance 和那个转移在实体结束，然后有存在那个客体AL 这样那个客体AL 是 Hallucination 的 instance 和那个实体经历了那个客体AL 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8600-8610	如果客体是 Poison 的 instance 和运动是消化的 instance 和移动那个运动 and 那个客体和施事体经历了那个运动，然后有存在过程这样那个过程是损坏的 instance 和那个施事体经历了那个过程和那个运动 causes 那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8624-8635	如果客体是 Poison 的 instance 和运动是消化的 instance 和移动那个运动 and 那个客体和施事体经历了那个运动，然后盲是那个施事体的 attribute 在那个运动出现的 time 之后 holdsDuring 的声明 has 可能性的语气

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	如果实数每公斤微克 equal 质量测量是另一个质量测量的 per 和那个另外质量测量 equal 另一个实数公克的百万分之一和那个质量测量 equal 第三实数公克的一千倍，然后有存在过程，自身连接物体， and 和另一个自身连接物体这样那个过程是消化的 instance 和那个自身连接物体是生物活性物质的 instance 和那个另外自身连接物体是生物的 instance 和那个自身连接物体是那个过程的 patient 和那个另外自身连接物体是那个过程的 agent 和那个另外质量测量是那个自身连接物体的 weight 和那个质量测量是那个另外自身连接物体的 weight
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10289-10297	如果过程是消化的 instance 和施事体是那个过程的 agent，然后有存在另一个过程这样那个另外过程是消化的 instance 和那个施事体是那个另外过程的 agent 和那个过程出现的 time 时段和那个另外过程出现的 time 重叠
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	如果客体是生物的 instance 和另一个客体是蛋的 instance 和胚胎是那个客体的 attribute 和那个客体是那个另外客体的 part，然后有存在物理这样那个物理是 EggYolk 的 instance 和那个物理的目的是有存在实体这样那个实体是消化的 instance 和那个客体是那个实体的 agent 和那个物理是那个实体的 resource
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1290	如果疾病或综合症是对于有点过程的 disease 治愈口服抗生素，然后有点过程是消化的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3317-3332	如果物理是 Antiseizure 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是人类的 instance 和那个另外实体是消化的 instance 和 objectTransferred 那个另外实体 and 那个物理和那个实体是那个另外实体的 agent 和那个另外实体出现的 time 比那个第三实体发生的earlier 和不存在第五实体这样那个第五实体是 Seizure 的 instance 和那个实体经历了那个第五实体在那个第三实体 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9697-9709	如果物理是 Antidepressant 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是消化的 instance 和 objectTransferred 那个实体 and 那个物理和那个另外实体是那个物理的 agent 和 Depression 不是那个另外实体的 attribute 在那个实体出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9717-9729	如果物理是 Antipsychotic 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是消化的 instance 和 objectTransferred 那个实体 and 那个物理和那个另外实体是那个物理的 agent 和精神病不是那个另外实体的 attribute 在那个实体出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	如果物理是 Ivabradine 的 instance，然后那个物理的目的是有存在实体，那个物理N， and 和第三实体这样那个实体是人类的 instance 和那个第三实体是 PainFn Chest 的 instance 和那个实体经历了那个第三实体和那个物理N 是消化的 instance 和那个实体是那个物理N 的 agent 和那个第三实体出现的 time 比那个物理N 出现的 time发生的earlier 和不存在那个第三实体2 这样那个第三实体2 是 PainFn Chest 的 instance 和那个实体经历了那个第三实体2 和那个物理N 出现的 time 比那个第三实体2 出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12421-12441	如果物理是 AntiInflammatory 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和那个实体N 这样那个实体是 Inflammation 的 instance 和那个实体经历了那个另外实体和那个实体N 是消化的 instance 和那个实体出现的 time 的开始%n在那个实体N 出现的 time 的开始before发生和不存在那个实体2 这样那个实体2 是 Inflammation 的 instance 和那个另外实体经历了那个实体2 在那个实体出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9255-9263	如果物理是 Pill 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是动物的 instance 和那个另外实体是消化的 instance 和那个实体经历了那个另外实体和 objectTransferred 那个另外实体 and 那个物理
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6610-6615	如果过程是 Swallowing 的 instance，然后有存在另一个过程这样那个另外过程是消化的 instance 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2252-2258	如果物理是餐具的 instance，然后那个物理的目的是有存在实体这样那个实体是消化的 instance 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1050-1066	如果物理是 TranexamicAcid 的 instance，然后那个物理的目的是有存在实体这样那个实体是人类的 instance 和有存在另一个实体这样那个另外实体是消化的 instance 和 objectTransferred 那个另外实体 and 那个物理和那个另外实体在那个实体结束减少有存在那个实体和第三实体这样那个实体是人类的 instance 和那个第三实体是流血的的 instance 和那个实体是那个第三实体的源头发生的机率

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: