| 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 是 丹麦语瑞典语 的 instance |
| 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 |
|
|
|