No TPTP formula. May not be expressible in strict first order. | Merge.kif 2128-2128 | Ensemble ou classe est une sous-classe de abstrait |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2136-2136 | Classe est une sous-classe de ensemble ou classe |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2148-2148 | Ensemble est une sous-classe de ensemble ou classe |