Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| NewsProgram(newsprogram) |  | news, news_program, news_show, television_news |
| appearance as argument number 1 |
|
|
| (subclass NewsProgram BroadcastProgram) | Mid-level-ontology.kif 16204-16204 | Newsprogram is a subclass of broadcast program |
| (documentation NewsProgram EnglishLanguage "A BroadcastProgram that is devoted to reporting the latest events in a city, region, nation or the world at large.") | Mid-level-ontology.kif 16205-16207 | Newsprogram is a subclass of broadcast program |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (subclass ?PROGRAM NewsProgram) (instance ?EPISODE (SeriesVolumeFn ?PROGRAM ?NUMBER))) (exists (?DISSEMINATE) (and (instance ?DISSEMINATE Disseminating) (patient ?DISSEMINATE ?EPISODE)))) |
Mid-level-ontology.kif 16211-16218 | If X is a subclass of newsprogram and Y is an instance of volume Z in the series X, then there exists W such that W is an instance of disseminating and Y is a patient of W |
| consequent |
|
|
| (=> (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 23308-23322 | If news reporter is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of process (3) the time of existence of X overlaps the time of existence of Y (4) Z is an instance of W (5) W is a subclass of newspaper or W is a subclass of newsprogram (6) X is the author of W (7) Z includes a reference to Y |
|