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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - biochemicalAgentAntidote
biochemicalAgentAntidote

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 865-868
No TPTP formula. May not be expressible in strict first order. WMD.kif 862-862 The number 1 argument of biochemical agent antidote is an instance of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 863-863 The number 2 argument of biochemical agent antidote is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 864-864 The number 3 argument of biochemical agent antidote is a subclass of process
No TPTP formula. May not be expressible in strict first order. WMD.kif 861-861 biochemical agent antidote is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 81-81
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2263-2263 "biochemical agent antidote" is the printable form of biochemical agent antidote in english language

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 870-878 A disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent and a kind of biochemical agent biochemical agent antidote a kind of biologically active substance for a kind of process and an entity is an instance of a kind of biologically active substance and another process is an instance of a kind of process and an agent experiences the other process and the kind of biologically active substance is a patient of the other process decreases likelihood of the disease or syndrome is an attribute of the agent

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 502-502 Lewisite biochemical agent antidote dimercaprol for covering
No TPTP formula. May not be expressible in strict first order. WMD.kif 556-556 Nerve agent biochemical agent antidote atropine for poking
No TPTP formula. May not be expressible in strict first order. WMD.kif 576-576 Soman biochemical agent antidote pyridostigmine bromide for putting


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