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 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7142-7142 | Danish swedish language is a subclass of east scandinavian language |