| GraphElement(graph element)
| | عُنْصُر المُخَطَّط, ElementoDelGrafo, Elemento_do_Grafo, aging_elemento, bahagi_ng_talaguhitan, graph_element, tatva_aalekha, 图元素, �lement_du_graph |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5893-5894 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5891-5892 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1790-1790 | "http://upload.wikimedia.org/wikipedia/commons/5/5b/ 6n-graf.svg" is a URL depicting graph element |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5890-5890 | Graph element is exhaustively partitioned into graph node and graph arc |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5889-5889 | Graph element is a subclass of abstract |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5914-5914 | Graph arc is a subclass of graph element |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5903-5903 | Graph node is a subclass of graph element |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 940-940 | "图元素" is the printable form of graph element in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 627-627 | "graph element" is the printable form of graph element in english language |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 616-616 | "�lement du graph" is the printable form of graph element in french language |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 147-147 | "tatva aalekha" is the printable form of graph element in Hindi |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 148-148 | "ElementoDelGrafo" is the printable form of graph element in italian language |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 568-568 | "Elemento do Grafo" is the printable form of graph element in portuguese language |
| No TPTP formula. May not be expressible in strict first order. | arabic_format.kif 352-352 | "عُنْصُر المُخَطَّط" is the printable form of graph element in ar |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 152-152 | "aging elemento" is the printable form of graph element in cb |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 184-184 | "graph element" is the printable form of graph element in cz |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 151-151 | "bahagi ng talaguhitan" is the printable form of graph element in tg |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5958-5958 | 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 5896-5901 |
|
|
|
|