No TPTP formula. May not be expressible in strict first order. | Languages.kif 10793-10793 | South slavic language is a subclass of slavic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10799-10799 | Southeastern slavic language is a subclass of south slavic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10869-10869 | Southwestern slavic language is a subclass of south slavic language |