successorClass |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9054-9056 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1533-1534 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9049-9049 | 域 successorClass, 1 and Class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9050-9050 | 域 successorClass, 2 and Class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9047-9047 | 例 successorClass and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9048-9048 | 例 successorClass and TransitiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9058-9058 | 相關的內部概念 successorClass and 繼承屬性 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9051-9051 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9052-9052 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8742-8749 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8751-8756 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9063-9063 | successorClass April and May |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9067-9067 | successorClass August and September |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9061-9061 | successorClass February and March |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9077-9077 | successorClass Friday and Saturday |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9060-9060 | successorClass January and February |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9066-9066 | successorClass July and August |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9065-9065 | successorClass June and July |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9062-9062 | successorClass March and April |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9064-9064 | successorClass May and June |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9073-9073 | successorClass Monday and Tuesday |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9070-9070 | successorClass November and December |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9069-9069 | successorClass October and November |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9068-9068 | successorClass September and October |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9072-9072 | successorClass Sunday and Monday |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9076-9076 | successorClass Thursday and Friday |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9074-9074 | successorClass Tuesday and Wednesday |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9075-9075 | successorClass Wednesday and Thursday |