TreeView Knowledge Base Browser

appearance as argument number 1

(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 10235-10236
(documentation Ingesting JapaneseLanguage "食べ物が Animal へ持ち込まれる Process。")	japanese_format.kif 1657-1657
(subclass Ingesting OrganismProcess)	Merge.kif 10232-10232
(subclass Ingesting Transfer)	Merge.kif 10233-10233

appearance as argument number 2

(biochemicalAgentDelivery BacillusAnthracis Ingesting)	WMD.kif 282-282
(biochemicalAgentDelivery BacillusCereus Ingesting)	WMD.kif 1850-1850
(biochemicalAgentDelivery BlisterAgent Ingesting)	WMD.kif 478-478
(biochemicalAgentDelivery BotulinumToxin Ingesting)	WMD.kif 326-326
(biochemicalAgentDelivery BurkholderiaPseudomallei Ingesting)	WMD.kif 375-375
(biochemicalAgentDelivery ClostridiumPerfringens Ingesting)	WMD.kif 342-342
(biochemicalAgentDelivery CoxiellaBurnetii Ingesting)	WMD.kif 1251-1251
(biochemicalAgentDelivery EpsilonToxin Ingesting)	WMD.kif 350-350
(biochemicalAgentDelivery EscherichiaColi0157H7 Ingesting)	WMD.kif 1720-1720
(biochemicalAgentDelivery HepatitisAVirus Ingesting)	WMD.kif 1782-1782
(biochemicalAgentDelivery LassaVirus Ingesting)	WMD.kif 1858-1858
(biochemicalAgentDelivery Rotavirus Ingesting)	WMD.kif 1818-1818
(biochemicalAgentDelivery SalmonellaTyphi Ingesting)	WMD.kif 1353-1353
(biochemicalAgentDelivery Saxitoxin Ingesting)	WMD.kif 1456-1456
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting)	WMD.kif 1333-1333
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting)	WMD.kif 1441-1441
(biochemicalAgentDelivery VibrioCholera Ingesting)	WMD.kif 1493-1493
(subclass Drinking Ingesting)	Merge.kif 10257-10257
(subclass Eating Ingesting)	Merge.kif 10246-10246
(termFormat ChineseLanguage Ingesting "消化")	chinese_format.kif 1079-1079
(termFormat EnglishLanguage Ingesting "ingesting")	english_format.kif 1369-1369
(termFormat FrenchLanguage Ingesting "ing�rer")	french_format.kif 757-757
(termFormat Hindi Ingesting "antargrahaNa")	terms-hindi.txt 289-289
(termFormat ItalianLanguage Ingesting "Ingestione")	terms-it.txt 290-290

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(diseaseTreatment Anthrax Ciprofloxacin Ingesting)	WMD.kif 1140-1140
(diseaseTreatment Anthrax Doxycycline Ingesting)	WMD.kif 1139-1139
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting)	WMD.kif 359-359
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting)	WMD.kif 273-273
(diseaseTreatment Pertussis Antibiotic Ingesting)	WMD.kif 1579-1579
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting)	WMD.kif 261-261
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting)	WMD.kif 1732-1732
(diseaseTreatment TyphoidFever Antibiotic Ingesting)	WMD.kif 1359-1359
(pathologyTreatment AllergicReaction Antihistamine Ingesting)	Mid-level-ontology.kif 9798-9798

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 9811-9833
(=> (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 9872-9894
(=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine)))	Merge.kif 10238-10244
(=> (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 UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 10027-10050
(=> (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 UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 9997-10018
(=> (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 1563-1575
(=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (sideEffect ?DC ?DIS)) (modalAttribute (attribute ?H ?DIS) Likely))	WMD.kif 1545-1554
(=> (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 9746-9767
(=> (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
(=> (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 8572-8582
(=> (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 8596-8607

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
(=> (and (instance ?DIGEST Digesting) (agent ?DIGEST ?ORGANISM)) (exists (?INGEST) (and (instance ?INGEST Ingesting) (agent ?INGEST ?ORGANISM) (overlapsTemporally (WhenFn ?INGEST) (WhenFn ?DIGEST)))))	Merge.kif 10275-10283
(=> (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 1691-1705
(=> (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting))	WMD.kif 1288-1290
(=> (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 9669-9681
(=> (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 9689-9701
(=> (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 12357-12377
(=> (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 9227-9235
(=> (instance ?S Swallowing) (exists (?I) (and (instance ?I Ingesting) (subProcess ?I ?S))))	Mid-level-ontology.kif 6582-6587
(=> (instance ?T Tableware) (hasPurpose ?T (exists (?I) (and (instance ?I Ingesting) (instrument ?I ?T)))))	Mid-level-ontology.kif 2224-2230

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

KB Term:			Term intersection

English Word: