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 7136-7136 | East scandinavian language is a subclass of north germanic language |
![]() |