No TPTP formula. May not be expressible in strict first order. | Languages.kif 10691-10691 | Slavic language is a subclass of indo european language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10697-10697 | East slavic language is a subclass of slavic language |
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 10987-10987 | West slavic language is a subclass of slavic language |