| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5258-5265 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14935-14935 | Estructura Anatomica e' uma sub-classe de Objeto Organico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14958-14958 | AbnormalAnatomicalStructure e' uma sub-classe de Estructura Anatomica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14971-14971 | Parte do Corpo e' uma sub-classe de Estructura Anatomica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | AnimalAnatomicalStructure e' uma sub-classe de Estructura Anatomica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15029-15029 | PlantAnatomicalStructure e' uma sub-classe de Estructura Anatomica |
|
|