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 10389-10390
(documentation Ingesting JapaneseLanguage "食べ物が Animal へ持ち込まれる Process。") japanese_format.kif 1657-1657
(subclass Ingesting Consuming) Mid-level-ontology.kif 18656-18656 摂取Consumingsubclass では
(subclass Ingesting OrganismProcess) Merge.kif 10386-10386 摂取生物プロセスsubclass では
(subclass Ingesting Transfer) Merge.kif 10387-10387 摂取移動subclass では

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


(biochemicalAgentDelivery BacillusAnthracis Ingesting) WMD.kif 282-282 biochemicalAgentDelivery BacillusAnthracis and 摂取
(biochemicalAgentDelivery BacillusCereus Ingesting) WMD.kif 1850-1850 biochemicalAgentDelivery BacillusCereus and 摂取
(biochemicalAgentDelivery BlisterAgent Ingesting) WMD.kif 478-478 biochemicalAgentDelivery BlisterAgent and 摂取
(biochemicalAgentDelivery BotulinumToxin Ingesting) WMD.kif 326-326 biochemicalAgentDelivery BotulinumToxin and 摂取
(biochemicalAgentDelivery BurkholderiaPseudomallei Ingesting) WMD.kif 375-375 biochemicalAgentDelivery BurkholderiaPseudomallei and 摂取
(biochemicalAgentDelivery ClostridiumPerfringens Ingesting) WMD.kif 342-342 biochemicalAgentDelivery ClostridiumPerfringens and 摂取
(biochemicalAgentDelivery CoxiellaBurnetii Ingesting) WMD.kif 1251-1251 biochemicalAgentDelivery CoxiellaBurnetii and 摂取
(biochemicalAgentDelivery EpsilonToxin Ingesting) WMD.kif 350-350 biochemicalAgentDelivery EpsilonToxin and 摂取
(biochemicalAgentDelivery EscherichiaColi0157H7 Ingesting) WMD.kif 1720-1720 biochemicalAgentDelivery EscherichiaColi0157H7 and 摂取
(biochemicalAgentDelivery HepatitisAVirus Ingesting) WMD.kif 1782-1782 biochemicalAgentDelivery HepatitisAVirus and 摂取
(biochemicalAgentDelivery LassaVirus Ingesting) WMD.kif 1858-1858 biochemicalAgentDelivery LassaVirus and 摂取
(biochemicalAgentDelivery Rotavirus Ingesting) WMD.kif 1818-1818 biochemicalAgentDelivery Rotavirus and 摂取
(biochemicalAgentDelivery SalmonellaTyphi Ingesting) WMD.kif 1353-1353 biochemicalAgentDelivery SalmonellaTyphi and 摂取
(biochemicalAgentDelivery Saxitoxin Ingesting) WMD.kif 1456-1456 biochemicalAgentDelivery Saxitoxin and 摂取
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting) WMD.kif 1333-1333 biochemicalAgentDelivery ShigellaDysenteriae and 摂取
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting) WMD.kif 1441-1441 biochemicalAgentDelivery StaphylococcalEnterotoxinB and 摂取
(biochemicalAgentDelivery VibrioCholera Ingesting) WMD.kif 1493-1493 biochemicalAgentDelivery VibrioCholera and 摂取
(subclass Drinking Ingesting) Merge.kif 10411-10411 飲酒摂取subclass では
(subclass Eating Ingesting) Merge.kif 10400-10400 摂食摂取subclass では
(subclass IVTherapy Ingesting) Medicine.kif 1060-1060 IVTherapy摂取subclass では
(termFormat ChineseLanguage Ingesting "消化") chinese_format.kif 1079-1079 IVTherapy摂取subclass では
(termFormat EnglishLanguage Ingesting "ingesting") english_format.kif 1369-1369 IVTherapy摂取subclass では
(termFormat FrenchLanguage Ingesting "ing�rer") french_format.kif 757-757 IVTherapy摂取subclass では
(termFormat Hindi Ingesting "antargrahaNa") terms-hindi.txt 289-289 IVTherapy摂取subclass では

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 diseaseMedicine ADHD, Adderall and 摂取
(diseaseMedicine Abatacept RheumatoidArthritis Ingesting) Medicine.kif 4958-4958 diseaseMedicine Abatacept, RheumatoidArthritis and 摂取
(diseaseMedicine AllergicRhinitis Chlorpheniramine Ingesting) Medicine.kif 5644-5644 diseaseMedicine AllergicRhinitis, Chlorpheniramine and 摂取
(diseaseMedicine AllergicRhinitis Levocetirizine Ingesting) Medicine.kif 5264-5264 diseaseMedicine AllergicRhinitis, Levocetirizine and 摂取
(diseaseMedicine Anthrax Ciprofloxacin Ingesting) WMD.kif 1140-1140 diseaseMedicine Anthrax, Ciprofloxacin and 摂取
(diseaseMedicine Anthrax Doxycycline Ingesting) WMD.kif 1139-1139 diseaseMedicine Anthrax, Doxycycline and 摂取
(diseaseMedicine Anxiety Benzodiazepine Ingesting) Medicine.kif 3885-3885 diseaseMedicine Anxiety, Benzodiazepine and 摂取
(diseaseMedicine AttentionDeficitHyperactivityDisorder Lisdexamfetamine Ingesting) Medicine.kif 3982-3982 diseaseMedicine AttentionDeficitHyperactivityDisorder, Lisdexamfetamine and 摂取
(diseaseMedicine BacterialPneumonia Clarithromycin Ingesting) Medicine.kif 3602-3602 diseaseMedicine BacterialPneumonia, Clarithromycin and 摂取
(diseaseMedicine Beriberi VitaminB1 Ingesting) Medicine.kif 2468-2468 diseaseMedicine Beriberi, VitaminB1 and 摂取
(diseaseMedicine BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 diseaseMedicine BurkholderiaMallei, Ciprofloxacin and 摂取
(diseaseMedicine ChronicObstructivePulmonaryDisease Roflumilast Ingesting) Medicine.kif 3935-3935 diseaseMedicine ChronicObstructivePulmonaryDisease, Roflumilast and 摂取
(diseaseMedicine CrohnsDisease MycophenolicAcid Ingesting) Medicine.kif 4743-4743 diseaseMedicine CrohnsDisease, MycophenolicAcid and 摂取
(diseaseMedicine CrohnsDisease Sulfasalazine Ingesting) Medicine.kif 3918-3918 diseaseMedicine CrohnsDisease, Sulfasalazine and 摂取
(diseaseMedicine Depression Escitalopram Ingesting) Medicine.kif 4054-4054 diseaseMedicine Depression, Escitalopram and 摂取
(diseaseMedicine HeartAttack BetaBlocker Ingesting) Medicine.kif 4686-4686 diseaseMedicine HeartAttack, BetaBlocker and 摂取
(diseaseMedicine HeartPalpitations BetaBlocker Ingesting) Medicine.kif 4687-4687 diseaseMedicine HeartPalpitations, BetaBlocker and 摂取
(diseaseMedicine HighBloodPressure BetaBlocker Ingesting) Medicine.kif 4688-4688 diseaseMedicine HighBloodPressure, BetaBlocker and 摂取
(diseaseMedicine Hives Levocetirizine Ingesting) Medicine.kif 5263-5263 diseaseMedicine Hives, Levocetirizine and 摂取
(diseaseMedicine Insomnia Benzodiazepine Ingesting) Medicine.kif 3886-3886 diseaseMedicine Insomnia, Benzodiazepine and 摂取
(diseaseMedicine LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 diseaseMedicine LouseBorneTyphus, OralAntibiotic and 摂取
(diseaseMedicine Lupus Benelysta Ingesting) Medicine.kif 4631-4631 diseaseMedicine Lupus, Benelysta and 摂取
(diseaseMedicine Lupus Hydroxychloroquine Ingesting) Medicine.kif 5626-5626 diseaseMedicine Lupus, Hydroxychloroquine and 摂取
(diseaseMedicine Lupus MycophenolicAcid Ingesting) Medicine.kif 4744-4744 diseaseMedicine Lupus, MycophenolicAcid and 摂取
(diseaseMedicine LymeDisease Clarithromycin Ingesting) Medicine.kif 3600-3600 diseaseMedicine LymeDisease, Clarithromycin and 摂取

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 11168-11190
(=>
    (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 11229-11251
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10392-10398
(=>
    (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 11384-11407
(=>
    (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 11354-11375
(=>
    (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 11103-11124
(=>
    (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 9806-9816
(=>
    (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 9830-9841

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 4203-4227
(=>
    (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 10429-10437
(=>
    (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 11026-11038
(=>
    (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 11046-11058
(=>
    (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 13752-13772
(=>
    (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 10584-10592
(=>
    (instance ?S Swallowing)
    (exists (?I)
        (and
            (instance ?I Ingesting)
            (subProcess ?I ?S))))
Mid-level-ontology.kif 7547-7552
(=>
    (instance ?T Tableware)
    (hasPurpose ?T
        (exists (?I)
            (and
                (instance ?I Ingesting)
                (instrument ?I ?T)))))
Mid-level-ontology.kif 2715-2721
(=>
    (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