SeriesVolumeFn |
appearance as argument number 1 |
(documentation SeriesVolumeFn EnglishLanguage "A BinaryFunction that maps a type of Series (e.g. the Encyclopedia_Britannica or the Popular_Mechanics periodical) and a number to the volumes of the text type designated by the number.") | Mid-level-ontology.kif 14620-14622 | |
(domain SeriesVolumeFn 2 PositiveInteger) | Mid-level-ontology.kif 14618-14618 | SeriesVolumeFn の数値 2 引数は 正の整数 の instance では %n |
(domainSubclass SeriesVolumeFn 1 Series) | Mid-level-ontology.kif 14617-14617 | SeriesVolumeFn の数値 1 引数は シリーズ のsubclass では %n |
(instance SeriesVolumeFn BinaryFunction) | Mid-level-ontology.kif 14615-14615 | SeriesVolumeFn は 2変数関数 の instance では %n |
(instance SeriesVolumeFn PartialValuedRelation) | Mid-level-ontology.kif 14616-14616 | SeriesVolumeFn は 部分的価値関係 の instance では %n |
(rangeSubclass SeriesVolumeFn Text) | Mid-level-ontology.kif 14619-14619 | SeriesVolumeFn が返す値は テキスト の subclasses では %n |
appearance as argument number 2 |
(format ChineseLanguage SeriesVolumeFn "系列%1的第%2卷") | chinese_format.kif 561-561 | |
(format EnglishLanguage SeriesVolumeFn "volume %2 in the series %1") | english_format.kif 566-566 | |
(format FrenchLanguage SeriesVolumeFn "le volume %2 dans les s�ries %1") | french_format.kif 330-330 | |
(format ItalianLanguage SeriesVolumeFn "volume %2 nella serie %1") | relations-it.txt 260-260 | |
(format JapaneseLanguage SeriesVolumeFn "series %1 の volume %2") | japanese_format.kif 2094-2094 | |
(format PortugueseLanguage SeriesVolumeFn "o volume %2 na serie %1") | portuguese_format.kif 282-282 | |
(format de SeriesVolumeFn "Band %2 in der reihe %1") | relations-de.txt 734-734 | |
(format hi SeriesVolumeFn "%1 ke shreNii men %2 khanda") | relations-hindi.txt 297-297 | |
(format ro SeriesVolumeFn "volumul %2 din series%t{seria} %1") | relations-ro.kif 351-351 | |
(format sv SeriesVolumeFn "volym %2 i serien %1") | relations-sv.txt 365-365 | |
(format tg SeriesVolumeFn "aklat %2 sa ang kawil %1") | relations-tg.txt 452-452 | |
(termFormat ChineseLanguage SeriesVolumeFn "系列卷") | domainEnglishFormat.kif 52191-52191 | |
(termFormat ChineseLanguage SeriesVolumeFn "系列编号函数") | chinese_format.kif 562-562 | |
(termFormat ChineseTraditionalLanguage SeriesVolumeFn "系列卷") | domainEnglishFormat.kif 52190-52190 | |
(termFormat EnglishLanguage SeriesVolumeFn "series volume") | domainEnglishFormat.kif 52189-52189 |
antecedent |
(=> (and (subclass ?PROGRAM NewsProgram) (instance ?EPISODE (SeriesVolumeFn ?PROGRAM ?NUMBER))) (exists (?DISSEMINATE) (and (instance ?DISSEMINATE Disseminating) (patient ?DISSEMINATE ?EPISODE)))) |
Mid-level-ontology.kif 14606-14613 | |
(=> (and (subclass ?TEXT Periodical) (equal (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1) (equal (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?VOLUME1) (instance ?CBO2 ?VOLUME2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2))) |
Mid-level-ontology.kif 14624-14638 |
|
(=> (equal (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME) (subsumesContentClass ?SERIES ?VOLUME)) |
Mid-level-ontology.kif 14640-14642 |