No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1833-1833 |
LateralRecumbant e' um sub-atributo de Prostrate |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1795-1795 |
Prone e' um sub-atributo de Prostrate |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1809-1809 |
Supine e' um sub-atributo de Prostrate |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47822-47822 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47821-47821 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47820-47820 |
|