No TPTP formula. May not be expressible in strict first order. |
WMD.kif 560-560 |
biochemicalAgentSyndrome NerveAgent and Paralysis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 335-335 |
diseaseSymptom Botulism and Paralysis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1463-1463 |
diseaseSymptom ParalyticShellfishPoisoning and Paralysis |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6324-6324 |
Os valores retornados por ParalysisFn sao as sub-classes de 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 |
|