ISO-639-1 |
appearance as argument number 1 |
![]() |
antecedent |
![]() |
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (instance ?TOKEN SymbolicString)) |
Languages.kif 14693-14695 |
|
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage))) |
Languages.kif 14683-14687 |
|
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (stringLength 2 ?TOKEN)) |
Languages.kif 14689-14691 |
|
![]() |
![]() |