GraphLoop
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2346-2346 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5855-5856 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1020-1021 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1790-1790 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5853-5853 | 子類 GraphLoop and GraphArc |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 943-943 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1093-1093 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 619-619 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 150-150 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 153-153 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2304-2304 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 571-571 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 187-187 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 640-640 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 154-154 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5814-5818 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5858-5861 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5867-5871 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5807-5812 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5691-5697 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5863-5865 |