![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Newspaper
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PAPER Newspaper) (exists (?REPORT) (and (instance ?REPORT Report) (subsumesContentInstance ?PAPER ?REPORT)))) |
Mid-level-ontology.kif 16389-16394 | If X is an instance of newspaper, then there exists Y such that Y is an instance of report and X subsumes the content of Y |
| (=> (and (subclass ?PAPER Newspaper) (instance ?WEEK Week)) (exists (?PUBLICATION ?ISSUE) (and (instance ?PUBLICATION Publication) (temporalPart (WhenFn ?PUBLICATION) ?WEEK) (result ?PUBLICATION ?ISSUE) (instance ?ISSUE ?PAPER)))) |
Mid-level-ontology.kif 16396-16405 | If X is a subclass of newspaper and Y is an instance of week, then there exist Z, W such that Z is an instance of publication, the time of existence of Z is a part of Y, W is a result of Z, and W is an instance of X |
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Newspaper)) (holdsDuring ?T1 (attribute ?AGENT NewspaperPublishers))) |
Media.kif 1859-1863 | If X publishes Y holds during Z and Y is a subclass of newspaper, then newspaper publishers is an attribute of X holds during Z |
| 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 |
| (=> (attribute ?X NewsDealersAndNewsstands) (hasPurpose ?X (exists (?SELL ?NEWS) (and (instance ?NEWS Newspaper) (instance ?SELL Selling) (patient ?SELL ?NEWS) (agent ?SELL ?X))))) |
naics.kif 7675-7683 | If news dealers and newsstands is an attribute of X, then X has the purpose there exist Y, Z such that Z is an instance of newspaper, Y is an instance of selling, Z is a patient of Y, and X is an agent of Y |