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 14633-14640	子類 Series and 新聞節目例 Entity and 系列卷 Series and PositiveInteger Process 例 Process and Disseminating 患者 Process and Entity
(=> (attribute ?H NewsReporter) (hasPurpose ?H (exists (?EV ?T ?NEWS) (and (instance ?EV Process) (overlapsTemporally (WhenFn ?EV) (WhenFn ?H)) (instance ?T ?NEWS) (or (subclass ?NEWS Newspaper) (subclass ?NEWS NewsProgram)) (authors ?H ?NEWS) (refers ?T ?EV)))))	Mid-level-ontology.kif 21093-21107	attribute Object and 新聞記者有目的 Object and entity entity and entity 例 entity and Process 暫時重疊何時 entity and 何時 Object 例 entity and entity 子類 entity and 報紙子類 entity and 新聞節目作者 Object and entity 參照 entity and entity
(subclass NewsProgram BroadcastProgram)	Mid-level-ontology.kif 14626-14626	子類新聞節目 and 廣播節目