No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1833-1833 |
LateralRecumbant 是 踣 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1795-1795 |
Prone 是 踣 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1809-1809 |
Supine 是 踣 的 subAttribute |
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 |
|