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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ingesting

 Sigma KEE - Ingesting
Ingesting(Ingestione)

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 10249-10250
(documentation Ingesting JapaneseLanguage "食べ物が Animal へ持ち込まれる Process。") japanese_format.kif 1657-1657
(subclass Ingesting OrganismProcess) Merge.kif 10246-10246 Ingestione è una sottoclasse di ProcessoOrganico
(subclass Ingesting Transfer) Merge.kif 10247-10247 Ingestione è una sottoclasse di Trasferimento

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


(biochemicalAgentDelivery BacillusAnthracis Ingesting) WMD.kif 282-282 biochemicalAgentDelivery BacillusAnthracis and Ingestione
(biochemicalAgentDelivery BacillusCereus Ingesting) WMD.kif 1850-1850 biochemicalAgentDelivery BacillusCereus and Ingestione
(biochemicalAgentDelivery BlisterAgent Ingesting) WMD.kif 478-478 biochemicalAgentDelivery BlisterAgent and Ingestione
(biochemicalAgentDelivery BotulinumToxin Ingesting) WMD.kif 326-326 biochemicalAgentDelivery BotulinumToxin and Ingestione
(biochemicalAgentDelivery BurkholderiaPseudomallei Ingesting) WMD.kif 375-375 biochemicalAgentDelivery BurkholderiaPseudomallei and Ingestione
(biochemicalAgentDelivery ClostridiumPerfringens Ingesting) WMD.kif 342-342 biochemicalAgentDelivery ClostridiumPerfringens and Ingestione
(biochemicalAgentDelivery CoxiellaBurnetii Ingesting) WMD.kif 1251-1251 biochemicalAgentDelivery CoxiellaBurnetii and Ingestione
(biochemicalAgentDelivery EpsilonToxin Ingesting) WMD.kif 350-350 biochemicalAgentDelivery EpsilonToxin and Ingestione
(biochemicalAgentDelivery EscherichiaColi0157H7 Ingesting) WMD.kif 1720-1720 biochemicalAgentDelivery EscherichiaColi0157H7 and Ingestione
(biochemicalAgentDelivery HepatitisAVirus Ingesting) WMD.kif 1782-1782 biochemicalAgentDelivery HepatitisAVirus and Ingestione
(biochemicalAgentDelivery LassaVirus Ingesting) WMD.kif 1858-1858 biochemicalAgentDelivery LassaVirus and Ingestione
(biochemicalAgentDelivery Rotavirus Ingesting) WMD.kif 1818-1818 biochemicalAgentDelivery Rotavirus and Ingestione
(biochemicalAgentDelivery SalmonellaTyphi Ingesting) WMD.kif 1353-1353 biochemicalAgentDelivery SalmonellaTyphi and Ingestione
(biochemicalAgentDelivery Saxitoxin Ingesting) WMD.kif 1456-1456 biochemicalAgentDelivery Saxitoxin and Ingestione
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting) WMD.kif 1333-1333 biochemicalAgentDelivery ShigellaDysenteriae and Ingestione
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting) WMD.kif 1441-1441 biochemicalAgentDelivery StaphylococcalEnterotoxinB and Ingestione
(biochemicalAgentDelivery VibrioCholera Ingesting) WMD.kif 1493-1493 biochemicalAgentDelivery VibrioCholera and Ingestione
(subclass Drinking Ingesting) Merge.kif 10271-10271 Bere è una sottoclasse di Ingestione
(subclass Eating Ingesting) Merge.kif 10260-10260 Mangiare è una sottoclasse di Ingestione
(subclass IVTherapy Ingesting) Medicine.kif 1068-1068 IVTherapy è una sottoclasse di Ingestione
(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 4765-4765 diseaseMedicine ADHD, Adderall and Ingestione
(diseaseMedicine Abatacept RheumatoidArthritis Ingesting) Medicine.kif 4951-4951 diseaseMedicine Abatacept, RheumatoidArthritis and Ingestione
(diseaseMedicine AllergicRhinitis Chlorpheniramine Ingesting) Medicine.kif 5634-5634 diseaseMedicine AllergicRhinitis, Chlorpheniramine and Ingestione
(diseaseMedicine AllergicRhinitis Levocetirizine Ingesting) Medicine.kif 5255-5255 diseaseMedicine AllergicRhinitis, Levocetirizine and Ingestione
(diseaseMedicine Anthrax Ciprofloxacin Ingesting) WMD.kif 1140-1140 diseaseMedicine Anthrax, Ciprofloxacin and Ingestione
(diseaseMedicine Anthrax Doxycycline Ingesting) WMD.kif 1139-1139 diseaseMedicine Anthrax, Doxycycline and Ingestione
(diseaseMedicine Anxiety Benzodiazepine Ingesting) Medicine.kif 3882-3882 diseaseMedicine Anxiety, Benzodiazepine and Ingestione
(diseaseMedicine AttentionDeficitHyperactivityDisorder Lisdexamfetamine Ingesting) Medicine.kif 3979-3979 diseaseMedicine AttentionDeficitHyperactivityDisorder, Lisdexamfetamine and Ingestione
(diseaseMedicine BacterialPneumonia Clarithromycin Ingesting) Medicine.kif 3599-3599 diseaseMedicine BacterialPneumonia, Clarithromycin and Ingestione
(diseaseMedicine Beriberi VitaminB1 Ingesting) Medicine.kif 2469-2469 diseaseMedicine Beriberi, VitaminB1 and Ingestione
(diseaseMedicine BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 diseaseMedicine BurkholderiaMallei, Ciprofloxacin and Ingestione
(diseaseMedicine ChronicObstructivePulmonaryDisease Roflumilast Ingesting) Medicine.kif 3932-3932 diseaseMedicine ChronicObstructivePulmonaryDisease, Roflumilast and Ingestione
(diseaseMedicine CrohnsDisease MycophenolicAcid Ingesting) Medicine.kif 4736-4736 diseaseMedicine CrohnsDisease, MycophenolicAcid and Ingestione
(diseaseMedicine CrohnsDisease Sulfasalazine Ingesting) Medicine.kif 3915-3915 diseaseMedicine CrohnsDisease, Sulfasalazine and Ingestione
(diseaseMedicine Depression Escitalopram Ingesting) Medicine.kif 4051-4051 diseaseMedicine Depression, Escitalopram and Ingestione
(diseaseMedicine HeartAttack BetaBlocker Ingesting) Medicine.kif 4679-4679 diseaseMedicine HeartAttack, BetaBlocker and Ingestione
(diseaseMedicine HeartPalpitations BetaBlocker Ingesting) Medicine.kif 4680-4680 diseaseMedicine HeartPalpitations, BetaBlocker and Ingestione
(diseaseMedicine HighBloodPressure BetaBlocker Ingesting) Medicine.kif 4681-4681 diseaseMedicine HighBloodPressure, BetaBlocker and Ingestione
(diseaseMedicine Hives Levocetirizine Ingesting) Medicine.kif 5254-5254 diseaseMedicine Hives, Levocetirizine and Ingestione
(diseaseMedicine Insomnia Benzodiazepine Ingesting) Medicine.kif 3883-3883 diseaseMedicine Insomnia, Benzodiazepine and Ingestione
(diseaseMedicine LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 diseaseMedicine LouseBorneTyphus, OralAntibiotic and Ingestione
(diseaseMedicine Lupus Benelysta Ingesting) Medicine.kif 4624-4624 diseaseMedicine Lupus, Benelysta and Ingestione
(diseaseMedicine Lupus Hydroxychloroquine Ingesting) Medicine.kif 5617-5617 diseaseMedicine Lupus, Hydroxychloroquine and Ingestione
(diseaseMedicine Lupus MycophenolicAcid Ingesting) Medicine.kif 4737-4737 diseaseMedicine Lupus, MycophenolicAcid and Ingestione
(diseaseMedicine LymeDisease Clarithromycin Ingesting) Medicine.kif 3597-3597 diseaseMedicine LymeDisease, Clarithromycin and Ingestione

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 9839-9861
(=>
    (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 9900-9922
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))		 Merge.kif 10252-10258
(=>
    (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 10055-10078
(=>
    (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 10025-10046
(=>
    (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 9774-9795
(=>
    (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 8600-8610
(=>
    (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 8624-8635

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 10289-10297
(=>
    (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 3317-3332
(=>
    (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 9697-9709
(=>
    (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 9717-9729
(=>
    (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 4891-4911
(=>
    (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 12421-12441
(=>
    (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 9255-9263
(=>
    (instance ?S Swallowing)
    (exists (?I)
        (and
            (instance ?I Ingesting)
            (subProcess ?I ?S))))		 Mid-level-ontology.kif 6610-6615
(=>
    (instance ?T Tableware)
    (hasPurpose ?T
        (exists (?I)
            (and
                (instance ?I Ingesting)
                (instrument ?I ?T)))))		 Mid-level-ontology.kif 2252-2258
(=>
    (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 1050-1066


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