| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3565-3566 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15640-15643 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15636-15636 | The number 1 argument of publishes is an instance of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15637-15637 | The number 2 argument of publishes is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15635-15635 | publishes is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 535-535 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 540-540 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 315-315 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 237-237 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2083-2083 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 267-267 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 698-698 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 275-275 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 336-336 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 347-347 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 429-429 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 536-536 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48028-48028 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48027-48027 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48026-48026 | |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 212-212 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1902-1906 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1890-1894 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1914-1918 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1908-1912 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1896-1900 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15646-15654 |
|
|
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