No TPTP formula. May not be expressible in strict first order. | Languages.kif 8223-8223 | LowSaxonLowFranconianLanguage e' uma sub-classe de WestGermanicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8228-8228 | LowFranconianLanguage e' uma sub-classe de LowSaxonLowFranconianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8333-8333 | LowSaxonGroupLanguage e' uma sub-classe de LowSaxonLowFranconianLanguage |
![]() |