publishes |
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 15536-15539 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15532-15532 | O argumento numero 1 de publishes e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15533-15533 | O argumento numero 2 de publishes e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15531-15531 | publishes e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15530-15530 | publishes e' uma instancia de Predicado Binario |
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 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1900-1904 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1888-1892 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1912-1916 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1906-1910 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1894-1898 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15542-15550 |