(=>
(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 |
- Wenn Process ist ein fall von BreakingRecord %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht},
- dann es gibt Set, Class,, , ** Process,, , TimePoint,, , CaseRole,, , Object, and und Entity um ** Set ist ein fall von Set %n{nicht} und ** AutonomousAgent ist ein element von ** Set %n{nicht} und ** Class ist eine teilkategorie von Process und ** Object ist ein fall von Region %n{nicht} und ** TimePoint ist ein fall von TimePoint %n{nicht} und ** Entity ist ein fall von Quantity %n{nicht} und ** ** Process ist ein fall von ** Class %n{nicht} und ** Process umfasst einen hinweis auf ** Entity und ** Entity umfasst einen hinweis auf ** ** Process und playsRoleInEvent ** AutonomousAgent, ** CaseRole and ** ** Process und eventLocated ** ** Process and ** Object und es gibt nicht ** Entity und ** Entity um ** ** Entity ist ein fall von ** Set %n{nicht} und ** ** Entity ist gleich ** AutonomousAgent nicht und ** ** Entity ist ein fall von ** Class %n{nicht} und playsRoleInEvent ** ** Entity, ** CaseRole and ** ** Entity und eventLocated ** ** Entity and ** Object haelt waehrend abstand zwischen ** TimePoint und das ende von die zeit des Bestehens von ** Process %n{nicht}
|
(subclass Region Object) |
Merge.kif 1251-1251 |
Region ist eine teilkategorie von Object |
(subclass Atmosphere Region) |
Weather.kif 10-10 |
Atmosphere ist eine teilkategorie von Region |
(subclass HydrophobicSide Region) |
VirusProteinAndCellPart.kif 536-536 |
HydrophobicSide ist eine teilkategorie von Region |
(subclass HydrophilicSide Region) |
VirusProteinAndCellPart.kif 547-547 |
HydrophilicSide ist eine teilkategorie von Region |
(subclass ParkingRegion Region) |
TransportDetail.kif 31-31 |
ParkingRegion ist eine teilkategorie von Region |
(subclass TransitStop Region) |
Transportation.kif 2924-2924 |
TransitStop ist eine teilkategorie von Region |
(subclass TransitRoute Region) |
Transportation.kif 2991-2991 |
TransitRoute ist eine teilkategorie von Region |
(subclass FlowRegion Region) |
Mid-level-ontology.kif 9043-9043 |
FlowRegion ist eine teilkategorie von Region |
(subclass SpaceRegion Region) |
Mid-level-ontology.kif 9067-9067 |
SpaceRegion ist eine teilkategorie von Region |
(subclass Outdoors Region) |
Mid-level-ontology.kif 9129-9129 |
Outdoors ist eine teilkategorie von Region |
(subclass Indoors Region) |
Mid-level-ontology.kif 9141-9141 |
Indoors ist eine teilkategorie von Region |
(subclass SittingArea Region) |
Mid-level-ontology.kif 15528-15528 |
SittingArea ist eine teilkategorie von Region |
(subclass KitchenArea Region) |
Mid-level-ontology.kif 15541-15541 |
KitchenArea ist eine teilkategorie von Region |
(subclass DiningArea Region) |
Mid-level-ontology.kif 15566-15566 |
DiningArea ist eine teilkategorie von Region |
(subclass UnderwaterRegion Region) |
Mid-level-ontology.kif 17673-17673 |
UnderwaterRegion ist eine teilkategorie von Region |
(subclass Road Region) |
Mid-level-ontology.kif 22217-22217 |
Road ist eine teilkategorie von Region |
(subclass Patio Region) |
Mid-level-ontology.kif 26634-26634 |
Patio ist eine teilkategorie von Region |
(subclass HoleRegion Region) |
Merge.kif 9851-9851 |
HoleRegion ist eine teilkategorie von Region |
(subclass GeographicArea Region) |
Merge.kif 14031-14031 |
GeographicArea ist eine teilkategorie von Region |
(subclass Transitway Region) |
Merge.kif 14265-14265 |
Transitway ist eine teilkategorie von Region |
(subclass Latitude Region) |
Geography.kif 302-302 |
Latitude ist eine teilkategorie von Region |
(subclass Longitude Region) |
Geography.kif 311-311 |
Longitude ist eine teilkategorie von Region |
(subclass PerimeterArea Region) |
Geography.kif 762-762 |
PerimeterArea ist eine teilkategorie von Region |
(subclass RealEstate Region) |
FinancialOntology.kif 1354-1354 |
RealEstate ist eine teilkategorie von Region |
(subclass PlayArea Region) |
Dining.kif 982-982 |
PlayArea ist eine teilkategorie von Region |