| EasternBalticLanguage(东部波罗的海语言)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6951-6952 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6910-6911 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9994-9994 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10906-10906 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10905-10905 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6909-6909 | 东部波罗的海语言 是 波罗的海语言 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6914-6914 | 拉脱维亚语 是 东部波罗的海语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6927-6927 | 立陶宛语 是 东部波罗的海语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20862-20862 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20861-20861 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20860-20860 |
|
|
|