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 | The number 1 argument of parallel is an instance of one dimensional figure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17854-17854 | The number 2 argument of parallel is an instance of one dimensional figure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17852-17852 | parallel is an instance of binary predicate |
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 |
|