![]() |
![]() ![]() ![]()
|
![]() |
|
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 5854-5855 | |
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 5852-5852 | 图环路 是 图弧 的 subclass |
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 5813-5817 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5857-5860 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5866-5870 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5806-5811 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5690-5696 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5862-5864 |
![]() |
![]() |