No TPTP formula. May not be expressible in strict first order. | Languages.kif 10793-10793 | 子類 南斯拉夫語 and 斯拉夫語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10799-10799 | 子類 東南的斯拉夫語 and 南斯拉夫語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10869-10869 | 子類 西南斯拉夫語 and 南斯拉夫語 |