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 | Structure anatomique est une sous-classe de objet organique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14958-14958 | AbnormalAnatomicalStructure est une sous-classe de structure anatomique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14971-14971 | Partie du corps est une sous-classe de structure anatomique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | AnimalAnatomicalStructure est une sous-classe de structure anatomique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15029-15029 | PlantAnatomicalStructure est une sous-classe de structure anatomique |