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 消化机体过程subclass

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


(biochemicalAgentDelivery BacillusAnthracis Ingesting) WMD.kif 282-282 消化炭疽杆菌biochemical 病毒传递
(biochemicalAgentDelivery BacillusCereus Ingesting) WMD.kif 1850-1850 消化蜡状芽孢杆菌biochemical 病毒传递
(biochemicalAgentDelivery BlisterAgent Ingesting) WMD.kif 478-478 消化发泡剂biochemical 病毒传递
(biochemicalAgentDelivery BotulinumToxin Ingesting) WMD.kif 326-326 消化肉毒杆菌毒素biochemical 病毒传递
(biochemicalAgentDelivery BurkholderiaPseudomallei Ingesting) WMD.kif 375-375 消化burkholderia 假单胞菌biochemical 病毒传递
(biochemicalAgentDelivery ClostridiumPerfringens Ingesting) WMD.kif 342-342 消化产气荚膜梭菌biochemical 病毒传递
(biochemicalAgentDelivery CoxiellaBurnetii Ingesting) WMD.kif 1251-1251 消化coxiella burnetiibiochemical 病毒传递
(biochemicalAgentDelivery EpsilonToxin Ingesting) WMD.kif 350-350 消化ε毒素biochemical 病毒传递
(biochemicalAgentDelivery EscherichiaColi0157H7 Ingesting) WMD.kif 1720-1720 消化大肠杆菌 coli0157 h7biochemical 病毒传递
(biochemicalAgentDelivery HepatitisAVirus Ingesting) WMD.kif 1782-1782 消化A型肝炎病毒biochemical 病毒传递
(biochemicalAgentDelivery LassaVirus Ingesting) WMD.kif 1858-1858 消化拉萨病毒biochemical 病毒传递
(biochemicalAgentDelivery Rotavirus Ingesting) WMD.kif 1818-1818 消化轮状病毒biochemical 病毒传递
(biochemicalAgentDelivery SalmonellaTyphi Ingesting) WMD.kif 1353-1353 消化伤寒沙门氏菌biochemical 病毒传递
(biochemicalAgentDelivery Saxitoxin Ingesting) WMD.kif 1456-1456 消化石房蛤毒素biochemical 病毒传递
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting) WMD.kif 1333-1333 消化志贺氏痢疾杆菌biochemical 病毒传递
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting) WMD.kif 1441-1441 消化葡萄球菌肠毒素bbiochemical 病毒传递
(biochemicalAgentDelivery VibrioCholera Ingesting) WMD.kif 1493-1493 消化霍乱弧菌biochemical 病毒传递
(subclass Drinking Ingesting) Merge.kif 10218-10218 消化subclass
(subclass Eating Ingesting) Merge.kif 10207-10207 进食消化subclass
(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 炭疽病 是 对于 消化dis​​ease 治愈 环丙沙星
(diseaseTreatment Anthrax Doxycycline Ingesting) WMD.kif 1139-1139 炭疽病 是 对于 消化dis​​ease 治愈 多西环素
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 Burkholderia mallei 是 对于 消化dis​​ease 治愈 环丙沙星
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 虱传斑疹伤寒 是 对于 消化dis​​ease 治愈 口服抗生素
(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1579-1579 百日咳 是 对于 消化dis​​ease 治愈 抗生素
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) WMD.kif 261-261 落基山斑疹热 是 对于 消化dis​​ease 治愈 口服抗生素
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) WMD.kif 1732-1732 结核 是 对于 消化dis​​ease 治愈 口服抗生素
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1359-1359 伤寒 是 对于 消化dis​​ease 治愈 抗生素
(pathologyTreatment AllergicReaction Antihistamine Ingesting) Mid-level-ontology.kif 9768-9768 pathologyTreatment AllergicReaction, Antihistamine and 消化

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