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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ingesting
Ingesting

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 10310-10311
(documentation Ingesting JapaneseLanguage "食べ物が Animal へ持ち込まれる Process。") japanese_format.kif 1657-1657
(subclass Ingesting Consuming) Mid-level-ontology.kif 18125-18125
(subclass Ingesting OrganismProcess) Merge.kif 10307-10307
(subclass Ingesting Transfer) Merge.kif 10308-10308

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 10332-10332
(subclass Eating Ingesting) Merge.kif 10321-10321
(subclass IVTherapy Ingesting) Medicine.kif 1056-1056
(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

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
(diseaseMedicine Abatacept RheumatoidArthritis Ingesting) Medicine.kif 4939-4939
(diseaseMedicine AllergicRhinitis Chlorpheniramine Ingesting) Medicine.kif 5622-5622
(diseaseMedicine AllergicRhinitis Levocetirizine Ingesting) Medicine.kif 5243-5243
(diseaseMedicine Anthrax Ciprofloxacin Ingesting) WMD.kif 1140-1140
(diseaseMedicine Anthrax Doxycycline Ingesting) WMD.kif 1139-1139
(diseaseMedicine Anxiety Benzodiazepine Ingesting) Medicine.kif 3870-3870
(diseaseMedicine AttentionDeficitHyperactivityDisorder Lisdexamfetamine Ingesting) Medicine.kif 3967-3967
(diseaseMedicine BacterialPneumonia Clarithromycin Ingesting) Medicine.kif 3587-3587
(diseaseMedicine Beriberi VitaminB1 Ingesting) Medicine.kif 2457-2457
(diseaseMedicine BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359
(diseaseMedicine ChronicObstructivePulmonaryDisease Roflumilast Ingesting) Medicine.kif 3920-3920
(diseaseMedicine CrohnsDisease MycophenolicAcid Ingesting) Medicine.kif 4724-4724
(diseaseMedicine CrohnsDisease Sulfasalazine Ingesting) Medicine.kif 3903-3903
(diseaseMedicine Depression Escitalopram Ingesting) Medicine.kif 4039-4039
(diseaseMedicine HeartAttack BetaBlocker Ingesting) Medicine.kif 4667-4667
(diseaseMedicine HeartPalpitations BetaBlocker Ingesting) Medicine.kif 4668-4668
(diseaseMedicine HighBloodPressure BetaBlocker Ingesting) Medicine.kif 4669-4669
(diseaseMedicine Hives Levocetirizine Ingesting) Medicine.kif 5242-5242
(diseaseMedicine Insomnia Benzodiazepine Ingesting) Medicine.kif 3871-3871
(diseaseMedicine LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273
(diseaseMedicine Lupus Benelysta Ingesting) Medicine.kif 4612-4612
(diseaseMedicine Lupus Hydroxychloroquine Ingesting) Medicine.kif 5605-5605
(diseaseMedicine Lupus MycophenolicAcid Ingesting) Medicine.kif 4725-4725
(diseaseMedicine LymeDisease Clarithromycin Ingesting) Medicine.kif 3585-3585

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 10663-10685
(=>
    (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 10724-10746
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10313-10319
(=>
    (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 10879-10902
(=>
    (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 10849-10870
(=>
    (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 10598-10619
(=>
    (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 9300-9310
(=>
    (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 9324-9335

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 10350-10358
(=>
    (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 10521-10533
(=>
    (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 10541-10553
(=>
    (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 13245-13265
(=>
    (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 10079-10087
(=>
    (instance ?S Swallowing)
    (exists (?I)
        (and
            (instance ?I Ingesting)
            (subProcess ?I ?S))))
Mid-level-ontology.kif 7086-7091
(=>
    (instance ?T Tableware)
    (hasPurpose ?T
        (exists (?I)
            (and
                (instance ?I Ingesting)
                (instrument ?I ?T)))))
Mid-level-ontology.kif 2245-2251
(=>
    (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