![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
HistoricalAccount
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition NarrativeText FictionalText HistoricalAccount) | Mid-level-ontology.kif 16493-16493 | Narrative text is exhaustively partitioned into fictional text and historical account |
| antecedent |
|
|
| (=> (instance ?ACCOUNT HistoricalAccount) (exists (?EVENT) (and (represents ?ACCOUNT ?EVENT) (earlier (WhenFn ?EVENT) (WhenFn ?ACCOUNT))))) |
Mid-level-ontology.kif 16495-16500 | If X is an instance of historical account, then there exists Y such that X expresses Y and the time of existence of Y happens earlier than the time of existence of X |