NorwegianLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14469-14473 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14468-14468 | 例 NorwegianLanguage and 丹麥語瑞典語 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14486-14486 | Bokmal挪威語 是 NorwegianLanguage 的 sub-language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14485-14485 | NynorskNorwegianLanguage 是 NorwegianLanguage 的 sub-language |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65248-65248 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14737-14737 | "no" 在 ISO-639-1 denotes NorwegianLanguage |