TreeView Knowledge Base Browser

appearance as argument number 3

(diseaseTreatment Anthrax Ciprofloxacin Ingesting)	WMD.kif 1132-1132	Anthrax is disease treatment ciprofloxacin for ingesting
(diseaseTreatment Anthrax Doxycycline Ingesting)	WMD.kif 1131-1131	Anthrax is disease treatment doxycycline for ingesting
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting)	WMD.kif 359-359	Burkholderia mallei is disease treatment ciprofloxacin for ingesting
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting)	WMD.kif 273-273	Louse borne typhus is disease treatment oral antibiotic for ingesting
(diseaseTreatment Pertussis Antibiotic Ingesting)	WMD.kif 1570-1570	Pertussis is disease treatment antibiotic for ingesting
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting)	WMD.kif 261-261	Rocky mountain spotted fever is disease treatment oral antibiotic for ingesting
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting)	WMD.kif 1723-1723	Tuberculosis is disease treatment oral antibiotic for ingesting
(diseaseTreatment TyphoidFever Antibiotic Ingesting)	WMD.kif 1350-1350	Typhoid fever is disease treatment antibiotic for ingesting
(pathologyTreatment AllergicReaction Antihistamine Ingesting)	Mid-level-ontology.kif 9394-9394	A treatment for AllergicReaction is antihistamine administered via ingesting

antecedent

