No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14479-14483 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14477-14477 |
Le nombre 1 argument de subLanguage est une instance de langage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14478-14478 |
Le nombre 2 argument de subLanguage est une instance de langage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14475-14475 |
subLanguage est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14476-14476 |
subLanguage est une instance de relation partiellement dirig�e |