| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1976-1979 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3124-3130 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 608-612 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3121-3121 | O argumento numero 1 de subList e' uma instancia de Lista |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3122-3122 | O argumento numero 2 de subList e' uma instancia de Lista |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3119-3119 | subList e' uma instancia de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3120-3120 | subList e' uma instancia de Relacao parcialmente Ordenada |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 189-189 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 190-190 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 114-114 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 274-274 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1943-1943 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 66-66 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 104-104 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 241-241 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 311-311 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 133-133 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 119-119 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 466-466 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3295-3295 | initialList e' uma sub-relacao de subList |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 190-190 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55736-55736 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55735-55735 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55734-55734 | |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 76-76 |
|
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