No TPTP formula. May not be expressible in strict first order. | Languages.kif 10987-10987 | WestSlavicLanguage est une sous-classe de SlavicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10993-10993 | CzechSlovakLanguage est une sous-classe de WestSlavicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11038-11038 | LechiticLanguage est une sous-classe de WestSlavicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11088-11088 | SorbianLanguage est une sous-classe de WestSlavicLanguage |
![]() |