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 6909-6909 | Eastern baltic language is a subclass of baltic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6950-6950 | Western baltic language is a subclass of baltic language |