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 9661-9662
(subclass Ingesting OrganismProcess) Merge.kif 9659-9659

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


(biochemicalAgentDelivery BacillusAnthracis Ingesting) WMD.kif 282-282
(biochemicalAgentDelivery BacillusCereus Ingesting) WMD.kif 1716-1716
(biochemicalAgentDelivery BlisterAgent Ingesting) WMD.kif 473-473
(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 1170-1170
(biochemicalAgentDelivery EpsilonToxin Ingesting) WMD.kif 350-350
(biochemicalAgentDelivery EscherichiaColi0157H7 Ingesting) WMD.kif 1586-1586
(biochemicalAgentDelivery HepatitisAVirus Ingesting) WMD.kif 1648-1648
(biochemicalAgentDelivery LassaVirus Ingesting) WMD.kif 1724-1724
(biochemicalAgentDelivery Rotavirus Ingesting) WMD.kif 1684-1684
(biochemicalAgentDelivery SalmonellaTyphi Ingesting) WMD.kif 1271-1271
(biochemicalAgentDelivery Saxitoxin Ingesting) WMD.kif 1359-1359
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting) WMD.kif 1251-1251
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting) WMD.kif 1344-1344
(biochemicalAgentDelivery VibrioCholera Ingesting) WMD.kif 1396-1396
(subclass Drinking Ingesting) Merge.kif 9681-9681
(subclass Eating Ingesting) Merge.kif 9670-9670
(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 1059-1059
(diseaseTreatment Anthrax Doxycycline Ingesting) WMD.kif 1058-1058
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273
(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1444-1444
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) WMD.kif 261-261
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) WMD.kif 1598-1598
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1277-1277

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


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

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


(=>
    (and
        (instance ?DIGEST Digesting)
        (agent ?DIGEST ?ORGANISM))
    (exists (?INGEST)
        (and
            (instance ?INGEST Ingesting)
            (agent ?INGEST ?ORGANISM)
            (overlapsTemporally
                (WhenFn ?INGEST)
                (WhenFn ?DIGEST)))))
Merge.kif 9699-9707
(=>
    (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 542-556
(=>
    (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS)
    (subclass ?PROCESS Ingesting))
WMD.kif 1206-1208
(=>
    (instance ?T Tableware)
    (hasPurpose ?T
        (exists (?I)
            (and
                (instance ?I Ingesting)
                (instrument ?I ?T)))))
Mid-level-ontology.kif 2713-2719


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