期刊 (Periodical)
A Series whose elements are published separately
and on a periodic basis.
Ontology
SUMO / OBJECTSSuperclass(es)
Constrains relations
期刊一期函數
Related WordNet synsets
- periodical
- a publication that appears at fixed intervals
- series, serial, serial publication
- a periodical that appears at scheduled times
See more related synsets on a separate page.
Axioms (1)
If text 是 期刊 的 次種類 and "冊 int1 在 系列數 text" 等於 volume1 and "冊 int2 在 系列數 text" 等於 volume2 and int2 (不) 大於 int1 and pub1 是 出版 的 實例 and pub2 是 出版 的 實例 and volume1 是 pub1 的 受事者 and volume2 是 pub2 的 受事者 and pub1 的 日期 是 date1 and pub2 的 日期 是 date2, then "date1 的 結束" (沒) 發生?{s} 在 "date2 的 結束" 之前.
(=>
(and
(subclass ?TEXT Periodical)
(equal
(SeriesVolumeFn ?TEXT ?INT1)
?VOLUME1)
(equal
(SeriesVolumeFn ?TEXT ?INT2)
?VOLUME2)
(greaterThan ?INT2 ?INT1)
(instance ?PUB1 Publication)
(instance ?PUB2 Publication)
(patient ?PUB1 ?VOLUME1)
(patient ?PUB2 ?VOLUME2)
(date ?PUB1 ?DATE1)
(date ?PUB2 ?DATE2))
(before
(EndFn ?DATE1)
(EndFn ?DATE2)))