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 10310-10311
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 18125-18125	Ingesting is a subclass of consuming
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10307-10307	Ingesting is a subclass of organism process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10308-10308	Ingesting is a subclass of transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 282-282	Ingesting is a biochemical agent delivery of bacillus anthracis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1850-1850	Ingesting is a biochemical agent delivery of bacillus cereus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 478-478	Ingesting is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 326-326	Ingesting is a biochemical agent delivery of botulinum toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 375-375	Ingesting is a biochemical agent delivery of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order.	WMD.kif 342-342	Ingesting is a biochemical agent delivery of clostridium perfringens
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1251-1251	Ingesting is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order.	WMD.kif 350-350	Ingesting is a biochemical agent delivery of epsilon toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1720-1720	Ingesting is a biochemical agent delivery of escherichia coli0157 h7
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1782-1782	Ingesting is a biochemical agent delivery of hepatitis A virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1858-1858	Ingesting is a biochemical agent delivery of lassa virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1818-1818	Ingesting is a biochemical agent delivery of rotavirus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1353-1353	Ingesting is a biochemical agent delivery of salmonella typhi
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1456-1456	Ingesting is a biochemical agent delivery of saxitoxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1333-1333	Ingesting is a biochemical agent delivery of shigella dysenteriae
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1441-1441	Ingesting is a biochemical agent delivery of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1493-1493	Ingesting is a biochemical agent delivery of vibrio cholera
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10332-10332	Drinking is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10321-10321	Eating is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1056-1056	IV Therapy is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1079-1079	IV Therapy is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1369-1369	IV Therapy is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	french_format.kif 757-757	IV Therapy is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 289-289	IV Therapy is a subclass of 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	Attention deficit hyperactivity disorder is disease treatment Mydayis for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4939-4939	Abatacept is disease treatment rheumatoid arthritis for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5622-5622	Hay fever is disease treatment Chlorpheniramine for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5243-5243	Hay fever is disease treatment Levocetirizine for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1140-1140	Anthrax is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1139-1139	Anthrax is disease treatment doxycycline for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3870-3870	Anxiety is disease treatment benzodiazepine for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3967-3967	AttentionDeficitHyperactivityDisorder is disease treatment lisdexamfetamine for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3587-3587	Bacterial pneumonia is disease treatment clarithromycin for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2457-2457	Beriberi is disease treatment thiamine for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 359-359	Burkholderia mallei is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3920-3920	COPD is disease treatment roflumilast for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4724-4724	Crohn's disease is disease treatment mycophenolic acid for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3903-3903	Crohn's disease is disease treatment sulfasalazine for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4039-4039	Depressed is disease treatment escitalopram for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4667-4667	Myocardial infarction is disease treatment beta blocker for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4668-4668	Palpitations is disease treatment beta blocker for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4669-4669	Hypertension is disease treatment beta blocker for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5242-5242	Urticaria is disease treatment Levocetirizine for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3871-3871	Insomnia is disease treatment benzodiazepine for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 273-273	Louse borne typhus is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4612-4612	Lupus is disease treatment Benelysta for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5605-5605	Lupus is disease treatment hydroxychloroquine for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4725-4725	Lupus is disease treatment mycophenolic acid for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3585-3585	Lyme disease is disease treatment clarithromycin for ingesting

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 10663-10685	If an object is an instance of antacid and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10724-10746	If an object is an instance of PPI and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10313-10319	If a process is an instance of ingesting and an object is a resource for the process, then the object is an instance of food for organism or the object is an instance of medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10879-10902	If an object is an instance of antidiuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and the time interval is not equal to the other time interval and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the real number is greater than the other real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10849-10870	If an object is an instance of diuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1563-1575	If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of the objectC and pathologic side effect the objectC and the objectIS, then the statement there exists an entity such that the entity is an instance of the objectIS and the entity experiences the agent has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1545-1554	If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of the objectC and the objectIS is a side effect of taking the objectC, then the statement the objectIS is an attribute of the agent has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10598-10619	If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of mood stabilizer and a process is an instance of the processC and the agent is an involved in event of the process and the processS is an attribute of the agent holds during the time of existence of the process and the processS is an instance of emotional state and the process2 is an instance of the processC and the agent is an involved in event of the process2 and the time of existence of the process2 happens earlier than the time of existence of the transfer, then the statement the processS is an attribute of the agent doesn't hold during the process2 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 88-99	If a transfer is an instance of ingesting and the object transferred in the transfer is an object and the object is an instance of hallucinogen and the transfer ends up at an entity, then the statement there exists the objectAL such that the objectAL is an instance of hallucination and the entity experiences the objectAL has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9300-9310	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then there exists a process such that the process is an instance of damaging and the agent experiences the process and the motion causes the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9324-9335	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then the statement blindness is an attribute of the agent holds during after the time of existence of the motion has the modal force of possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4197-4221	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	If a real number micrograms per kilogram(s) is equal to the per of a mass measure and another mass measure and the mass measure is equal to another real number one millionth of a gram(s) and the other mass measure is equal to a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10350-10358	If a process is an instance of digesting and an agent is an agent of the process, then there exists another process such that the other process is an instance of ingesting and the agent is an agent of the other process and the time of existence of the process overlaps the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	If an object is an instance of organism and another object is an instance of egg and embryonic is an attribute of the object and the object is a part of the other object, then there exists a physical such that the physical is an instance of egg yolk and the physical has the purpose there exists an entity such that the entity is an instance of ingesting and the object is an agent of the entity and the physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1290	If a disease or syndrome is disease treatment oral antibiotic for a kind of process, then a kind of process is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3305-3320	If a physical is an instance of anti-seizure, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the other entity is an instance of ingesting and the object transferred in the other entity is the physical and the entity is an agent of the other entity and the time of existence of the other entity happens earlier than the third entity and there doesn't exist a fourth entity such that the fourth entity is an instance of epileptic seizure and the entity experiences the fourth entity holds during the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10521-10533	If a physical is an instance of anti_depressant, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ingesting and the object transferred in the entity is the physical and the other entity is an agent of the physical and depressed is not an attribute of the other entity holds during after the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10541-10553	If a physical is an instance of anti_psychotic, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ingesting and the object transferred in the entity is the physical and the other entity is an agent of the physical and psychosis is not an attribute of the other entity holds during after the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4879-4899	If a physical is an instance of ivabradine, then the physical has the purpose there exist an entity, the physicalN and a third entity such that the entity is an instance of human and the third entity is an instance of pain in the chest and the entity experiences the third entity and the physicalN is an instance of ingesting and the entity is an agent of the physicalN and the time of existence of the third entity happens earlier than the time of existence of the physicalN and there doesn't exist the third entity2 such that the third entity2 is an instance of pain in the chest and the entity experiences the third entity2 and the time of existence of the physicalN happens earlier than the time of existence of the third entity2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13245-13265	If a physical is an instance of anti_inflammatory, then the physical has the purpose there exist an entity, another entity and the entityN such that the entity is an instance of inflammation and the entity experiences the other entity and the entityN is an instance of ingesting and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the entityN and there doesn't exist the entity2 such that the entity2 is an instance of inflammation and the other entity experiences the entity2 holds during after the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10079-10087	If a physical is an instance of pill, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is an instance of ingesting and the entity experiences the other entity and the object transferred in the other entity is the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7086-7091	If a process is an instance of swallowing, then there exists another process such that the other process is an instance of ingesting and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2245-2251	If a physical is an instance of tableware, then the physical has the purpose there exists an entity such that the entity is an instance of ingesting and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1038-1054	If a physical is an instance of tranexamic acid, then the physical has the purpose there exists an entity such that the entity is an instance of human and there exists another entity such that the other entity is an instance of ingesting and the object transferred in the other entity is the physical and the other entity ends up at the entity decreases likelihood of there exist the entity and a third entity such that the entity is an instance of human and the third entity is an instance of bleeding and the third entity originates at the 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: