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 |