No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | Vert�br� � sang froid est une sous-classe de vertebr� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14556-14556 | Amphibien est une sous-classe de vert�br� � sang froid |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14566-14566 | Poisson est une sous-classe de vert�br� � sang froid |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14663-14663 | Reptile est une sous-classe de vert�br� � sang froid |