| (=> (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 | |
| (subclass Quantity Abstract) | Merge.kif 1689-1689 | |
| (subclass FiniteQuantity Quantity) | Mid-level-ontology.kif 3336-3336 | |
| (subclass InfiniteQuantity Quantity) | Mid-level-ontology.kif 3340-3340 | |
| (subclass Number Quantity) | Merge.kif 1819-1819 | |
| (subclass PhysicalQuantity Quantity) | Merge.kif 2021-2021 | |
| (subclass PhysicalDimension Quantity) | engineering.kif 73-73 | |
| (subclass MultipoleQuantity Quantity) | engineering.kif 292-292 |
|
|