OkoJuwoiLanguage(oko juwoi language) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5424-5427 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5423-5423 | Oko juwoi language is an instance of central great andamanese language |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42018-42018 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42017-42017 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42016-42016 |