Sigma KB Term Intersection

(=> (and (subclass ?PROGRAM NewsProgram) (instance ?EPISODE (SeriesVolumeFn ?PROGRAM ?NUMBER))) (exists (?DISSEMINATE) (and (instance ?DISSEMINATE Disseminating) (patient ?DISSEMINATE ?EPISODE))))	Mid-level-ontology.kif 14605-14612	子類 Series and 新聞節目例 Entity and 系列卷 Series and PositiveInteger Process 例 Process and Disseminating 患者 Process and Entity
(=> (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 14623-14637	子類 Series and Periodical 等於系列卷 Series and PositiveInteger and Text 等於系列卷 Series and PositiveInteger and Text 比較多 PositiveInteger and PositiveInteger 例 Process and Publication 例 Process and Publication 例 Entity and Text 例 Entity and Text 患者 Process and Entity 患者 Process and Entity 日期 Process and Day 日期 Process and Day 之前結束 Day and 結束 Day