No TPTP formula. May not be expressible in strict first order. | Languages.kif 9361-9361 | ItalicLanguage e' uma sub-classe de IndoEuropeanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9366-9366 | LatinoFaliscanLanguage e' uma sub-classe de ItalicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9380-9380 | RomanceLanguage e' uma sub-classe de ItalicLanguage |
![]() |