No TPTP formula. May not be expressible in strict first order. | Languages.kif 10793-10793 | 南斯拉夫语 是 斯拉夫语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10799-10799 | 东南的斯拉夫语 是 南斯拉夫语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10869-10869 | 西南斯拉夫语 是 南斯拉夫语 的 subclass |