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 10162-10163
(subclass Ingesting OrganismProcess) Merge.kif 10160-10160 Ingesting is a subclass of organism process

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 1841-1841 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 1243-1243 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 1711-1711 Ingesting is a biochemical agent delivery of escherichia coli0157 h7
(biochemicalAgentDelivery HepatitisAVirus Ingesting) WMD.kif 1773-1773 Ingesting is a biochemical agent delivery of hepatitisA virus
(biochemicalAgentDelivery LassaVirus Ingesting) WMD.kif 1849-1849 Ingesting is a biochemical agent delivery of lassa virus
(biochemicalAgentDelivery Rotavirus Ingesting) WMD.kif 1809-1809 Ingesting is a biochemical agent delivery of rotavirus
(biochemicalAgentDelivery SalmonellaTyphi Ingesting) WMD.kif 1344-1344 Ingesting is a biochemical agent delivery of salmonella typhi
(biochemicalAgentDelivery Saxitoxin Ingesting) WMD.kif 1447-1447 Ingesting is a biochemical agent delivery of saxitoxin
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting) WMD.kif 1324-1324 Ingesting is a biochemical agent delivery of shigella dysenteriae
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting) WMD.kif 1432-1432 Ingesting is a biochemical agent delivery of staphylococcal enterotoxin b
(biochemicalAgentDelivery VibrioCholera Ingesting) WMD.kif 1484-1484 Ingesting is a biochemical agent delivery of vibrio cholera
(subclass Drinking Ingesting) Merge.kif 10184-10184 Drinking is a subclass of ingesting
(subclass Eating Ingesting) Merge.kif 10173-10173 Eating is a subclass of ingesting
(termFormat ChineseLanguage Ingesting "消化") chinese_format.kif 1079-1079
(termFormat EnglishLanguage Ingesting "ingesting") english_format.kif 1369-1369

appearance as argument number 3
-------------------------


(diseaseTreatment Anthrax Ciprofloxacin Ingesting) WMD.kif 1132-1132 Anthrax is disease treatment ciprofloxacin for ingesting
(diseaseTreatment Anthrax Doxycycline Ingesting) WMD.kif 1131-1131 Anthrax is disease treatment doxycycline for ingesting
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 Burkholderia mallei is disease treatment ciprofloxacin for ingesting
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 Louse borne typhus is disease treatment oral antibiotic for ingesting
(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1570-1570 Pertussis is disease treatment antibiotic for ingesting
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) WMD.kif 261-261 Rocky mountain spotted fever is disease treatment oral antibiotic for ingesting
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) WMD.kif 1723-1723 Tuberculosis is disease treatment oral antibiotic for ingesting
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1350-1350 Typhoid fever is disease treatment antibiotic for ingesting
(pathologyTreatment AllergicReaction Antihistamine Ingesting) Mid-level-ontology.kif 9398-9398 A treatment for AllergicReaction is antihistamine administered via ingesting

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 9411-9433
(=>
    (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 9472-9494
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10165-10171
(=>
    (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 VolumeMeasure)
        (measure ?U1
            (MeasureFn ?N1 ?V))
        (measure ?U2
            (MeasureFn ?N2 ?V)))
    (modalAttribute
        (greaterThan ?N1 ?N2) Likely))
Mid-level-ontology.kif 9627-9650
(=>
    (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 VolumeMeasure)
        (measure ?U1
            (MeasureFn ?N1 ?V))
        (measure ?U2
            (MeasureFn ?N2 ?V)))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))
Mid-level-ontology.kif 9597-9618
(=>
    (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 1554-1566
(=>
    (and
        (instance ?I Ingesting)
        (experiencer ?I ?H)
        (objectTransferred ?I ?D)
        (instance ?D ?DC)
        (sideEffect ?DC ?DIS))
    (modalAttribute
        (attribute ?H ?DIS) Likely))
WMD.kif 1536-1545
(=>
    (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 9346-9367
(=>
    (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 8207-8217
(=>
    (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 8231-8242

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 10202-10210
(=>
    (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 524-538
(=>
    (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS)
    (subclass ?PROCESS Ingesting))
WMD.kif 1279-1281
(=>
    (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 9269-9281
(=>
    (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 9289-9301
(=>
    (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 11902-11922
(=>
    (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 8870-8878
(=>
    (instance ?S Swallowing)
    (exists (?I)
        (and
            (instance ?I Ingesting)
            (subProcess ?I ?S))))
Mid-level-ontology.kif 6275-6280
(=>
    (instance ?T Tableware)
    (hasPurpose ?T
        (exists (?I)
            (and
                (instance ?I Ingesting)
                (instrument ?I ?T)))))
Mid-level-ontology.kif 2211-2217


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