No TPTP formula. May not be expressible in strict first order. | Languages.kif 6710-6710 | IndoEuropeanLanguage est une sous-classe de LanguageFamily |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6717-6717 | AlbanianLanguage est une sous-classe de IndoEuropeanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6816-6816 | ArmenianGroupLanguage est une sous-classe de IndoEuropeanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6903-6903 | BalticLanguage est une sous-classe de IndoEuropeanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6965-6965 | CelticLanguage est une sous-classe de IndoEuropeanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7105-7105 | GermanicLanguage est une sous-classe de IndoEuropeanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8511-8511 | GreekGroupLanguage est une sous-classe de IndoEuropeanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8647-8647 | IndoIranianLanguage est une sous-classe de IndoEuropeanLanguage |
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 10691-10691 | SlavicLanguage est une sous-classe de IndoEuropeanLanguage |