|
|
   RyukyuanLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11345-11346 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10239-10239 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11781-11781 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11344-11344 | RyukyuanLanguage e' uma sub-classe de JapaneseGroupLanguage |
| appearance as argument number 2 |
|
|
| 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 |
|
|
|
