| IndoEuropeanLanguage(indo european language)
| | Anatolian, Anatolian_language, East_Tocharian, Hittite, Illyrian, Indo-European, Indo-European_language, Indo-Hittite, Kuchean, Kuchean_dialect, Luvian, Luwian, Lycian, Lydian, Old_Prussian, Palaic, Phrygian, Thracian, Thraco-Phrygian, Tocharian, Turfan, Turfan_dialect, West_Tocharian |
| 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 | Indo european language is a subclass of language family |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6717-6717 | Albanian language is a subclass of indo european language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6816-6816 | Armenian group language is a subclass of indo european language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6903-6903 | Baltic language is a subclass of indo european language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6965-6965 | Celtic language is a subclass of indo european language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7105-7105 | Germanic language is a subclass of indo european language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8511-8511 | Greek group language is a subclass of indo european language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8647-8647 | Indo iranian language is a subclass of indo european language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9361-9361 | Italic language is a subclass of indo european language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10691-10691 | Slavic language is a subclass of indo european language |
| 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 |
|
|
|