No TPTP formula. May not be expressible in strict first order. | Merge.kif 2128-2128 | Conjunto ou Classe e' uma sub-classe de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2136-2136 | Classe e' uma sub-classe de Conjunto ou Classe |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2148-2148 | Conjunto e' uma sub-classe de Conjunto ou Classe |