| BreakingRecord | |
| 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 31673-31676 | |
| (subclass BreakingRecord Process) | Mid-level-ontology.kif 31677-31677 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BreakingRecord "breaking record") | domainEnglishFormat.kif 64590-64590 |
| 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 31681-31711 |
|
|
|