No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6138-6138 |
IteneLanguage est une instance de GuaporeLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6149-6149 |
KabixiLanguage est une instance de GuaporeLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26904-26904 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26903-26903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26902-26902 |
|