GraphArc
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2344-2345 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5844-5845 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1018-1019 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1788-1788 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5842-5842 | 图弧 是 图元素 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5852-5852 | 图环路 是 图弧 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 942-942 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1091-1091 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 618-618 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 149-149 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 152-152 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2303-2303 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 570-570 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 186-186 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 639-639 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 153-153 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5922-5922 | 节点起点函数 的 1 数量 是 图弧 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5932-5932 | 节点终点函数 的 1 数量 是 图弧 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5964-5964 | 弧衡量 的 1 数量 是 图弧 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5875-5875 | 连接 的 3 数量 是 图弧 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5820-5820 | 图元素 详尽无遗地 partition 成 图节点 和 图弧 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6165-6176 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5675-5683 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5726-5737 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5739-5750 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5847-5850 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2846-2856 |