ChagataiLanguage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5133-5135 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9932-9932 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10604-10604 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5132-5132 | ChagataiLanguage est une instance de EasternTurkicLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14010-14010 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14009-14009 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14008-14008 |