Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BreakingRecord(breaking record) |  | better, break, record |
| appearance as argument number 1 |
|
|
| (documentation BreakingRecord EnglishLanguage "A Process where the AutonomousAgent takes a specific CaseRole in a Process of a specific Class which no other AutonomousAgent of the same Class had undertaken in the same CaseRole in a specific TimeInterval preceeding the moment when the record was broken and in a specific Region. BreakingRecord refers to a Quantity which refers to the Process Class.") | Mid-level-ontology.kif 32621-32624 | |
| (subclass BreakingRecord Process) | Mid-level-ontology.kif 32625-32625 | Breaking record is a subclass of process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BreakingRecord "breaking record") | domainEnglishFormat.kif 64570-64570 |
| antecedent |
|
|
| (=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (element ?A1 ?AC) (subclass ?PC Process) (instance ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L))))))))) |
Mid-level-ontology.kif 32629-32659 | If X is an instance of breaking record and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T,, , S (2) R such that Z is an instance of set (3) Y is an element of Z (4) W is a subclass of process (5) S is an instance of region (6) U is an instance of time point (7) R is an instance of quantity (8) V is an instance of W (9) X includes a reference to R (10) R includes a reference to V (11) Y plays role in event T for V (12) V is located at S (13) there don't exist Q (14) P such that Q is an instance of Z (15) equal Q (16) Y (17) P is an instance of W (18) Q plays role in event T for P (19) P is located at S holds during interval between U (20) the end of the time of existence of X |
|