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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Poisoning

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

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2927-2928
No TPTP formula. May not be expressible in strict first order. Merge.kif 10458-10461
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1677-1679
No TPTP formula. May not be expressible in strict first order. Merge.kif 10456-10456 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1391-1391
No TPTP formula. May not be expressible in strict first order. french_format.kif 768-768
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 300-300
No TPTP formula. May not be expressible in strict first order. terms-it.txt 303-303
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2452-2452
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 720-720
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 305-305
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 339-339
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 789-789
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 304-304

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10472-10477
No TPTP formula. May not be expressible in strict first order. Merge.kif 10463-10470


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