| NorthGermanicLanguage(north germanic language) | | Nordic, Norse, North_Germanic, North_Germanic_language, Scandinavian, Scandinavian_language |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7131-7132 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7314-7315 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7130-7130 | North germanic language is a subclass of germanic language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14423-14423 | Faroese language is an instance of north germanic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14436-14436 | Icelandic language is an instance of north germanic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7136-7136 | East scandinavian language is a subclass of north germanic language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41181-41181 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41180-41180 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41179-41179 |
|
|
|