SafetyDepositService
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3968-3969 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17861-17863 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9262-9262 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9261-9261 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9259-9259 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9264-9264 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9263-9263 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8503-8503 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9260-9260 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17860-17860 | GeometricFigure est compl�tement d�compos� en GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17859-17859 | GeometricFigure est une sous-classe de attribut de forme |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17865-17865 | GeometricPoint est une sous-classe de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17870-17870 | OneDimensionalFigure est une sous-classe de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17892-17892 | ThreeDimensionalFigure est une sous-classe de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17874-17874 | TwoDimensionalFigure est une sous-classe de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25818-25818 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25817-25817 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25816-25816 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17914-17914 | Le nombre 2 argument de angleOfFigure est une instance de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17899-17899 | Le nombre 1 argument de geometricPart est une instance de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17900-17900 | Le nombre 2 argument de geometricPart est une instance de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17907-17907 | Le nombre 2 argument de pointOfFigure est une instance de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4975-4975 | Le nombre 2 argument de sideOfFigure est une instance de GeometricFigure |