No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3762-3762 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3761-3761 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3760-3760 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7548-7548 |
height est une sous-relation de linearExtent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7557-7557 |
length est une sous-relation de linearExtent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7543-7543 |
width est une sous-relation de linearExtent |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65866-65866 |
|