No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13805-13805 |
NorthernNorthHalmaheraLanguage e' uma sub-classe de NorthHalmaheraLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14012-14012 |
SouthernNorthHalmaheraLanguage e' uma sub-classe de NorthHalmaheraLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41187-41187 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41186-41186 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41185-41185 |
|