| 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 | Le nombre 1 argument de biochemicalAgentAntidote est une instance de BiochemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 914-914 | Le nombre 2 argument de biochemicalAgentAntidote est une sous-classe de substance biologique active |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 915-915 | Le nombre 3 argument de biochemicalAgentAntidote est une sous-classe de processus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 912-912 | biochemicalAgentAntidote est une instance de pr�dicat ternaire |
| 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 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 507-507 | biochemicalAgentAntidote Lewisite, Dimercaprol and couvrir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 561-561 | biochemicalAgentAntidote NerveAgent, Atropine and Injecting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 581-581 | biochemicalAgentAntidote Soman, PyridostigmineBromide and mettre |
|
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