No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14018-14018 |
TernateLanguage est une instance de SouthernNorthHalmaheraLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14030-14030 |
TidoreLanguage est une instance de SouthernNorthHalmaheraLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54234-54234 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54233-54233 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54232-54232 |
|