parallel |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3991-3992 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17877-17879 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17875-17875 | 平行 的 1 数量 是 一维图 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17876-17876 | 平行 的 2 数量 是 一维图 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17874-17874 | 平行 是 二元谓语 的 instance |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1899-1899 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1898-1898 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1897-1897 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44388-44388 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44387-44387 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44386-44386 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17881-17885 |
![]() |
![]() |