Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SeriesVolumeFn

 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 14647-14649
(domain SeriesVolumeFn 2 PositiveInteger) Mid-level-ontology.kif 14645-14645 Die Zahl 2 Argument von SeriesVolumeFn ist ein fall von PositiveInteger %n{nicht}
(domainSubclass SeriesVolumeFn 1 Series) Mid-level-ontology.kif 14644-14644 Die Zahl 1 Argument von SeriesVolumeFn ist eine teilkategorie von Series %n{nicht}
(instance SeriesVolumeFn BinaryFunction) Mid-level-ontology.kif 14642-14642 SeriesVolumeFn ist ein fall von BinaryFunction %n{nicht}
(instance SeriesVolumeFn PartialValuedRelation) Mid-level-ontology.kif 14643-14643 SeriesVolumeFn ist ein fall von PartialValuedRelation %n{nicht}
(rangeSubclass SeriesVolumeFn Text) Mid-level-ontology.kif 14646-14646 Die werte die SeriesVolumeFn zurueckgibt sind teilkategorien von 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 52193-52193
(termFormat ChineseLanguage SeriesVolumeFn "系列编号函数") chinese_format.kif 562-562
(termFormat ChineseTraditionalLanguage SeriesVolumeFn "系列卷") domainEnglishFormat.kif 52192-52192
(termFormat EnglishLanguage SeriesVolumeFn "series volume") domainEnglishFormat.kif 52191-52191

antecedent
-------------------------


(=>
    (and
        (subclass ?PROGRAM NewsProgram)
        (instance ?EPISODE
            (SeriesVolumeFn ?PROGRAM ?NUMBER)))
    (exists (?DISSEMINATE)
        (and
            (instance ?DISSEMINATE Disseminating)
            (patient ?DISSEMINATE ?EPISODE))))		 Mid-level-ontology.kif 14633-14640
(=>
    (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 14651-14665
(=>
    (equal
        (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME)
    (subsumesContentClass ?SERIES ?VOLUME))		 Mid-level-ontology.kif 14667-14669


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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