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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ingesting
Ingesting(ingesting)IV, Ingerir, Ingestione, TPN, addict, alimentation, alimentative, antargrahaNa, breast_feeding, consume, consumption, demand_feeding, feeding, forced_feeding, gavage, get_down, go_down, habituate, have, hearty, hit, hook, hyperalimentation, infant_feeding, ingest, ingesting, ingestion, ing�rer, intake, intravenous_feeding, keep_down, lactation, lunukin, nourished, nursing, overfeeding, schedule_feeding, snivel, snuffle, spoonfeeding, suckling, sup, swallow, take, take_in, total_parenteral_nutrition, uptake, use, 消化

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10170-10170
No TPTP formula. May not be expressible in strict first order. Merge.kif 10168-10169
No TPTP formula. May not be expressible in strict first order. Merge.kif 10167-10167 Ingesting is a subclass of organism process

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 282-282 Ingesting is a biochemical agent delivery of bacillus anthracis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1699-1699 Ingesting is a biochemical agent delivery of bacillus cereus
No TPTP formula. May not be expressible in strict first order. WMD.kif 473-473 Ingesting is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 326-326 Ingesting is a biochemical agent delivery of botulinum toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 375-375 Ingesting is a biochemical agent delivery of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 342-342 Ingesting is a biochemical agent delivery of clostridium perfringens
No TPTP formula. May not be expressible in strict first order. WMD.kif 1155-1155 Ingesting is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 350-350 Ingesting is a biochemical agent delivery of epsilon toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1569-1569 Ingesting is a biochemical agent delivery of escherichia coli0157 h7
No TPTP formula. May not be expressible in strict first order. WMD.kif 1631-1631 Ingesting is a biochemical agent delivery of hepatitisA virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1707-1707 Ingesting is a biochemical agent delivery of lassa virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1667-1667 Ingesting is a biochemical agent delivery of rotavirus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1254-1254 Ingesting is a biochemical agent delivery of salmonella typhi
No TPTP formula. May not be expressible in strict first order. WMD.kif 1342-1342 Ingesting is a biochemical agent delivery of saxitoxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1234-1234 Ingesting is a biochemical agent delivery of shigella dysenteriae
No TPTP formula. May not be expressible in strict first order. WMD.kif 1327-1327 Ingesting is a biochemical agent delivery of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order. WMD.kif 1379-1379 Ingesting is a biochemical agent delivery of vibrio cholera
No TPTP formula. May not be expressible in strict first order. Merge.kif 10189-10189 Drinking is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10178-10178 Eating is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1079-1079 "消化" is the printable form of ingesting in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 766-766 "ingesting" is the printable form of ingesting in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 757-757 "ing�rer" is the printable form of ingesting in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 289-289 "antargrahaNa" is the printable form of ingesting in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 290-290 "Ingestione" is the printable form of ingesting in italian language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1050-1050 Anthrax disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1049-1049 Anthrax disease treatment doxycycline for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 359-359 Burkholderia mallei disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 273-273 Louse borne typhus disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1427-1427 Pertussis disease treatment antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 261-261 Rocky mountain spotted fever disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1581-1581 Tuberculosis disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1260-1260 Typhoid fever disease treatment antibiotic for ingesting

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10172-10176

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10208-10216
No TPTP formula. May not be expressible in strict first order. Food.kif 587-601
No TPTP formula. May not be expressible in strict first order. WMD.kif 1189-1191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2712-2718


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