Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ingesting
Ingesting

VerbNet: addict-96|addict, devour-39.4|ingest, gobble-39.3|swallow, devour-39.4|ingest, addict-96|addict, devour-39.4|ingest, hiccup-40.1.1|snuffle, hiccup-40.1.1|snuffle, dine-39.5|sup, gobble-39.3|swallow, devour-39.4|ingest, devour-39.4|ingest,


appearance as argument number 1
-------------------------


(documentation Ingesting ChineseLanguage "这是 Animal 进食的 Process。") chinese_format.kif 2908-2908
(documentation Ingesting EnglishLanguage "The Process by which food is taken into an Animal.") Merge.kif 9537-9538
(subclass Ingesting OrganismProcess) Merge.kif 9535-9535 subclass Ingesting and OrganismProcess

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


(biochemicalAgentDelivery BacillusAnthracis Ingesting) WMD.kif 282-282 biochemicalAgentDelivery BacillusAnthracis and Ingesting
(biochemicalAgentDelivery BacillusCereus Ingesting) WMD.kif 1710-1710 biochemicalAgentDelivery BacillusCereus and Ingesting
(biochemicalAgentDelivery BlisterAgent Ingesting) WMD.kif 473-473 biochemicalAgentDelivery BlisterAgent and Ingesting
(biochemicalAgentDelivery BotulinumToxin Ingesting) WMD.kif 326-326 biochemicalAgentDelivery BotulinumToxin and Ingesting
(biochemicalAgentDelivery BurkholderiaPseudomallei Ingesting) WMD.kif 375-375 biochemicalAgentDelivery BurkholderiaPseudomallei and Ingesting
(biochemicalAgentDelivery ClostridiumPerfringens Ingesting) WMD.kif 342-342 biochemicalAgentDelivery ClostridiumPerfringens and Ingesting
(biochemicalAgentDelivery CoxiellaBurnetii Ingesting) WMD.kif 1164-1164 biochemicalAgentDelivery CoxiellaBurnetii and Ingesting
(biochemicalAgentDelivery EpsilonToxin Ingesting) WMD.kif 350-350 biochemicalAgentDelivery EpsilonToxin and Ingesting
(biochemicalAgentDelivery EscherichiaColi0157H7 Ingesting) WMD.kif 1580-1580 biochemicalAgentDelivery EscherichiaColi0157H7 and Ingesting
(biochemicalAgentDelivery HepatitisAVirus Ingesting) WMD.kif 1642-1642 biochemicalAgentDelivery HepatitisAVirus and Ingesting
(biochemicalAgentDelivery LassaVirus Ingesting) WMD.kif 1718-1718 biochemicalAgentDelivery LassaVirus and Ingesting
(biochemicalAgentDelivery Rotavirus Ingesting) WMD.kif 1678-1678 biochemicalAgentDelivery Rotavirus and Ingesting
(biochemicalAgentDelivery SalmonellaTyphi Ingesting) WMD.kif 1265-1265 biochemicalAgentDelivery SalmonellaTyphi and Ingesting
(biochemicalAgentDelivery Saxitoxin Ingesting) WMD.kif 1353-1353 biochemicalAgentDelivery Saxitoxin and Ingesting
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting) WMD.kif 1245-1245 biochemicalAgentDelivery ShigellaDysenteriae and Ingesting
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting) WMD.kif 1338-1338 biochemicalAgentDelivery StaphylococcalEnterotoxinB and Ingesting
(biochemicalAgentDelivery VibrioCholera Ingesting) WMD.kif 1390-1390 biochemicalAgentDelivery VibrioCholera and Ingesting
(subclass Drinking Ingesting) Merge.kif 9557-9557 subclass Drinking and Ingesting
(subclass Eating Ingesting) Merge.kif 9546-9546 subclass Eating and Ingesting
(termFormat ChineseLanguage Ingesting "消化") chinese_format.kif 1079-1079 termFormat ChineseLanguage, Ingesting and "消化"
(termFormat EnglishLanguage Ingesting "ingesting") english_format.kif 1374-1374 termFormat EnglishLanguage, Ingesting and "ingesting"

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


(diseaseTreatment Anthrax Ciprofloxacin Ingesting) WMD.kif 1059-1059 diseaseTreatment Anthrax, Ciprofloxacin and Ingesting
(diseaseTreatment Anthrax Doxycycline Ingesting) WMD.kif 1058-1058 diseaseTreatment Anthrax, Doxycycline and Ingesting
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 diseaseTreatment BurkholderiaMallei, Ciprofloxacin and Ingesting
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 diseaseTreatment LouseBorneTyphus, OralAntibiotic and Ingesting
(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1438-1438 diseaseTreatment Pertussis, Antibiotic and Ingesting
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) WMD.kif 261-261 diseaseTreatment RockyMountainSpottedFever, OralAntibiotic and Ingesting
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) WMD.kif 1592-1592 diseaseTreatment Tuberculosis, OralAntibiotic and Ingesting
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1271-1271 diseaseTreatment TyphoidFever, Antibiotic and Ingesting

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


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Merge.kif 9540-9544

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


(=>
    (and
        (instance ?DIGEST Digesting)
        (agent ?DIGEST ?ORGANISM))
    (exists (?INGEST)
        (and
            (instance ?INGEST Ingesting)
            (agent ?INGEST ?ORGANISM)
            (overlapsTemporally
                (WhenFn ?INGEST)
                (WhenFn ?DIGEST)))))
Merge.kif 9575-9583
(=>
    (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 586-600
(=>
    (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS)
    (subclass ?PROCESS Ingesting))
WMD.kif 1200-1202
(=>
    (instance ?T Tableware)
    (hasPurpose ?T
        (exists (?I)
            (and
                (instance ?I Ingesting)
                (instrument ?I ?T)))))
Mid-level-ontology.kif 2707-2713


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners