ArmenianGroupLanguage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6817-6818 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9890-9890 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10425-10425 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10429-10429 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10426-10426 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6816-6816 | ArmenianGroupLanguage est une sous-classe de IndoEuropeanLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6821-6821 | ArmenianLanguage est une instance de ArmenianGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6890-6890 | LomavrenLanguage est une instance de ArmenianGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8406-8406 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8405-8405 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8404-8404 |