No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11350-11350 |
AmamiOkinawanLanguage e' uma sub-classe de RyukyuanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11472-11472 |
SakishimaLanguage e' uma sub-classe de RyukyuanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50721-50721 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50720-50720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50719-50719 |
|