| GraphPath(graph path) | | axis, coordinate_axis, dimension, graph_path, major_axis, major_lobe, minor_axis, optic_axis, principal_axis, semimajor_axis, semiminor_axis, x-axis, y-axis, z-axis, グラフパス, 图路径 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2330-2333 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5307-5311 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5305-5305 | Graph path is a subclass of directed graph |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5596-5596 | The range of maximal weighted path is an instance of graph path |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5571-5571 | The range of minimal weighted path is an instance of graph path |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5637-5637 | The values returned by cut set are subclasses of graph path |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5621-5621 | The values returned by graph path are subclasses of graph path |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5645-5645 | The values returned by minimal cut set are subclasses of graph path |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5337-5337 | Graph circuit is a subclass of graph path |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 936-936 | "图路径" is the printable form of graph path in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1084-1084 | "graph path" is the printable form of graph path in english language |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5501-5501 | The number 1 argument of begin node is an instance of graph path |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5512-5512 | The number 1 argument of end node is an instance of graph path |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5531-5531 | The number 1 argument of path weight is an instance of graph path |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5471-5471 | The number 1 argument of path length is an instance of graph path |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5313-5323 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5325-5335 |
|
| consequent |
|
|
|
|
|