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 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7148-7148 | Danish bokmal language is a subclass of danish swedish language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7224-7224 | Swedish group language is a subclass of danish swedish language |