| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14525-14525 | Invertebrado e' uma sub-classe de Animal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14529-14529 | Verme e' uma sub-classe de Invertebrado |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14541-14541 | Molusco e' uma sub-classe de Invertebrado |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | Artropode e' uma sub-classe de Invertebrado |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5965-5965 | Coral e' uma sub-classe de Invertebrado |
|
|