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 |
|