ISO-639-1 |
appearance as argument number 1 |
![]() |
antecedent |
![]() |
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (instance ?TOKEN SymbolicString)) |
Languages.kif 14715-14717 |
|
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage))) |
Languages.kif 14705-14709 |
|
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (stringLength 2 ?TOKEN)) |
Languages.kif 14711-14713 |
|
![]() |
![]() |