SeriesVolumeFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SeriesVolumeFn

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 14838-14840
(domain SeriesVolumeFn 2 PositiveInteger)	Mid-level-ontology.kif 14836-14836	The number 2 argument of series volume is an instance of positive integer
(domainSubclass SeriesVolumeFn 1 Series)	Mid-level-ontology.kif 14835-14835	The number 1 argument of series volume is a subclass of series
(instance SeriesVolumeFn BinaryFunction)	Mid-level-ontology.kif 14833-14833	Series volume is an instance of binary function
(instance SeriesVolumeFn PartialValuedRelation)	Mid-level-ontology.kif 14834-14834	Series volume is an instance of partial valued relation
(rangeSubclass SeriesVolumeFn Text)	Mid-level-ontology.kif 14837-14837	The values returned by series volume are subclasses of text

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 52231-52231
(termFormat ChineseLanguage SeriesVolumeFn "系列编号函数")	chinese_format.kif 562-562
(termFormat ChineseTraditionalLanguage SeriesVolumeFn "系列卷")	domainEnglishFormat.kif 52230-52230
(termFormat EnglishLanguage SeriesVolumeFn "series volume")	domainEnglishFormat.kif 52229-52229

antecedent

(=> (and (subclass ?PROGRAM NewsProgram) (instance ?EPISODE (SeriesVolumeFn ?PROGRAM ?NUMBER))) (exists (?DISSEMINATE) (and (instance ?DISSEMINATE Disseminating) (patient ?DISSEMINATE ?EPISODE))))	Mid-level-ontology.kif 14824-14831	If a kind of series is a subclass of newsprogram and an entity is an instance of volume a positive integer in the series a kind of series, then there exists a process such that the process is an instance of disseminating and the entity is a patient of the process
(=> (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 14842-14856	If a kind of series is a subclass of periodical and volume a positive integer in the series a kind of series is equal to a kind of text and volume another positive integer in the series the kind of series is equal to another kind of text and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of a kind of text and another entity is an instance of another kind of text and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
(=> (equal (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME) (subsumesContentClass ?SERIES ?VOLUME))	Mid-level-ontology.kif 14858-14860	If volume a positive integer in the series a kind of series is equal to a kind of text, then a kind of series subsumes the content of a kind of text

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