| 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 | O argumento numero 1 de successorClass e' uma instancia de Classe |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9050-9050 | O argumento numero 2 de successorClass e' uma instancia de Classe |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9047-9047 | successorClass e' uma instancia de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9048-9048 | successorClass e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9058-9058 | successorClass e' relacionado internamente por SUMO a successorAttribute |
| 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 Abril and Maio |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9067-9067 | successorClass Agosto and Setembro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9061-9061 | successorClass Fevereiro and Marco |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9077-9077 | successorClass Sexta-feira and Sabado |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9060-9060 | successorClass Janeiro and Fevereiro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9066-9066 | successorClass Julho and Agosto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9065-9065 | successorClass June and Julho |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9062-9062 | successorClass Marco and Abril |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9064-9064 | successorClass Maio and June |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9073-9073 | successorClass Segunda-feira and Terca-feira |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9070-9070 | successorClass Novembro and Dezembro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9069-9069 | successorClass Outubro and Novembro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9068-9068 | successorClass Setembro and Outubro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9072-9072 | successorClass Domingo and Segunda-feira |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9076-9076 | successorClass Quinta-feira and Sexta-feira |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9074-9074 | successorClass Terca-feira and Quarta-feira |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9075-9075 | successorClass Quarta-feira and Quinta-feira |
|
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