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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ingesting

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 is taken into an Animal.") Merge.kif 9681-9682
(subclass Ingesting OrganismProcess) Merge.kif 9679-9679 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 1716-1716 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 1170-1170 biochemicalAgentDelivery CoxiellaBurnetii and Ingesting
(biochemicalAgentDelivery EpsilonToxin Ingesting) WMD.kif 350-350 biochemicalAgentDelivery EpsilonToxin and Ingesting
(biochemicalAgentDelivery EscherichiaColi0157H7 Ingesting) WMD.kif 1586-1586 biochemicalAgentDelivery EscherichiaColi0157H7 and Ingesting
(biochemicalAgentDelivery HepatitisAVirus Ingesting) WMD.kif 1648-1648 biochemicalAgentDelivery HepatitisAVirus and Ingesting
(biochemicalAgentDelivery LassaVirus Ingesting) WMD.kif 1724-1724 biochemicalAgentDelivery LassaVirus and Ingesting
(biochemicalAgentDelivery Rotavirus Ingesting) WMD.kif 1684-1684 biochemicalAgentDelivery Rotavirus and Ingesting
(biochemicalAgentDelivery SalmonellaTyphi Ingesting) WMD.kif 1271-1271 biochemicalAgentDelivery SalmonellaTyphi and Ingesting
(biochemicalAgentDelivery Saxitoxin Ingesting) WMD.kif 1359-1359 biochemicalAgentDelivery Saxitoxin and Ingesting
(biochemicalAgentDelivery ShigellaDysenteriae Ingesting) WMD.kif 1251-1251 biochemicalAgentDelivery ShigellaDysenteriae and Ingesting
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Ingesting) WMD.kif 1344-1344 biochemicalAgentDelivery StaphylococcalEnterotoxinB and Ingesting
(biochemicalAgentDelivery VibrioCholera Ingesting) WMD.kif 1396-1396 biochemicalAgentDelivery VibrioCholera and Ingesting
(subclass Drinking Ingesting) Merge.kif 9701-9701 subclass Drinking and Ingesting
(subclass Eating Ingesting) Merge.kif 9690-9690 subclass Eating and Ingesting
(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, 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 1444-1444 diseaseTreatment Pertussis, Antibiotic and Ingesting
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) WMD.kif 261-261 diseaseTreatment RockyMountainSpottedFever, OralAntibiotic and Ingesting
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) WMD.kif 1598-1598 diseaseTreatment Tuberculosis, OralAntibiotic and Ingesting
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1277-1277 diseaseTreatment TyphoidFever, Antibiotic and Ingesting

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


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

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


(=>
    (and
        (instance ?DIGEST Digesting)
        (agent ?DIGEST ?ORGANISM))
    (exists (?INGEST)
        (and
            (instance ?INGEST Ingesting)
            (agent ?INGEST ?ORGANISM)
            (overlapsTemporally
                (WhenFn ?INGEST)
                (WhenFn ?DIGEST)))))
Merge.kif 9719-9727
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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