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 14578-14578 | Anfibio e' uma sub-classe de Vertebrado de Sangue Frio |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14588-14588 | Peixe e' uma sub-classe de Vertebrado de Sangue Frio |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14685-14685 | Reptil e' uma sub-classe de Vertebrado de Sangue Frio |
![]() |