(=> (and (instance ?A Antacid) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 9407-9429	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 phMeasure the third object and a real number and phMeasure the fourth object and another real number, then the other real number is greater than the real number
(=> (and (instance ?A ProtonPumpInhibitor) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 9468-9490	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 phMeasure the third object and a real number and phMeasure the fourth object and another real number, then the other real number is greater than the real number
(=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine)))	Merge.kif 10159-10165	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
(=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V VolumeMeasure) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 9623-9646	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 volume measure 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
(=> (and (instance ?D Diuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V VolumeMeasure) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 9593-9614	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 volume measure 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
(=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (pathologicSideEffect ?DC ?DIS)) (modalAttribute (exists (?P) (and (instance ?P ?DIS) (experiencer ?H ?P))) Likely))	WMD.kif 1554-1566	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 pathologicSideEffect 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
(=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (sideEffect ?DC ?DIS)) (modalAttribute (attribute ?H ?DIS) Likely))	WMD.kif 1536-1545	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
(=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?MS) (instance ?MS MoodStabilizer) (instance ?E ?EC) (involvedInEvent ?E ?H) (holdsDuring (WhenFn ?E) (attribute ?H ?ES)) (instance ?ES EmotionalState) (instance ?E2 ?EC) (involvedInEvent ?E2 ?H) (earlier (WhenFn ?E2) (WhenFn ?I))) (modalAttribute (not (holdsDuring ?E2 (attribute ?H ?ES))) Unlikely))	Mid-level-ontology.kif 9342-9363	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
(=> (and (instance ?I Ingesting) (objectTransferred ?I ?H) (instance ?H Hallucinogen) (destination ?I ?P)) (modalAttribute (exists (?HAL) (and (instance ?HAL Hallucination) (experiencer ?HAL ?P))) Likely))	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
(=> (and (instance ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (exists (?D) (and (instance ?D Damaging) (experiencer ?D ?H) (causes ?I ?D))))	Mid-level-ontology.kif 8203-8213	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
(=> (and (instance ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (modalAttribute (holdsDuring (FutureFn (WhenFn ?I)) (attribute ?H Blind)) Possibility))	Mid-level-ontology.kif 8227-8238	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 blind is an attribute of the agent holds during after the time of existence of the motion has the modal force of possibility

consequent

(=> (and (equal (MeasureFn ?Y McgPerKg) (PerFn ?M1 ?M2)) (equal ?M1 (MeasureFn ?NUM1 (MicroFn Gram))) (equal ?M2 (MeasureFn ?NUM2 (KiloFn Gram)))) (exists (?I ?B ?A) (and (instance ?I Ingesting) (instance ?B BiologicallyActiveSubstance) (instance ?A Organism) (patient ?I ?B) (agent ?I ?A) (weight ?B ?M1) (weight ?A ?M2))))	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
(=> (and (instance ?DIGEST Digesting) (agent ?DIGEST ?ORGANISM)) (exists (?INGEST) (and (instance ?INGEST Ingesting) (agent ?INGEST ?ORGANISM) (overlapsTemporally (WhenFn ?INGEST) (WhenFn ?DIGEST)))))	Merge.kif 10196-10204	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
(=> (and (instance ?O Organism) (instance ?E Egg) (attribute ?O Embryonic) (part ?O ?E)) (exists (?Y) (and (instance ?Y EggYolk) (hasPurpose ?Y (exists (?I) (and (instance ?I Ingesting) (agent ?I ?O) (resource ?I ?Y)))))))	Food.kif 524-538	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 EggYolk 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
(=> (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting))	WMD.kif 1279-1281	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
(=> (instance ?AP Antidepressant) (hasPurpose ?AP (exists (?I ?H) (and (instance ?I Ingesting) (objectTransferred ?I ?AP) (agent ?AP ?H) (holdsDuring (FutureFn (WhenFn ?I)) (not (attribute ?H Depression)))))))	Mid-level-ontology.kif 9265-9277	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
(=> (instance ?AP Antipsychotic) (hasPurpose ?AP (exists (?I ?H) (and (instance ?I Ingesting) (objectTransferred ?I ?AP) (agent ?AP ?H) (holdsDuring (FutureFn (WhenFn ?I)) (not (attribute ?H Psychosis)))))))	Mid-level-ontology.kif 9285-9297	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
(=> (instance ?N AntiInflammatory) (hasPurpose ?N (exists (?I ?H ?IN) (and (instance ?I Inflammation) (experiencer ?H ?I) (instance ?IN Ingesting) (before (BeginFn (WhenFn ?I)) (BeginFn (WhenFn ?IN))) (holdsDuring (FutureFn (WhenFn ?I)) (not (exists (?I2) (and (instance ?I2 Inflammation) (experiencer ?I2 ?H)))))))))	Mid-level-ontology.kif 11898-11918	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
(=> (instance ?P Pill) (hasPurpose ?P (exists (?A ?I) (and (instance ?A Animal) (instance ?I Ingesting) (experiencer ?I ?A) (objectTransferred ?I ?P)))))	Mid-level-ontology.kif 8866-8874	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
(=> (instance ?S Swallowing) (exists (?I) (and (instance ?I Ingesting) (subProcess ?I ?S))))	Mid-level-ontology.kif 6271-6276	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
(=> (instance ?T Tableware) (hasPurpose ?T (exists (?I) (and (instance ?I Ingesting) (instrument ?I ?T)))))	Mid-level-ontology.kif 2207-2213	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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

(documentation Ingesting ChineseLanguage "这是 Animal 进食的 Process。")	chinese_format.kif 2908-2908
(documentation Ingesting EnglishLanguage "The Process by which food or Medicine is taken into an Animal.")	Merge.kif 10156-10157
(subclass Ingesting OrganismProcess)	Merge.kif 10154-10154	Ingesting is a subclass of organism process

(biochemicalAgentDelivery BacillusAnthracis Ingesting)	WMD.kif 282-282	Ingesting is a biochemical agent delivery of bacillus anthracis
(biochemicalAgentDelivery BacillusCereus Ingesting)	WMD.kif 1841-1841	Ingesting is a biochemical agent delivery of bacillus cereus
(biochemicalAgentDelivery BlisterAgent Ingesting)	WMD.kif 478-478	Ingesting is a biochemical agent delivery of blister agent
(biochemicalAgentDelivery BotulinumToxin Ingesting)	WMD.kif 326-326	Ingesting is a biochemical agent delivery of botulinum toxin
(biochemicalAgentDelivery BurkholderiaPseudomallei Ingesting)	WMD.kif 375-375	Ingesting is a biochemical agent delivery of burkholderia pseudomallei
(biochemicalAgentDelivery ClostridiumPerfringens Ingesting)	WMD.kif 342-342	Ingesting is a biochemical agent delivery of clostridium perfringens
(biochemicalAgentDelivery CoxiellaBurnetii Ingesting)	WMD.kif 1243-1243	Ingesting is a biochemical agent delivery of coxiella burnetii
(biochemicalAgentDelivery EpsilonToxin Ingesting)	WMD.kif 350-350	Ingesting is a biochemical agent delivery of epsilon toxin
(biochemicalAgentDelivery EscherichiaColi0157H7 Ingesting)	WMD.kif 1711-1711	Ingesting is a biochemical agent delivery of escherichia coli0157 h7
(biochemicalAgentDelivery HepatitisAVirus Ingesting)	WMD.kif 1773-1773	Ingesting is a biochemical agent delivery of hepatitisA virus
(biochemicalAgentDelivery LassaVirus Ingesting)	WMD.kif 1849-1849	Ingesting is a biochemical agent delivery of lassa virus
(biochemicalAgentDelivery Rotavirus Ingesting)	WMD.kif 1809-1809	Ingesting is a biochemical agent delivery of rotavirus
(biochemicalAgentDelivery SalmonellaTyphi Ingesting)	WMD.kif 1344-1344	Ingesting is a biochemical agent delivery of salmonella typhi
(biochemicalAgentDelivery Saxitoxin Ingesting)	WMD.kif 1447-1447	Ingesting is a biochemical agent delivery of saxitoxin
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting)	WMD.kif 1324-1324	Ingesting is a biochemical agent delivery of shigella dysenteriae
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting)	WMD.kif 1432-1432	Ingesting is a biochemical agent delivery of staphylococcal enterotoxin b
(biochemicalAgentDelivery VibrioCholera Ingesting)	WMD.kif 1484-1484	Ingesting is a biochemical agent delivery of vibrio cholera
(subclass Drinking Ingesting)	Merge.kif 10178-10178	Drinking is a subclass of ingesting
(subclass Eating Ingesting)	Merge.kif 10167-10167	Eating is a subclass of ingesting
(termFormat ChineseLanguage Ingesting "消化")	chinese_format.kif 1079-1079
(termFormat EnglishLanguage Ingesting "ingesting")	english_format.kif 1369-1369

KB Term:			Term intersection

English Word: