| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3286-3291 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3284-3284 | O argumento numero 1 de fullNameIndexOrder e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3285-3285 | O argumento numero 2 de fullNameIndexOrder e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3283-3283 | fullNameIndexOrder e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3282-3282 | fullNameIndexOrder e' uma instancia de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3292-3292 | fullNameIndexOrder e' uma sub-relacao de fullName |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3318-3318 | fullNameIndexOrder e' uma sub-relacao de nameIndexOrder |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3510-3510 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3509-3509 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3508-3508 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65838-65838 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3301-3308 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3294-3299 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3337-3341 |
|
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