EditionFn |
appearance as argument number 1 |
(documentation EditionFn ChineseLanguage "这是一个 BinaryFunction,它把一种文本 (例如:阿加莎·克里斯蒂所作的'东方快车'谋杀案 ) 和这个文本的版本对应的一个数字连在一起。") | chinese_format.kif 3567-3568 | |
(documentation EditionFn EnglishLanguage "A BinaryFunction that maps a type of text (e.g. Agatha Christie's Murder_on_the_Orient_Express) and a number to the edition of the text type corresponding to the number.") | Merge.kif 15557-15559 | |
(domain EditionFn 2 PositiveInteger) | Merge.kif 15555-15555 | The number 2 argument of edition is an instance of positive integer |
(domainSubclass EditionFn 1 ContentBearingObject) | Merge.kif 15554-15554 | The number 1 argument of edition is a subclass of content bearing object |
(instance EditionFn BinaryFunction) | Merge.kif 15552-15552 | Edition is an instance of binary function |
(instance EditionFn PartialValuedRelation) | Merge.kif 15553-15553 | Edition is an instance of partial valued relation |
(rangeSubclass EditionFn ContentBearingObject) | Merge.kif 15556-15556 | The values returned by edition are subclasses of content bearing object |
appearance as argument number 2 |
(format ChineseLanguage EditionFn "%1的第%2版 ") | chinese_format.kif 559-559 | |
(format EnglishLanguage EditionFn "edition %2 of %1") | english_format.kif 564-564 | |
(format FrenchLanguage EditionFn "�dition %2 de %1") | french_format.kif 329-329 | |
(format ItalianLanguage EditionFn "edizione %2 di %1") | relations-it.txt 88-88 | |
(format JapaneseLanguage EditionFn "%1 の edition %2") | japanese_format.kif 2093-2093 | |
(format PortugueseLanguage EditionFn "edicao %2 de %1") | portuguese_format.kif 281-281 | |
(format de EditionFn "ausgabe %2 von %1") | relations-de.txt 731-731 | |
(format hi EditionFn "%1 kaa sanskaraNa sanhkyaa %2") | relations-hindi.txt 128-128 | |
(format ro EditionFn "edition%t{ediþia} %2 a lui %1") | relations-ro.kif 350-350 | |
(format sv EditionFn "upplaga %2 av %1") | relations-sv.txt 364-364 | |
(format tg EditionFn "salin %2 ng %1") | relations-tg.txt 191-191 | |
(termFormat ChineseLanguage EditionFn "版") | domainEnglishFormat.kif 21246-21246 | |
(termFormat ChineseLanguage EditionFn "版本函数") | chinese_format.kif 560-560 | |
(termFormat ChineseTraditionalLanguage EditionFn "版") | domainEnglishFormat.kif 21245-21245 | |
(termFormat EnglishLanguage EditionFn "edition") | domainEnglishFormat.kif 21244-21244 | |
(termFormat tg EditionFn "tungkulin ng salin") | relations-tg.txt 192-192 |
antecedent |