| (=> (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 30018-30048 | |
| (subclass Region Object) | Merge.kif 1251-1251 | |
| (subclass Atmosphere Region) | Weather.kif 10-10 | |
| (subclass HydrophobicSide Region) | VirusProteinAndCellPart.kif 535-535 | |
| (subclass HydrophilicSide Region) | VirusProteinAndCellPart.kif 546-546 | |
| (subclass ParkingRegion Region) | TransportDetail.kif 31-31 | |
| (subclass TransitStop Region) | Transportation.kif 2924-2924 | |
| (subclass TransitRoute Region) | Transportation.kif 2991-2991 | |
| (subclass FlowRegion Region) | Mid-level-ontology.kif 9042-9042 | |
| (subclass SpaceRegion Region) | Mid-level-ontology.kif 9066-9066 | |
| (subclass Outdoors Region) | Mid-level-ontology.kif 9128-9128 | |
| (subclass Indoors Region) | Mid-level-ontology.kif 9140-9140 | |
| (subclass SittingArea Region) | Mid-level-ontology.kif 15527-15527 | |
| (subclass KitchenArea Region) | Mid-level-ontology.kif 15540-15540 | |
| (subclass DiningArea Region) | Mid-level-ontology.kif 15565-15565 | |
| (subclass UnderwaterRegion Region) | Mid-level-ontology.kif 17672-17672 | |
| (subclass Road Region) | Mid-level-ontology.kif 22216-22216 | |
| (subclass Patio Region) | Mid-level-ontology.kif 26622-26622 | |
| (subclass HoleRegion Region) | Merge.kif 9873-9873 | |
| (subclass GeographicArea Region) | Merge.kif 14053-14053 | |
| (subclass Transitway Region) | Merge.kif 14287-14287 | |
| (subclass Latitude Region) | Geography.kif 302-302 | |
| (subclass Longitude Region) | Geography.kif 311-311 | |
| (subclass PerimeterArea Region) | Geography.kif 762-762 | |
| (subclass RealEstate Region) | FinancialOntology.kif 1354-1354 | |
| (subclass PlayArea Region) | Dining.kif 982-982 |
|
|