No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14018-14018 |
Ternate language is an instance of southern north halmahera language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14030-14030 |
Tidore language is an instance of southern north halmahera language |
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 |
|