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 14959-14959 | Estructura Anatomica e' uma sub-classe de Objeto Organico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14982-14982 | AbnormalAnatomicalStructure e' uma sub-classe de Estructura Anatomica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14995-14995 | Parte do Corpo e' uma sub-classe de Estructura Anatomica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15042-15042 | AnimalAnatomicalStructure e' uma sub-classe de Estructura Anatomica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15053-15053 | PlantAnatomicalStructure e' uma sub-classe de Estructura Anatomica |