No TPTP formula. May not be expressible in strict first order. | Merge.kif 14522-14522 | Vertebrado e' uma sub-classe de Animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14568-14568 | Vertebrado de Sangue Frio e' uma sub-classe de Vertebrado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14573-14573 | Vertebrado de Sangue Quente e' uma sub-classe de Vertebrado |