more pictures...
| Decoding(decoder)
more pictures... | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12756-12756 | Decoder est disjoint de encoder |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3207-3208 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12757-12759 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10811-10811 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10805-10805 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10807-10807 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10813-10813 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10814-10814 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10808-10808 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10816-10816 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10809-10809 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10810-10810 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10806-10806 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12755-12755 | Decoder est une sous-classe de �crire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1181-1181 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1579-1579 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 859-859 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 391-391 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 394-394 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2543-2543 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 811-811 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 430-430 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 880-880 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 395-395 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12761-12774 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2181-2191 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1192-1202 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1156-1166 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1257-1267 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3572-3581 |
|
|
|
|