BakkaAlSharkiyaWestBank LogicalOperator
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2030-2030 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3552-3553 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 671-672 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3550-3550 | Logical operator is a subclass of predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34931-34931 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34930-34930 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34929-34929 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 132-132 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 135-135 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 169-169 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 136-136 |