No TPTP formula. May not be expressible in strict first order. |
WMD.kif 560-560 |
Paralysis is a biochemical agent syndrome of nerve agent |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 335-335 |
Paralysis is a disease symptom of botulism |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1463-1463 |
Paralysis is a disease symptom of paralytic shellfish poisoning |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6324-6324 |
The values returned by paralysis are subclasses of paralysis |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44400-44400 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44399-44399 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44398-44398 |
|