No TPTP formula. May not be expressible in strict first order. | Languages.kif 9361-9361 | ItalicLanguage est une sous-classe de IndoEuropeanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9366-9366 | LatinoFaliscanLanguage est une sous-classe de ItalicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9380-9380 | RomanceLanguage est une sous-classe de ItalicLanguage |