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 10374-10375
(documentation Ingesting JapaneseLanguage "食べ物が Animal へ持ち込まれる Process。") japanese_format.kif 1657-1657
(subclass Ingesting Consuming) Mid-level-ontology.kif 18676-18676 Ingesting is a subclass of consuming
(subclass Ingesting OrganismProcess) Merge.kif 10371-10371 Ingesting is a subclass of organism process
(subclass Ingesting Transfer) Merge.kif 10372-10372 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 10396-10396 Drinking is a subclass of ingesting
(subclass Eating Ingesting) Merge.kif 10385-10385 Eating is a subclass of ingesting
(subclass IVTherapy Ingesting) Medicine.kif 1060-1060 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 4772-4772 Attention deficit hyperactivity disorder is disease treatment Mydayis for ingesting
(diseaseMedicine Abatacept RheumatoidArthritis Ingesting) Medicine.kif 4958-4958 Abatacept is disease treatment rheumatoid arthritis for ingesting
(diseaseMedicine AllergicRhinitis Chlorpheniramine Ingesting) Medicine.kif 5644-5644 Hay fever is disease treatment chlorpheniramine for ingesting
(diseaseMedicine AllergicRhinitis Levocetirizine Ingesting) Medicine.kif 5264-5264 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 3885-3885 Anxiety is disease treatment benzodiazepine for ingesting
(diseaseMedicine AttentionDeficitHyperactivityDisorder Lisdexamfetamine Ingesting) Medicine.kif 3982-3982 AttentionDeficitHyperactivityDisorder is disease treatment lisdexamfetamine for ingesting
(diseaseMedicine BacterialPneumonia Clarithromycin Ingesting) Medicine.kif 3602-3602 Bacterial pneumonia is disease treatment clarithromycin for ingesting
(diseaseMedicine Beriberi VitaminB1 Ingesting) Medicine.kif 2468-2468 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 3935-3935 COPD is disease treatment roflumilast for ingesting
(diseaseMedicine CrohnsDisease MycophenolicAcid Ingesting) Medicine.kif 4743-4743 Crohn's disease is disease treatment mycophenolic acid for ingesting
(diseaseMedicine CrohnsDisease Sulfasalazine Ingesting) Medicine.kif 3918-3918 Crohn's disease is disease treatment sulfasalazine for ingesting
(diseaseMedicine Depression Escitalopram Ingesting) Medicine.kif 4054-4054 Depressed is disease treatment escitalopram for ingesting
(diseaseMedicine HeartAttack BetaBlocker Ingesting) Medicine.kif 4686-4686 Myocardial infarction is disease treatment beta blocker for ingesting
(diseaseMedicine HeartPalpitations BetaBlocker Ingesting) Medicine.kif 4687-4687 Palpitations is disease treatment beta blocker for ingesting
(diseaseMedicine HighBloodPressure BetaBlocker Ingesting) Medicine.kif 4688-4688 Hypertension is disease treatment beta blocker for ingesting
(diseaseMedicine Hives Levocetirizine Ingesting) Medicine.kif 5263-5263 Urticaria is disease treatment levocetirizine for ingesting
(diseaseMedicine Insomnia Benzodiazepine Ingesting) Medicine.kif 3886-3886 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 4631-4631 Lupus is disease treatment Benelysta for ingesting
(diseaseMedicine Lupus Hydroxychloroquine Ingesting) Medicine.kif 5626-5626 Lupus is disease treatment hydroxychloroquine for ingesting
(diseaseMedicine Lupus MycophenolicAcid Ingesting) Medicine.kif 4744-4744 Lupus is disease treatment mycophenolic acid for ingesting
(diseaseMedicine LymeDisease Clarithromycin Ingesting) Medicine.kif 3600-3600 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 11186-11208
(=>
    (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 11247-11269
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10377-10383
(=>
    (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 11402-11425
(=>
    (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 11372-11393
(=>
    (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 11121-11142
(=>
    (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 9824-9834
(=>
    (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 9848-9859

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 4201-4225
(=>
    (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 10414-10422
(=>
    (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 2555-2569
(=>
    (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 3318-3333
(=>
    (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 11044-11056
(=>
    (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 11064-11076
(=>
    (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 4898-4918
(=>
    (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 13770-13790
(=>
    (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 10602-10610
(=>
    (instance ?S Swallowing)
    (exists (?I)
        (and
            (instance ?I Ingesting)
            (subProcess ?I ?S))))
Mid-level-ontology.kif 7566-7571
(=>
    (instance ?T Tableware)
    (hasPurpose ?T
        (exists (?I)
            (and
                (instance ?I Ingesting)
                (instrument ?I ?T)))))
Mid-level-ontology.kif 2714-2720
(=>
    (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 1042-1058


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