| (format JapaneseLanguage subclass "%1 は %2 の subclass では %n") | japanese_format.kif 2002-2002 | |
| (documentation subclass JapaneseLanguage "(subclass ?CLASS1 ?CLASS2) とは、?CLASS1 が?CLASS2の subclass である、という意味である。例えば、?CLASS1のすべての instance も?CLASS2 の instance である。") | japanese_format.kif 27-29 |
|
|