YaeyamaLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11493-11504 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10343-10343 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12186-12186 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12184-12184 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11492-11492 | 例 yaeyama語言 and sakishima語言 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63651-63651 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63650-63650 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63649-63649 |