| 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 15991-15993 | |
| (domain SeriesVolumeFn 2 PositiveInteger) | Mid-level-ontology.kif 15989-15989 | 系列编号函数 的 2 数量 是 正整数 的 instance |
| (domainSubclass SeriesVolumeFn 1 Series) | Mid-level-ontology.kif 15988-15988 | 系列编号函数 的 1 数量 是 系列 的 subclass |
| (instance SeriesVolumeFn BinaryFunction) | Mid-level-ontology.kif 15986-15986 | 系列编号函数 是 二元函数 的 instance |
| (instance SeriesVolumeFn PartialValuedRelation) | Mid-level-ontology.kif 15987-15987 | 系列编号函数 是 部分值关系 的 instance |
| (rangeSubclass SeriesVolumeFn Text) | Mid-level-ontology.kif 15990-15990 | 系列编号函数 的所得值 是 文本 的 subclass |
| 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 52195-52195 | |
| (termFormat ChineseLanguage SeriesVolumeFn "系列编号函数") | chinese_format.kif 562-562 | |
| (termFormat ChineseTraditionalLanguage SeriesVolumeFn "系列卷") | domainEnglishFormat.kif 52194-52194 | |
| (termFormat EnglishLanguage SeriesVolumeFn "series volume") | domainEnglishFormat.kif 52193-52193 | |
| (termFormat de SeriesVolumeFn "ReiheBandeFn") | terms-de.txt 223-223 |
| antecedent |
|
|
| (=> (and (subclass ?PROGRAM NewsProgram) (instance ?EPISODE (SeriesVolumeFn ?PROGRAM ?NUMBER))) (exists (?DISSEMINATE) (and (instance ?DISSEMINATE Disseminating) (patient ?DISSEMINATE ?EPISODE)))) |
Mid-level-ontology.kif 15977-15984 | |
| (=> (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 15995-16009 |
|
| (=> (equal (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME) (subsumesContentClass ?SERIES ?VOLUME)) |
Mid-level-ontology.kif 16011-16013 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners