Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ingesting
Ingesting(ingesting)IV, TPN, addict, alimentation, alimentative, breast_feeding, consume, consumption, demand_feeding, feeding, forced_feeding, gavage, get_down, go_down, habituate, have, hearty, hit, hook, hyperalimentation, infant_feeding, ingest, ingestion, intake, intravenous_feeding, keep_down, lactation, nourished, nursing, overfeeding, schedule_feeding, snivel, snuffle, spoonfeeding, suckling, sup, swallow, take, take_in, total_parenteral_nutrition, uptake, use

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 10314-10315
(documentation Ingesting JapaneseLanguage "食べ物が Animal へ持ち込まれる Process。") japanese_format.kif 1657-1657
(subclass Ingesting Consuming) Mid-level-ontology.kif 18197-18197 Ingesting is a subclass of consuming
(subclass Ingesting OrganismProcess) Merge.kif 10311-10311 Ingesting is a subclass of organism process
(subclass Ingesting Transfer) Merge.kif 10312-10312 Ingesting is a subclass of transfer

appearance as argument number 2
-------------------------


(biochemicalAgentDelivery BacillusAnthracis Ingesting) WMD.kif 282-282 Ingesting is a biochemical agent delivery of bacillus anthracis
(biochemicalAgentDelivery BacillusCereus Ingesting) WMD.kif 1850-1850 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 1251-1251 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 1720-1720 Ingesting is a biochemical agent delivery of escherichia coli0157 h7
(biochemicalAgentDelivery HepatitisAVirus Ingesting) WMD.kif 1782-1782 Ingesting is a biochemical agent delivery of hepatitis A virus
(biochemicalAgentDelivery LassaVirus Ingesting) WMD.kif 1858-1858 Ingesting is a biochemical agent delivery of lassa virus
(biochemicalAgentDelivery Rotavirus Ingesting) WMD.kif 1818-1818 Ingesting is a biochemical agent delivery of rotavirus
(biochemicalAgentDelivery SalmonellaTyphi Ingesting) WMD.kif 1353-1353 Ingesting is a biochemical agent delivery of salmonella typhi
(biochemicalAgentDelivery Saxitoxin Ingesting) WMD.kif 1456-1456 Ingesting is a biochemical agent delivery of saxitoxin
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting) WMD.kif 1333-1333 Ingesting is a biochemical agent delivery of shigella dysenteriae
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting) WMD.kif 1441-1441 Ingesting is a biochemical agent delivery of staphylococcal enterotoxin b
(biochemicalAgentDelivery VibrioCholera Ingesting) WMD.kif 1493-1493 Ingesting is a biochemical agent delivery of vibrio cholera
(subclass Drinking Ingesting) Merge.kif 10336-10336 Drinking is a subclass of ingesting
(subclass Eating Ingesting) Merge.kif 10325-10325 Eating is a subclass of ingesting
(subclass IVTherapy Ingesting) Medicine.kif 1056-1056 IV Therapy is a subclass of ingesting
(termFormat ChineseLanguage Ingesting "消化") chinese_format.kif 1079-1079 IV Therapy is a subclass of ingesting
(termFormat EnglishLanguage Ingesting "ingesting") english_format.kif 1369-1369 IV Therapy is a subclass of ingesting
(termFormat FrenchLanguage Ingesting "ing�rer") french_format.kif 757-757 IV Therapy is a subclass of ingesting
(termFormat Hindi Ingesting "antargrahaNa") 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
-------------------------


(diseaseMedicine ADHD Adderall Ingesting) Medicine.kif 4753-4753 Attention deficit hyperactivity disorder is disease treatment Mydayis for ingesting
(diseaseMedicine Abatacept RheumatoidArthritis Ingesting) Medicine.kif 4939-4939 Abatacept is disease treatment rheumatoid arthritis for ingesting
(diseaseMedicine AllergicRhinitis Chlorpheniramine Ingesting) Medicine.kif 5622-5622 Hay fever is disease treatment Chlorpheniramine for ingesting
(diseaseMedicine AllergicRhinitis Levocetirizine Ingesting) Medicine.kif 5243-5243 Hay fever is disease treatment Levocetirizine for ingesting
(diseaseMedicine Anthrax Ciprofloxacin Ingesting) WMD.kif 1140-1140 Anthrax is disease treatment ciprofloxacin for ingesting
(diseaseMedicine Anthrax Doxycycline Ingesting) WMD.kif 1139-1139 Anthrax is disease treatment doxycycline for ingesting
(diseaseMedicine Anxiety Benzodiazepine Ingesting) Medicine.kif 3870-3870 Anxiety is disease treatment benzodiazepine for ingesting
(diseaseMedicine AttentionDeficitHyperactivityDisorder Lisdexamfetamine Ingesting) Medicine.kif 3967-3967 AttentionDeficitHyperactivityDisorder is disease treatment lisdexamfetamine for ingesting
(diseaseMedicine BacterialPneumonia Clarithromycin Ingesting) Medicine.kif 3587-3587 Bacterial pneumonia is disease treatment clarithromycin for ingesting
(diseaseMedicine Beriberi VitaminB1 Ingesting) Medicine.kif 2457-2457 Beriberi is disease treatment thiamine for ingesting
(diseaseMedicine BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 Burkholderia mallei is disease treatment ciprofloxacin for ingesting
(diseaseMedicine ChronicObstructivePulmonaryDisease Roflumilast Ingesting) Medicine.kif 3920-3920 COPD is disease treatment roflumilast for ingesting
(diseaseMedicine CrohnsDisease MycophenolicAcid Ingesting) Medicine.kif 4724-4724 Crohn's disease is disease treatment mycophenolic acid for ingesting
(diseaseMedicine CrohnsDisease Sulfasalazine Ingesting) Medicine.kif 3903-3903 Crohn's disease is disease treatment sulfasalazine for ingesting
(diseaseMedicine Depression Escitalopram Ingesting) Medicine.kif 4039-4039 Depressed is disease treatment escitalopram for ingesting
(diseaseMedicine HeartAttack BetaBlocker Ingesting) Medicine.kif 4667-4667 Myocardial infarction is disease treatment beta blocker for ingesting
(diseaseMedicine HeartPalpitations BetaBlocker Ingesting) Medicine.kif 4668-4668 Palpitations is disease treatment beta blocker for ingesting
(diseaseMedicine HighBloodPressure BetaBlocker Ingesting) Medicine.kif 4669-4669 Hypertension is disease treatment beta blocker for ingesting
(diseaseMedicine Hives Levocetirizine Ingesting) Medicine.kif 5242-5242 Urticaria is disease treatment Levocetirizine for ingesting
(diseaseMedicine Insomnia Benzodiazepine Ingesting) Medicine.kif 3871-3871 Insomnia is disease treatment benzodiazepine for ingesting
(diseaseMedicine LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 Louse borne typhus is disease treatment oral antibiotic for ingesting
(diseaseMedicine Lupus Benelysta Ingesting) Medicine.kif 4612-4612 Lupus is disease treatment Benelysta for ingesting
(diseaseMedicine Lupus Hydroxychloroquine Ingesting) Medicine.kif 5605-5605 Lupus is disease treatment hydroxychloroquine for ingesting
(diseaseMedicine Lupus MycophenolicAcid Ingesting) Medicine.kif 4725-4725 Lupus is disease treatment mycophenolic acid for ingesting
(diseaseMedicine LymeDisease Clarithromycin Ingesting) 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
-------------------------


(=>
    (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 10735-10757
(=>
    (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 10796-10818
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10317-10323
(=>
    (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 10951-10974
(=>
    (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 10921-10942
(=>
    (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 10670-10691
(=>
    (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 9373-9383
(=>
    (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 9397-9408

consequent
-------------------------


(=>
    (and
        (attribute ?G ToxicandInfectiousSubstance)
        (or
            (instance ?G Substance)
            (instance ?G Microorganism)))
    (exists (?O ?P ?I ?CLASS)
        (and
            (or
                (instance ?O Human)
                (instance ?O Animal))
            (orientation ?G ?O Near)
            (or
                (instance ?P Inhaling)
                (instance ?P Ingesting)
                (instance ?P Touching))
            (agent ?P ?O)
            (patient ?P ?G)
            (causes ?P ?I)
            (patient ?I ?O)
            (instance ?I ?CLASS)
            (capability ?CLASS resource ?G)
            (or
                (subclass ?CLASS Injuring)
                (subclass ?CLASS Death)))))
Transportation.kif 4197-4221
(=>
    (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 10354-10362
(=>
    (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 2548-2562
(=>
    (diseaseMedicine ?DISEASE OralAntibiotic ?PROCESS)
    (subclass ?PROCESS Ingesting))
WMD.kif 1288-1290
(=>
    (instance ?A Antiseizure)
    (hasPurpose ?A
        (exists (?H ?I ?T)
            (and
                (instance ?H Human)
                (instance ?I Ingesting)
                (objectTransferred ?I ?A)
                (agent ?I ?H)
                (earlier
                    (WhenFn ?I) ?T)
                (holdsDuring ?T
                    (not
                        (exists (?S)
                            (and
                                (instance ?S Seizure)
                                (experiencer ?S ?H)))))))))
Medicine.kif 3305-3320
(=>
    (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 10593-10605
(=>
    (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 10613-10625
(=>
    (instance ?I Ivabradine)
    (hasPurpose ?I
        (exists (?H ?IN ?P)
            (and
                (instance ?H Human)
                (instance ?P
                    (PainFn Chest))
                (experiencer ?P ?H)
                (instance ?IN Ingesting)
                (agent ?IN ?H)
                (earlier
                    (WhenFn ?P)
                    (WhenFn ?IN))
                (not
                    (exists (?P2)
                        (and
                            (instance ?P2
                                (PainFn Chest))
                            (experiencer ?P2 ?H)
                            (earlier
                                (WhenFn ?IN)
                                (WhenFn ?P2)))))))))
Medicine.kif 4879-4899
(=>
    (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 13317-13337
(=>
    (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 10151-10159
(=>
    (instance ?S Swallowing)
    (exists (?I)
        (and
            (instance ?I Ingesting)
            (subProcess ?I ?S))))
Mid-level-ontology.kif 7159-7164
(=>
    (instance ?T Tableware)
    (hasPurpose ?T
        (exists (?I)
            (and
                (instance ?I Ingesting)
                (instrument ?I ?T)))))
Mid-level-ontology.kif 2318-2324
(=>
    (instance ?TA TranexamicAcid)
    (hasPurpose ?TA
        (exists (?P)
            (and
                (instance ?P Human)
                (decreasesLikelihood
                    (exists (?I)
                        (and
                            (instance ?I Ingesting)
                            (objectTransferred ?I ?TA)
                            (destination ?I ?P)))
                    (exists (?P ?B)
                        (and
                            (instance ?P Human)
                            (instance ?B Bleeding)
                            (origin ?B ?P))))))))
Medicine.kif 1038-1054


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