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 7112-7112 | East germanic language is a subclass of germanic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7130-7130 | North germanic language is a subclass of germanic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7313-7313 | West germanic language is a subclass of germanic language |
![]() |