(=> (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 |
|
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (instance ?S Set) (patient ?DECIDE ?S) (element ?M ?S)) (believes ?AGENT (exists (?CLASS) (and (instance ?M ?CLASS) (subclass ?CLASS IntentionalProcess) (capability ?CLASS agent ?AGENT))))) |
Merge.kif 12036-12048 |
|
(subclass Set SetOrClass) | Merge.kif 2148-2148 | Set ist eine teilkategorie von SetOrClass |
(subclass NullSet Set) | Merge.kif 5516-5516 | NullSet ist eine teilkategorie von Set |
(subclass NonNullSet Set) | Merge.kif 5527-5527 | NonNullSet ist eine teilkategorie von Set |
(subclass FiniteSet Set) | Merge.kif 5537-5537 | FiniteSet ist eine teilkategorie von Set |
(subclass SetOfEquations Set) | engineering.kif 205-205 | SetOfEquations ist eine teilkategorie von Set |