TreeView Knowledge Base Browser - DanishSwedishLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7143-7144
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7142-7142	丹麦语瑞典语是东斯堪的纳维亚语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14468-14468	NorwegianLanguage 是丹麦语瑞典语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14461-14461	NynorskNorwegianLanguage 是丹麦语瑞典语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7148-7148	丹麦语bokmal语言是丹麦语瑞典语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7224-7224	瑞典团体语言是丹麦语瑞典语的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18510-18510
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18509-18509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18508-18508