No TPTP formula. May not be expressible in strict first order. | Merge.kif 14661-14661 | Hominideo e' uma sub-classe de Primata |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14665-14665 | Humano e' uma sub-classe de Hominideo |
![]() |