No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1833-1833 |
子屬性 LateralRecumbant and 踣 |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1795-1795 |
子屬性 Prone and 踣 |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1809-1809 |
子屬性 Supine and 踣 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47824-47824 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47823-47823 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47822-47822 |
|