No TPTP formula. May not be expressible in strict first order. | Languages.kif 10987-10987 | West slavic language is a subclass of slavic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10993-10993 | Czech slovak language is a subclass of west slavic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11038-11038 | Lechitic language is a subclass of west slavic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11088-11088 | Sorbian language is a subclass of west slavic language |