|
|
   EasternTurkicLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5113-5114 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5112-5112 | EasternTurkicLanguage e' uma sub-classe de TurkicLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5117-5117 | AinuTurkicLanguage e' uma instancia de EasternTurkicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5132-5132 | ChagataiLanguage e' uma instancia de EasternTurkicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5138-5138 | IliTurkiLanguage e' uma instancia de EasternTurkicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5158-5158 | NorthernUzbekLanguage e' uma instancia de EasternTurkicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5193-5193 | SouthernUzbekLanguage e' uma instancia de EasternTurkicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5213-5213 | UyghurLanguage e' uma instancia de EasternTurkicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5264-5264 | YugurLanguage e' uma instancia de EasternTurkicLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20964-20964 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20963-20963 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20962-20962 |
|
|
|