No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17818-17818 |
TwoDimensionalFigure est compl�tement d�compos� en OpenTwoDimensionalFigure + ClosedTwoDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17827-17827 |
TwoDimensionalAngle est une sous-classe de OpenTwoDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42234-42234 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42233-42233 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42232-42232 |
|