SolvedExampleCategory |
appearance as argument number 1 |
(documentation SolvedExampleCategory EnglishLanguage "solved example") | engineering.kif 1382-1382 | |
(instance SolvedExampleCategory DocumentCategory) | engineering.kif 1383-1383 | SolvedExampleCategory ist ein fall von DocumentCategory %n{nicht} |
(lexicon SolvedExampleCategory LexNoun "solved example") | engineering.kif 1384-1384 |
appearance as argument number 2 |
(termFormat ChineseLanguage SolvedExampleCategory "解决了示例类别") | domainEnglishFormat.kif 53912-53912 | |
(termFormat ChineseTraditionalLanguage SolvedExampleCategory "解決了示例類別") | domainEnglishFormat.kif 53911-53911 | |
(termFormat EnglishLanguage SolvedExampleCategory "solved example category") | domainEnglishFormat.kif 53910-53910 |