No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6642-6643 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6685-6685 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7256-7256 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7257-7257 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7258-7258 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7259-7259 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7260-7260 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7261-7261 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7262-7262 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7263-7263 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7264-7264 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6641-6641 |
Mailing est une sous-classe de transf�re |