| (=> (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 30030-30060 | |
| (subclass Quantity Abstract) | Merge.kif 1694-1694 | |
| (subclass FiniteQuantity Quantity) | Mid-level-ontology.kif 2874-2874 | |
| (subclass InfiniteQuantity Quantity) | Mid-level-ontology.kif 2878-2878 | |
| (subclass Number Quantity) | Merge.kif 1824-1824 | |
| (subclass PhysicalQuantity Quantity) | Merge.kif 2025-2025 | |
| (subclass PhysicalDimension Quantity) | engineering.kif 74-74 | |
| (subclass MultipoleQuantity Quantity) | engineering.kif 293-293 |
|
|