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 15490-15493 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15486-15486 | The number 1 argument of publishes is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15487-15487 | The number 2 argument of publishes is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15485-15485 | publishes is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15484-15484 | 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 48026-48026 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48025-48025 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48024-48024 |
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 15496-15504 |
|