No TPTP formula. May not be expressible in strict first order. | Languages.kif 10987-10987 | WestSlavicLanguage e' uma sub-classe de SlavicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10993-10993 | CzechSlovakLanguage e' uma sub-classe de WestSlavicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11038-11038 | LechiticLanguage e' uma sub-classe de WestSlavicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11088-11088 | SorbianLanguage e' uma sub-classe de WestSlavicLanguage |