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 9850-9851
(subclass Ingesting OrganismProcess) Merge.kif 9848-9848 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 1789-1789 Ingesting is a biochemical agent delivery of bacillus cereus
(biochemicalAgentDelivery BlisterAgent Ingesting) WMD.kif 473-473 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 1237-1237 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 1659-1659 Ingesting is a biochemical agent delivery of escherichia coli0157 h7
(biochemicalAgentDelivery HepatitisAVirus Ingesting) WMD.kif 1721-1721 Ingesting is a biochemical agent delivery of hepatitisA virus
(biochemicalAgentDelivery LassaVirus Ingesting) WMD.kif 1797-1797 Ingesting is a biochemical agent delivery of lassa virus
(biochemicalAgentDelivery Rotavirus Ingesting) WMD.kif 1757-1757 Ingesting is a biochemical agent delivery of rotavirus
(biochemicalAgentDelivery SalmonellaTyphi Ingesting) WMD.kif 1338-1338 Ingesting is a biochemical agent delivery of salmonella typhi
(biochemicalAgentDelivery Saxitoxin Ingesting) WMD.kif 1426-1426 Ingesting is a biochemical agent delivery of saxitoxin
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting) WMD.kif 1318-1318 Ingesting is a biochemical agent delivery of shigella dysenteriae
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting) WMD.kif 1411-1411 Ingesting is a biochemical agent delivery of staphylococcal enterotoxin b
(biochemicalAgentDelivery VibrioCholera Ingesting) WMD.kif 1463-1463 Ingesting is a biochemical agent delivery of vibrio cholera
(subclass Drinking Ingesting) Merge.kif 9872-9872 Drinking is a subclass of ingesting
(subclass Eating Ingesting) Merge.kif 9861-9861 Eating is a subclass of ingesting
(termFormat ChineseLanguage Ingesting "消化") chinese_format.kif 1079-1079
(termFormat EnglishLanguage Ingesting "ingesting") english_format.kif 1374-1374

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


(diseaseTreatment Anthrax Ciprofloxacin Ingesting) WMD.kif 1126-1126 Anthrax is disease treatment ciprofloxacin for ingesting
(diseaseTreatment Anthrax Doxycycline Ingesting) WMD.kif 1125-1125 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 1517-1517 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 1671-1671 Tuberculosis is disease treatment oral antibiotic for ingesting
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1344-1344 Typhoid fever is disease treatment antibiotic for ingesting
(pathologyTreatment AllergicReaction Antihistamine Ingesting) Mid-level-ontology.kif 9198-9198 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 9211-9233
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 9853-9859
(=>
    (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 9386-9409
(=>
    (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 9356-9377
(=>
    (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 9146-9167
(=>
    (and
        (instance ?I Ingesting)
        (objectTransferred ?I ?H)
        (instance ?H Hallucinogen)
        (destination ?I ?P))
    (modalAttribute
        (exists (?HAL)
            (and
                (instance ?HAL Hallucinating)
                (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 8179-8189
(=>
    (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 8203-8214

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 818-835
(=>
    (and
        (instance ?DIGEST Digesting)
        (agent ?DIGEST ?ORGANISM))
    (exists (?INGEST)
        (and
            (instance ?INGEST Ingesting)
            (agent ?INGEST ?ORGANISM)
            (overlapsTemporally
                (WhenFn ?INGEST)
                (WhenFn ?DIGEST)))))
Merge.kif 9890-9898
(=>
    (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 1273-1275
(=>
    (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 9069-9081
(=>
    (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 9089-9101
(=>
    (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 11634-11654
(=>
    (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 8842-8850
(=>
    (instance ?S Swallowing)
    (exists (?I)
        (and
            (instance ?I Ingesting)
            (subProcess ?I ?S))))
Mid-level-ontology.kif 6247-6252
(=>
    (instance ?T Tableware)
    (hasPurpose ?T
        (exists (?I)
            (and
                (instance ?I Ingesting)
                (instrument ?I ?T)))))
Mid-level-ontology.kif 2190-2196


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