|
|
   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 | 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 |
|
|
|
