Graph(Grafo) |
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 | Grafo e' uma sub-classe de Proposicao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5668-5668 | Grafo Orientado e' uma sub-classe de Grafo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5771-5771 | Multi-grafo e' uma sub-classe de Grafo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5801-5801 | Pseudo-grafo e' uma sub-classe de Grafo |
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 | O argumento numero 1 de CutSetFn e' uma instancia de Grafo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6079-6079 | O argumento numero 1 de MinimalCutSetFn e' uma instancia de Grafo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6149-6149 | O argumento numero 1 de graphMeasure e' uma instancia de Grafo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5889-5889 | O argumento numero 2 de graphPart e' uma instancia de Grafo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5898-5898 | O argumento numero 1 de subGraph e' uma instancia de Grafo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5899-5899 | O argumento numero 2 de subGraph e' uma instancia de Grafo |
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 |
|