| GraphElement(graph element)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2340-2341 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5514-5515 | |
| 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 5512-5512 | Graph element is exhaustively partitioned into graph node and graph arc |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5511-5511 | Graph element is a subclass of proposition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5534-5534 | Graph arc is a subclass of graph element |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5524-5524 | Graph node is a subclass of graph element |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 940-940 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1092-1092 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5576-5576 | The number 1 argument of graph part is an instance of graph element |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5517-5522 |
|
|
|
|