| Graph(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 | Graph est une sous-classe de proposition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5668-5668 | Graph dirig�e est une sous-classe de graph |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5771-5771 | Multi graph est une sous-classe de graph |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5801-5801 | Pseudo graph est une sous-classe de graph |
| 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 | Le nombre 1 argument de CutSetFn est une instance de graph |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6079-6079 | Le nombre 1 argument de MinimalCutSetFn est une instance de graph |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6149-6149 | Le nombre 1 argument de graphMeasure est une instance de graph |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5889-5889 | Le nombre 2 argument de graphPart est une instance de graph |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5898-5898 | Le nombre 1 argument de subGraph est une instance de graph |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5899-5899 | Le nombre 2 argument de subGraph est une instance de graph |
| antecedent |
|
|
| 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 |
|
|
|
|