（文本）版本函數 (EditionFn)

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.

Ontology

SUMO / OBJECTS

Class(es)

種類

可繼承關係

二元函數

（文本）版本函數

Coordinate term(s)

加法函數日函數密度函數除法函數指數函數圖路徑函數小時函數交集函數間隔函數種類描述函數列結函數列序函數對數函數最大值函數最大量路徑函數測量函數部分整體差異函數部分整體交集函數部分整體加總函數最小值函數最小量路徑函數分鐘函數月份函數乘法函數期刊一期函數週期性時距函數關係互補函數相對時間函數餘數函數秒鐘函數系列一卷函數速度函數減法函數時間單位函數時間歷程函數聯集函數位置函數

Type restrictions

subclass 內容載體 EditionFn(subclass 內容載體, 正整數)

Related WordNet synsets

edition: the form in which a text (especially a printed book) is published
edition: all of the identical copies of something offered to the public at the same time; "the first edition appeared in 1920" or "it was too late for the morning edition" or "they issued a limited edition of Bach recordings"

See more related synsets on a separate page.

Axioms (2)

If "text 的版本 int1 " 等於 edition1 and "text 的版本 int2 " 等於 edition2 and int2 (不) 大於 int1 and pub1 是出版的實例 and pub2 是出版的實例 and edition1 是 pub1 的受事者 and edition2 是 pub2 的受事者 and pub1 的日期是 date1 and pub2 的日期是 date2, then "date1 的結束" (沒) 發生?{s} 在 "date2 的結束" 之前.

(=>
      (and
            (equal
                  (EditionFn ?TEXT ?INT1)
                  ?EDITION1)
            (equal
                  (EditionFn ?TEXT ?INT2)
                  ?EDITION2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?EDITION1)
            (patient ?PUB2 ?EDITION2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))

If "text1 的版本 number " 等於 text2, then text1 �]容 text2.

(=>
      (equal
            (EditionFn ?TEXT1 ?NUMBER)
            ?TEXT2)
      (subsumesContentClass ?TEXT1 ?TEXT2))