| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9040-9042 | |
| 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 9035-9035 | 域 successorClass, 1 and Class |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9036-9036 | 域 successorClass, 2 and Class |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9033-9033 | 例 successorClass and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9034-9034 | 例 successorClass and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9044-9044 | 相關的內部概念 successorClass and 繼承屬性 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9037-9037 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9038-9038 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8728-8735 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8737-8742 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9049-9049 | successorClass April and May |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9053-9053 | successorClass August and September |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9047-9047 | successorClass February and March |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9063-9063 | successorClass Friday and Saturday |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9046-9046 | successorClass January and February |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9052-9052 | successorClass July and August |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9051-9051 | successorClass June and July |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9048-9048 | successorClass March and April |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9050-9050 | successorClass May and June |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9059-9059 | successorClass Monday and Tuesday |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9056-9056 | successorClass November and December |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9055-9055 | successorClass October and November |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9054-9054 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9058-9058 | successorClass Sunday and Monday |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9062-9062 | successorClass Thursday and Friday |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9060-9060 | successorClass Tuesday and Wednesday |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9061-9061 | successorClass Wednesday and Thursday |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners