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 10196-10197
(subclass Ingesting OrganismProcess) Merge.kif 10194-10194

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


(biochemicalAgentDelivery BacillusAnthracis Ingesting) WMD.kif 282-282
(biochemicalAgentDelivery BacillusCereus Ingesting) WMD.kif 1850-1850
(biochemicalAgentDelivery BlisterAgent Ingesting) WMD.kif 478-478
(biochemicalAgentDelivery BotulinumToxin Ingesting) WMD.kif 326-326
(biochemicalAgentDelivery BurkholderiaPseudomallei Ingesting) WMD.kif 375-375
(biochemicalAgentDelivery ClostridiumPerfringens Ingesting) WMD.kif 342-342
(biochemicalAgentDelivery CoxiellaBurnetii Ingesting) WMD.kif 1251-1251
(biochemicalAgentDelivery EpsilonToxin Ingesting) WMD.kif 350-350
(biochemicalAgentDelivery EscherichiaColi0157H7 Ingesting) WMD.kif 1720-1720
(biochemicalAgentDelivery HepatitisAVirus Ingesting) WMD.kif 1782-1782
(biochemicalAgentDelivery LassaVirus Ingesting) WMD.kif 1858-1858
(biochemicalAgentDelivery Rotavirus Ingesting) WMD.kif 1818-1818
(biochemicalAgentDelivery SalmonellaTyphi Ingesting) WMD.kif 1353-1353
(biochemicalAgentDelivery Saxitoxin Ingesting) WMD.kif 1456-1456
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting) WMD.kif 1333-1333
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting) WMD.kif 1441-1441
(biochemicalAgentDelivery VibrioCholera Ingesting) WMD.kif 1493-1493
(subclass Drinking Ingesting) Merge.kif 10218-10218
(subclass Eating Ingesting) Merge.kif 10207-10207
(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 1140-1140
(diseaseTreatment Anthrax Doxycycline Ingesting) WMD.kif 1139-1139
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273
(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1579-1579
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) WMD.kif 261-261
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) WMD.kif 1732-1732
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1359-1359
(pathologyTreatment AllergicReaction Antihistamine Ingesting) Mid-level-ontology.kif 9768-9768

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 9781-9803
(=>
    (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 9842-9864
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))		 Merge.kif 10199-10205
(=>
    (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 9997-10020
(=>
    (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 9967-9988
(=>
    (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 9716-9737
(=>
    (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 8573-8583
(=>
    (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 8597-8608

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 10236-10244
(=>
    (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 1288-1290
(=>
    (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 9639-9651
(=>
    (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 9659-9671
(=>
    (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 12282-12302
(=>
    (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 9237-9245
(=>
    (instance ?S Swallowing)
    (exists (?I)
        (and
            (instance ?I Ingesting)
            (subProcess ?I ?S))))		 Mid-level-ontology.kif 6567-6572
(=>
    (instance ?T Tableware)
    (hasPurpose ?T
        (exists (?I)
            (and
                (instance ?I Ingesting)
                (instrument ?I ?T)))))		 Mid-level-ontology.kif 2215-2221


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