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 17855-17857 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17853-17853 | 域 平行, 1 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17854-17854 | 域 平行, 2 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17852-17852 | 例 平行 and BinaryPredicate |
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 17859-17863 |