|
|
   GeometricFigure
|
|
|
| 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 17782-17784 | |
| 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 17781-17781 | O conceito GeometricFigure e' completamente decomposto em GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17780-17780 | GeometricFigure e' uma sub-classe de Atributo de Forma |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17786-17786 | GeometricPoint e' uma sub-classe de GeometricFigure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17791-17791 | OneDimensionalFigure e' uma sub-classe de GeometricFigure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17813-17813 | ThreeDimensionalFigure e' uma sub-classe de GeometricFigure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17795-17795 | TwoDimensionalFigure e' uma sub-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 17835-17835 | O argumento numero 2 de angleOfFigure e' uma instancia de GeometricFigure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17820-17820 | O argumento numero 1 de geometricPart e' uma instancia de GeometricFigure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17821-17821 | O argumento numero 2 de geometricPart e' uma instancia de GeometricFigure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17828-17828 | O argumento numero 2 de pointOfFigure e' uma instancia de GeometricFigure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4981-4981 | O argumento numero 2 de sideOfFigure e' uma instancia de GeometricFigure |
|
|
|
