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