|
|
   Graph
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2323-2325 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5624-5628 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 996-999 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5622-5622 | 图 是 命题 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5668-5668 | 有向图 是 图 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5771-5771 | 多重图 是 图 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5801-5801 | 伪图 是 图 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 933-933 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1073-1073 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 609-609 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 140-140 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 143-143 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2294-2294 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 561-561 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 145-145 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 177-177 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 630-630 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 144-144 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6071-6071 | 分图路径函数 的 1 数量 是 图 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6079-6079 | 分最短图路径函数 的 1 数量 是 图 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6149-6149 | graphMeasure 的 1 数量 是 图 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5889-5889 | 图形部分 的 2 数量 是 图 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5898-5898 | 子图 的 1 数量 是 图 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5899-5899 | 子图 的 2 数量 是 图 的 instance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5630-5650 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5652-5666 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6087-6089 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5825-5830 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2839-2844 |
|
|
|