IndoEuropeanLanguage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6711-6713 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10062-10062 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11210-11210 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11211-11211 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6710-6710 | IndoEuropeanLanguage est une sous-classe de LanguageFamily |
appearance as argument number 2 |
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 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29683-29683 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29682-29682 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29681-29681 |