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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Poisoning
Poisoning(poisoning)Avvelenamento, Envenenar, Minamata_disease, alkali_poisoning, caffeine_intoxication, caffeinism, carbon_monoxide_poisoning, cyanide_poisoning, empoisoner, envenom, gassing, intoxicate, intoxication, malathion_poisoning, mercury_poisoning, naphthalene_poisoning, nicotine_poisoning, nilalason, nobble, ophidism, paghilu, paraquat_poisoning, parathion_poisoning, pesticide_poisoning, poison, poisoning, puff, salicylate_poisoning, toxic_condition, vishaaktataa, whiff, 中毒

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10357-10358
No TPTP formula. May not be expressible in strict first order. Merge.kif 10353-10356
No TPTP formula. May not be expressible in strict first order. Merge.kif 10352-10352 Poisoning is a subclass of injuring

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1090-1090 "中毒" is the printable form of poisoning in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 777-777 "poisoning" is the printable form of poisoning in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 768-768 "empoisoner" is the printable form of poisoning in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 300-300 "vishaaktataa" is the printable form of poisoning in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 301-301 "Avvelenamento" is the printable form of poisoning in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 720-720 "Envenenar" is the printable form of poisoning in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 305-305 "paghilu" is the printable form of poisoning in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 339-339 "poisoning" is the printable form of poisoning in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 304-304 "nilalason" is the printable form of poisoning in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10369-10374
No TPTP formula. May not be expressible in strict first order. Merge.kif 10360-10367


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