| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 916-919 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 913-913 | 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 914-914 | 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 915-915 | 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 912-912 | 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 288-288 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 287-287 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 286-286 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11033-11033 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11032-11032 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11031-11031 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 921-929 | ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 507-507 | Lewisite biochemical agent antidote dimercaprol for covering |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 561-561 | Nerve agent biochemical agent antidote atropine for injecting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 581-581 | 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 3.0 is open source software produced by Articulate Software and its partners