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 | 子類 亞美尼亞語言 and 印度歐洲語言 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6821-6821 | 例 亞美尼亞語言 and 亞美尼亞語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6890-6890 | 例 lomavren語言 and 亞美尼亞語言 |
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 |