No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1886-1886 |
SrananLanguage e' uma instancia de SurinameEnglishBasedCreoleLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1856-1856 |
NdyukaLanguage e' uma sub-classe de SurinameEnglishBasedCreoleLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56365-56365 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56364-56364 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56363-56363 |
|