more pictures...
| Encoding(encoder)
more pictures... | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3205-3206 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12750-12753 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10950-10950 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10955-10955 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10951-10951 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10953-10953 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10945-10945 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10949-10949 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10954-10954 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10947-10947 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10952-10952 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10956-10956 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12749-12749 | Encoder est une sous-classe de �crire |
| appearance as argument number 2 |
|
|
| 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 1180-1180 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1577-1577 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 858-858 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 390-390 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 393-393 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2542-2542 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 810-810 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 429-429 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 879-879 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 394-394 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2169-2179 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3504-3511 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12761-12774 |
|
|
|
|