No TPTP formula. May not be expressible in strict first order. | Merge.kif 2128-2128 | 子類 SetOrClass and Abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2136-2136 | 子類 Class and SetOrClass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2148-2148 | 子類 Set and SetOrClass |