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 | Graph is a subclass of proposition |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5668-5668 | Directed graph is a subclass of graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5771-5771 | Multi graph is a subclass of graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5801-5801 | Pseudo graph is a subclass of graph |
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 | The number 1 argument of cut set is an instance of graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6079-6079 | The number 1 argument of minimal cut set is an instance of graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6149-6149 | The number 1 argument of graph measure is an instance of graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5889-5889 | The number 2 argument of graph part is an instance of graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5898-5898 | The number 1 argument of sub graph is an instance of graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5899-5899 | The number 2 argument of sub graph is an instance of graph |
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 |
|