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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ingesting

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2908-2908
No TPTP formula. May not be expressible in strict first order. Merge.kif 10156-10157
No TPTP formula. May not be expressible in strict first order. Merge.kif 10154-10154 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 1841-1841 Ingesting is a biochemical agent delivery of bacillus cereus
No TPTP formula. May not be expressible in strict first order. WMD.kif 478-478 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 1243-1243 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 1711-1711 Ingesting is a biochemical agent delivery of escherichia coli0157 h7
No TPTP formula. May not be expressible in strict first order. WMD.kif 1773-1773 Ingesting is a biochemical agent delivery of hepatitisA virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1849-1849 Ingesting is a biochemical agent delivery of lassa virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1809-1809 Ingesting is a biochemical agent delivery of rotavirus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1344-1344 Ingesting is a biochemical agent delivery of salmonella typhi
No TPTP formula. May not be expressible in strict first order. WMD.kif 1447-1447 Ingesting is a biochemical agent delivery of saxitoxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1324-1324 Ingesting is a biochemical agent delivery of shigella dysenteriae
No TPTP formula. May not be expressible in strict first order. WMD.kif 1432-1432 Ingesting is a biochemical agent delivery of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order. WMD.kif 1484-1484 Ingesting is a biochemical agent delivery of vibrio cholera
No TPTP formula. May not be expressible in strict first order. Merge.kif 10178-10178 Drinking is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order. Merge.kif 10167-10167 Eating is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1079-1079
No TPTP formula. May not be expressible in strict first order. english_format.kif 1369-1369

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1132-1132 Anthrax is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1131-1131 Anthrax is disease treatment doxycycline for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 359-359 Burkholderia mallei is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 273-273 Louse borne typhus is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1570-1570 Pertussis is disease treatment antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 261-261 Rocky mountain spotted fever is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1723-1723 Tuberculosis is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1350-1350 Typhoid fever is disease treatment antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9394-9394 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 9407-9429
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9468-9490
No TPTP formula. May not be expressible in strict first order. Merge.kif 10159-10165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9623-9646
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9593-9614
No TPTP formula. May not be expressible in strict first order. WMD.kif 1554-1566
No TPTP formula. May not be expressible in strict first order. WMD.kif 1536-1545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9342-9363
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 88-99
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8203-8213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8227-8238

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 823-840
No TPTP formula. May not be expressible in strict first order. Merge.kif 10196-10204
No TPTP formula. May not be expressible in strict first order. Food.kif 524-538
No TPTP formula. May not be expressible in strict first order. WMD.kif 1279-1281
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9265-9277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9285-9297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11898-11918
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8866-8874
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6271-6276
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2207-2213


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