No TPTP formula. May not be expressible in strict first order. | Merge.kif 828-830 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 832-832 | Fisico e' uma sub-classe de Entidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | Abstrato e' uma sub-classe de Entidade |