| 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 | Le nombre 1 argument de successorClass est une instance de classe |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9036-9036 | Le nombre 2 argument de successorClass est une instance de classe |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9033-9033 | successorClass est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9034-9034 | successorClass est une instance de relation transitive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9044-9044 | successorClass est reli� � l'int�rieur de SUMO � successorAttribute |
| 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 Avril and Mai |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9053-9053 | successorClass Ao�t and Septembre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9047-9047 | successorClass F�vrier and Mars |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9063-9063 | successorClass Vendredi and Samedi |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9046-9046 | successorClass Janvier and F�vrier |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9052-9052 | successorClass Juillet and Ao�t |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9051-9051 | successorClass Juin and Juillet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9048-9048 | successorClass Mars and Avril |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9050-9050 | successorClass Mai and Juin |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9059-9059 | successorClass Lundi and Mardi |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9056-9056 | successorClass Novembre and Decembre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9055-9055 | successorClass Octobre and Novembre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9054-9054 | successorClass Septembre and Octobre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9058-9058 | successorClass Dimanche and Lundi |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9062-9062 | successorClass Jeudi and Vendredi |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9060-9060 | successorClass Mardi and Mercredi |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9061-9061 | successorClass Mercredi and Jeudi |
|
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