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


s__documentation(s__Ingesting,s__ChineseLanguage,'"这是 Animal 进食的 Process。"')

chinese_format.kif 2908-2908
s__documentation(s__Ingesting,s__EnglishLanguage,'"The Process by which food or Medicine is taken into an Animal."')

Merge.kif 9850-9851
s__instance(s__Ingesting,s__SetOrClass)

s__instance(s__OrganismProcess,s__SetOrClass)

s__subclass(s__Ingesting,s__OrganismProcess)

Merge.kif 9848-9848 Ingesting is a subclass of organism process

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


s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Ingesting)

WMD.kif 282-282 Ingesting is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentDelivery(s__BacillusCereus,s__Ingesting)

WMD.kif 1789-1789 Ingesting is a biochemical agent delivery of bacillus cereus
s__biochemicalAgentDelivery(s__BlisterAgent,s__Ingesting)

WMD.kif 473-473 Ingesting is a biochemical agent delivery of blister agent
s__biochemicalAgentDelivery(s__BotulinumToxin,s__Ingesting)

WMD.kif 326-326 Ingesting is a biochemical agent delivery of botulinum toxin
s__biochemicalAgentDelivery(s__BurkholderiaPseudomallei,s__Ingesting)

WMD.kif 375-375 Ingesting is a biochemical agent delivery of burkholderia pseudomallei
s__biochemicalAgentDelivery(s__ClostridiumPerfringens,s__Ingesting)

WMD.kif 342-342 Ingesting is a biochemical agent delivery of clostridium perfringens
s__biochemicalAgentDelivery(s__CoxiellaBurnetii,s__Ingesting)

WMD.kif 1237-1237 Ingesting is a biochemical agent delivery of coxiella burnetii
s__biochemicalAgentDelivery(s__EpsilonToxin,s__Ingesting)

WMD.kif 350-350 Ingesting is a biochemical agent delivery of epsilon toxin
s__biochemicalAgentDelivery(s__EscherichiaColi0157H7,s__Ingesting)

WMD.kif 1659-1659 Ingesting is a biochemical agent delivery of escherichia coli0157 h7
s__biochemicalAgentDelivery(s__HepatitisAVirus,s__Ingesting)

WMD.kif 1721-1721 Ingesting is a biochemical agent delivery of hepatitisA virus
s__biochemicalAgentDelivery(s__LassaVirus,s__Ingesting)

WMD.kif 1797-1797 Ingesting is a biochemical agent delivery of lassa virus
s__biochemicalAgentDelivery(s__Rotavirus,s__Ingesting)

WMD.kif 1757-1757 Ingesting is a biochemical agent delivery of rotavirus
s__biochemicalAgentDelivery(s__SalmonellaTyphi,s__Ingesting)

WMD.kif 1338-1338 Ingesting is a biochemical agent delivery of salmonella typhi
s__biochemicalAgentDelivery(s__Saxitoxin,s__Ingesting)

WMD.kif 1426-1426 Ingesting is a biochemical agent delivery of saxitoxin
s__biochemicalAgentDelivery(s__ShigellaDysenteriae,s__Ingesting)

WMD.kif 1318-1318 Ingesting is a biochemical agent delivery of shigella dysenteriae
s__biochemicalAgentDelivery(s__StaphylococcalEnterotoxinB,s__Ingesting)

WMD.kif 1411-1411 Ingesting is a biochemical agent delivery of staphylococcal enterotoxin b
s__biochemicalAgentDelivery(s__VibrioCholera,s__Ingesting)

WMD.kif 1463-1463 Ingesting is a biochemical agent delivery of vibrio cholera
s__instance(s__Ingesting,s__SetOrClass)

s__subclass(s__Drinking,s__Ingesting)

s__instance(s__Drinking,s__SetOrClass)

Merge.kif 9872-9872 Drinking is a subclass of ingesting
s__instance(s__Eating,s__SetOrClass)

s__instance(s__Ingesting,s__SetOrClass)

s__subclass(s__Eating,s__Ingesting)

Merge.kif 9861-9861 Eating is a subclass of ingesting
s__termFormat(s__ChineseLanguage,s__Ingesting,'"消化"')

chinese_format.kif 1079-1079
s__termFormat(s__EnglishLanguage,s__Ingesting,'"ingesting"')

english_format.kif 1374-1374

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


s__diseaseTreatment(s__Anthrax,s__Ciprofloxacin,s__Ingesting)

WMD.kif 1126-1126 Anthrax is disease treatment ciprofloxacin for ingesting
s__diseaseTreatment(s__Anthrax,s__Doxycycline,s__Ingesting)

WMD.kif 1125-1125 Anthrax is disease treatment doxycycline for ingesting
s__diseaseTreatment(s__BurkholderiaMallei,s__Ciprofloxacin,s__Ingesting)

WMD.kif 359-359 Burkholderia mallei is disease treatment ciprofloxacin for ingesting
s__diseaseTreatment(s__LouseBorneTyphus,s__OralAntibiotic,s__Ingesting)

WMD.kif 273-273 Louse borne typhus is disease treatment oral antibiotic for ingesting
s__diseaseTreatment(s__Pertussis,s__Antibiotic,s__Ingesting)

WMD.kif 1517-1517 Pertussis is disease treatment antibiotic for ingesting
s__diseaseTreatment(s__RockyMountainSpottedFever,s__OralAntibiotic,s__Ingesting)

WMD.kif 261-261 Rocky mountain spotted fever is disease treatment oral antibiotic for ingesting
s__diseaseTreatment(s__Tuberculosis,s__OralAntibiotic,s__Ingesting)

WMD.kif 1671-1671 Tuberculosis is disease treatment oral antibiotic for ingesting
s__diseaseTreatment(s__TyphoidFever,s__Antibiotic,s__Ingesting)

WMD.kif 1344-1344 Typhoid fever is disease treatment antibiotic for ingesting
s__pathologyTreatment(s__AllergicReaction,s__Antihistamine,s__Ingesting)

Mid-level-ontology.kif 9198-9198 A treatment for AllergicReaction is antihistamine administered via ingesting

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9211-9233
( ! [V__F,V__ACT] :
   ((s__instance(V__F,s__Object) =>
       (((s__instance(V__ACT,s__Ingesting) &
             s__resource(V__ACT,V__F))
         =>
         ((s__instance(V__F,s__FoodForFn(s__Organism))
           |
           s__instance(V__F,s__Medicine))))))
)
)

Merge.kif 9853-9859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9386-9409
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9356-9377
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9146-9167
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 88-99
( ! [V__P,V__H,V__I] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__P,s__Poison) &
             s__instance(V__I,s__Ingesting) &
             s__moves(V__I,V__P)
           &
           s__experiencer(V__I,V__H))
       =>
       (( ? [V__D] :
           ((s__instance(V__D,s__Damaging) &
               s__experiencer(V__D,V__H)
             &
             s__causes(V__I,V__D))))))))
)
)

Mid-level-ontology.kif 8179-8189
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8203-8214

consequent
-------------------------


( ! [V__M1,V__M2,V__NUM1,V__NUM2,V__Y] :
   (((s__instance(V__M1,s__MassMeasure) &
         s__instance(V__M2,s__MassMeasure) &
         s__instance(V__NUM1,s__RealNumber) &
         s__instance(V__NUM2,s__RealNumber) &
         s__instance(V__Y,s__RealNumber))
       =>
       ((((s__MeasureFn(V__Y,s__McgPerKg) = s__PerFn(V__M1,V__M2))
           &
           (V__M1 = s__MeasureFn(V__NUM1,s__MicroFn(s__Gram)))
         &
         (V__M2 = s__MeasureFn(V__NUM2,s__KiloFn(s__Gram))))
     =>
     (( ? [V__I, V__B, V__A] :
         ((s__instance(V__I,s__Ingesting) &
             s__instance(V__B,s__BiologicallyActiveSubstance) &
             s__instance(V__A,s__Organism) &
             s__patient(V__I,V__B)
           &
           s__agent(V__I,V__A)
         &
         s__weight(V__B,V__M1)
       &
       s__weight(V__A,V__M2))))))))
)
)

WMD.kif 818-835
( ! [V__ORGANISM,V__DIGEST] :
   ((s__instance(V__ORGANISM,s__Agent) =>
       (((s__instance(V__DIGEST,s__Digesting) &
             s__agent(V__DIGEST,V__ORGANISM))
         =>
         (( ? [V__INGEST] :
             ((s__instance(V__INGEST,s__Ingesting) &
                 s__agent(V__INGEST,V__ORGANISM)
               &
               s__overlapsTemporally(s__WhenFn(V__INGEST)
            ,s__WhenFn(V__DIGEST)))))))))
)
)

Merge.kif 9890-9898
No TPTP formula. May not be expressible in strict first order. Food.kif 524-538
( ! [V__PROCESS,V__DISEASE] :
   (((s__instance(V__PROCESS,s__Class) &
         s__subclass(V__PROCESS,s__Process) &
         s__instance(V__DISEASE,s__DiseaseOrSyndrome))
       =>
       ((s__diseaseTreatment(V__DISEASE,s__OralAntibiotic,V__PROCESS)
         =>
         (s__subclass(V__PROCESS,s__Ingesting)))))
   )
)

WMD.kif 1273-1275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9069-9081
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9089-9101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11634-11654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8842-8850
( ! [V__S] :
   ((s__instance(V__S,s__Swallowing) =>
       (( ? [V__I] :
           ((s__instance(V__I,s__Ingesting) &
               s__subProcess(V__I,V__S))))))
   )
)

Mid-level-ontology.kif 6247-6252
No TPTP formula. May not be expressible in strict first order. 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