No TPTP formula. May not be expressible in strict first order. |
Media.kif 3035-3039 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3032-3032 |
Le nombre 1 argument de acronym est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3033-3033 |
Le nombre 2 argument de acronym est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3030-3030 |
acronym est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3029-3029 |
acronym est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3031-3031 |
acronym est une instance de relation partielle |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3034-3034 |
acronym est une sous-relation de abbreviation |