| (=> (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 30054-30084 | |
| (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 3104-3104 | |
| (subclass TransitRoute Region) | Transportation.kif 3172-3172 | |
| (subclass FlowRegion Region) | Mid-level-ontology.kif 9070-9070 | |
| (subclass SpaceRegion Region) | Mid-level-ontology.kif 9094-9094 | |
| (subclass Outdoors Region) | Mid-level-ontology.kif 9156-9156 | |
| (subclass Indoors Region) | Mid-level-ontology.kif 9168-9168 | |
| (subclass SittingArea Region) | Mid-level-ontology.kif 15555-15555 | |
| (subclass KitchenArea Region) | Mid-level-ontology.kif 15568-15568 | |
| (subclass DiningArea Region) | Mid-level-ontology.kif 15593-15593 | |
| (subclass UnderwaterRegion Region) | Mid-level-ontology.kif 17700-17700 | |
| (subclass Road Region) | Mid-level-ontology.kif 22269-22269 | |
| (subclass Patio Region) | Mid-level-ontology.kif 26667-26667 | |
| (subclass HoleRegion Region) | Merge.kif 9887-9887 | |
| (subclass GeographicArea Region) | Merge.kif 14077-14077 | |
| (subclass Transitway Region) | Merge.kif 14311-14311 | |
| (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 |
|
|