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

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


(biochemicalAgentDelivery BacillusAnthracis Ingesting) WMD.kif 282-282 Ingesting 是 炭疽桿菌 的 biochemical 病毒傳遞
(biochemicalAgentDelivery BacillusCereus Ingesting) WMD.kif 1850-1850 Ingesting 是 蠟狀芽孢桿菌 的 biochemical 病毒傳遞
(biochemicalAgentDelivery BlisterAgent Ingesting) WMD.kif 478-478 Ingesting 是 發泡劑 的 biochemical 病毒傳遞
(biochemicalAgentDelivery BotulinumToxin Ingesting) WMD.kif 326-326 Ingesting 是 肉毒桿菌毒素 的 biochemical 病毒傳遞
(biochemicalAgentDelivery BurkholderiaPseudomallei Ingesting) WMD.kif 375-375 Ingesting 是 burkholderia 假單胞菌 的 biochemical 病毒傳遞
(biochemicalAgentDelivery ClostridiumPerfringens Ingesting) WMD.kif 342-342 Ingesting 是 產氣莢膜梭菌 的 biochemical 病毒傳遞
(biochemicalAgentDelivery CoxiellaBurnetii Ingesting) WMD.kif 1251-1251 Ingesting 是 coxiella burnetii 的 biochemical 病毒傳遞
(biochemicalAgentDelivery EpsilonToxin Ingesting) WMD.kif 350-350 Ingesting 是 ε毒素 的 biochemical 病毒傳遞
(biochemicalAgentDelivery EscherichiaColi0157H7 Ingesting) WMD.kif 1720-1720 Ingesting 是 大腸桿菌 coli0157 h7 的 biochemical 病毒傳遞
(biochemicalAgentDelivery HepatitisAVirus Ingesting) WMD.kif 1782-1782 Ingesting 是 A型肝炎病毒 的 biochemical 病毒傳遞
(biochemicalAgentDelivery LassaVirus Ingesting) WMD.kif 1858-1858 Ingesting 是 拉薩病毒 的 biochemical 病毒傳遞
(biochemicalAgentDelivery Rotavirus Ingesting) WMD.kif 1818-1818 Ingesting 是 輪狀病毒 的 biochemical 病毒傳遞
(biochemicalAgentDelivery SalmonellaTyphi Ingesting) WMD.kif 1353-1353 Ingesting 是 傷寒沙門氏菌 的 biochemical 病毒傳遞
(biochemicalAgentDelivery Saxitoxin Ingesting) WMD.kif 1456-1456 Ingesting 是 石房蛤毒素 的 biochemical 病毒傳遞
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting) WMD.kif 1333-1333 Ingesting 是 志賀氏痢疾桿菌 的 biochemical 病毒傳遞
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting) WMD.kif 1441-1441 Ingesting 是 葡萄球菌腸毒素b 的 biochemical 病毒傳遞
(biochemicalAgentDelivery VibrioCholera Ingesting) WMD.kif 1493-1493 Ingesting 是 霍亂弧菌 的 biochemical 病毒傳遞
(subclass Drinking Ingesting) Merge.kif 10271-10271 子類 Drinking and Ingesting
(subclass Eating Ingesting) Merge.kif 10260-10260 子類 Eating and Ingesting
(subclass IVTherapy Ingesting) Medicine.kif 1068-1068 子類 IVTherapy and Ingesting
(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 ADHD 是 對於 Ingesting 的 disease 治癒 Adderall
(diseaseMedicine Abatacept RheumatoidArthritis Ingesting) Medicine.kif 4951-4951 Abatacept 是 對於 Ingesting 的 disease 治癒 RheumatoidArthritis
(diseaseMedicine AllergicRhinitis Chlorpheniramine Ingesting) Medicine.kif 5634-5634 AllergicRhinitis 是 對於 Ingesting 的 disease 治癒 Chlorpheniramine
(diseaseMedicine AllergicRhinitis Levocetirizine Ingesting) Medicine.kif 5255-5255 AllergicRhinitis 是 對於 Ingesting 的 disease 治癒 Levocetirizine
(diseaseMedicine Anthrax Ciprofloxacin Ingesting) WMD.kif 1140-1140 炭疽病 是 對於 Ingesting 的 disease 治癒 環丙沙星
(diseaseMedicine Anthrax Doxycycline Ingesting) WMD.kif 1139-1139 炭疽病 是 對於 Ingesting 的 disease 治癒 多西環素
(diseaseMedicine Anxiety Benzodiazepine Ingesting) Medicine.kif 3882-3882 焦慮 是 對於 Ingesting 的 disease 治癒 Benzodiazepine
(diseaseMedicine AttentionDeficitHyperactivityDisorder Lisdexamfetamine Ingesting) Medicine.kif 3979-3979 AttentionDeficitHyperactivityDisorder 是 對於 Ingesting 的 disease 治癒 Lisdexamfetamine
(diseaseMedicine BacterialPneumonia Clarithromycin Ingesting) Medicine.kif 3599-3599 BacterialPneumonia 是 對於 Ingesting 的 disease 治癒 Clarithromycin
(diseaseMedicine Beriberi VitaminB1 Ingesting) Medicine.kif 2469-2469 Beriberi 是 對於 Ingesting 的 disease 治癒 VitaminB1
(diseaseMedicine BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 Burkholderia mallei 是 對於 Ingesting 的 disease 治癒 環丙沙星
(diseaseMedicine ChronicObstructivePulmonaryDisease Roflumilast Ingesting) Medicine.kif 3932-3932 ChronicObstructivePulmonaryDisease 是 對於 Ingesting 的 disease 治癒 Roflumilast
(diseaseMedicine CrohnsDisease MycophenolicAcid Ingesting) Medicine.kif 4736-4736 CrohnsDisease 是 對於 Ingesting 的 disease 治癒 MycophenolicAcid
(diseaseMedicine CrohnsDisease Sulfasalazine Ingesting) Medicine.kif 3915-3915 CrohnsDisease 是 對於 Ingesting 的 disease 治癒 Sulfasalazine
(diseaseMedicine Depression Escitalopram Ingesting) Medicine.kif 4051-4051 Depression 是 對於 Ingesting 的 disease 治癒 Escitalopram
(diseaseMedicine HeartAttack BetaBlocker Ingesting) Medicine.kif 4679-4679 HeartAttack 是 對於 Ingesting 的 disease 治癒 BetaBlocker
(diseaseMedicine HeartPalpitations BetaBlocker Ingesting) Medicine.kif 4680-4680 HeartPalpitations 是 對於 Ingesting 的 disease 治癒 BetaBlocker
(diseaseMedicine HighBloodPressure BetaBlocker Ingesting) Medicine.kif 4681-4681 HighBloodPressure 是 對於 Ingesting 的 disease 治癒 BetaBlocker
(diseaseMedicine Hives Levocetirizine Ingesting) Medicine.kif 5254-5254 Hives 是 對於 Ingesting 的 disease 治癒 Levocetirizine
(diseaseMedicine Insomnia Benzodiazepine Ingesting) Medicine.kif 3883-3883 Insomnia 是 對於 Ingesting 的 disease 治癒 Benzodiazepine
(diseaseMedicine LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 蝨傳斑疹傷寒 是 對於 Ingesting 的 disease 治癒 口服抗生素
(diseaseMedicine Lupus Benelysta Ingesting) Medicine.kif 4624-4624 Lupus 是 對於 Ingesting 的 disease 治癒 Benelysta
(diseaseMedicine Lupus Hydroxychloroquine Ingesting) Medicine.kif 5617-5617 Lupus 是 對於 Ingesting 的 disease 治癒 Hydroxychloroquine
(diseaseMedicine Lupus MycophenolicAcid Ingesting) Medicine.kif 4737-4737 Lupus 是 對於 Ingesting 的 disease 治癒 MycophenolicAcid
(diseaseMedicine LymeDisease Clarithromycin Ingesting) Medicine.kif 3597-3597 LymeDisease 是 對於 Ingesting 的 disease 治癒 Clarithromycin

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 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