ArmenianGroupLanguage(armenian group language) |
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 | Armenian group language is a subclass of indo european language |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6821-6821 | Armenian language is an instance of armenian group language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6890-6890 | Lomavren language is an instance of armenian group language |
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 |