| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6710-6710 | Indo european language is a subclass of language family |
| 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 |
|
|