(=>
(and
(birthdate JesusOfNazareth ?DAY)
(instance ?Y1
(YearFn -6))
(instance ?Y2
(YearFn 4)))
(temporalPart ?DAY
(TimeIntervalFn
(BeginFn ?Y1)
(EndFn ?Y2)))) |
Media.kif 1936-1941 |
|
(=>
(and
(deathdate JesusOfNazareth ?DAY)
(instance ?Y1
(YearFn 29))
(instance ?Y2
(YearFn 36)))
(temporalPart ?DAY
(TimeIntervalFn
(BeginFn ?Y1)
(EndFn ?Y2)))) |
Media.kif 1943-1948 |
|
(=>
(and
(instance ?T1
(YearFn 26))
(instance ?T2
(YearFn 100)))
(temporalPart
(WhenFn TwelveApostles)
(TimeIntervalFn
(BeginFn ?T1)
(EndFn ?T2)))) |
Media.kif 1959-1963 |
|
(=>
(and
(instance ?TIME TimePoint)
(holdsDuring ?TIME
(age ?OBJ ?DURATION)))
(duration
(TimeIntervalFn
(BeginFn
(WhenFn ?OBJ)) ?TIME) ?DURATION)) |
Merge.kif 7524-7528 |
|
(=>
(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}
|
(=>
(and
(reservationStart ?TIME1 ?R)
(reservationEnd ?TIME2 ?R)
(reservingEntity ?CUST ?R)
(fulfillingEntity ?AGENT ?R))
(modalAttribute
(holdsDuring
(TimeIntervalFn ?TIME1 ?TIME2)
(exists (?P)
(and
(instance ?P IntentionalProcess)
(agent ?P ?AGENT)
(destination ?P ?CUST)))) Likely)) |
Dining.kif 711-724 |
|
(=>
(and
(reservedRoom ?RESERVE ?ROOMTYPE)
(reservationStart ?RESERVE ?TIME1)
(reservationEnd ?RESERVE ?TIME2)
(reservingEntity ?RESERVE ?CUST))
(modalAttribute
(holdsDuring
(TimeIntervalFn ?TIME1 ?TIME2)
(exists (?X)
(and
(instance ?X ?ROOMTYPE)
(stays ?CUST ?X)))) Likely)) |
Hotel.kif 2951-2963 |
|
(=>
(instance ?INTERVAL TimeInterval)
(equal
(FutureFn ?INTERVAL)
(TimeIntervalFn
(EndFn ?INTERVAL) PositiveInfinity))) |
Merge.kif 8521-8523 |
|
(=>
(instance ?INTERVAL TimeInterval)
(equal
(PastFn ?INTERVAL)
(TimeIntervalFn NegativeInfinity
(BeginFn ?INTERVAL)))) |
Merge.kif 8490-8492 |
|
(=>
(instance ?TIME LunchTime)
(exists (?ELEVEN ?THREE ?DAY)
(and
(during ?TIME
(TimeIntervalFn
(BeginFn ?ELEVEN)
(EndFn ?THREE)))
(instance ?ELEVEN
(HourFn 11 ?DAY))
(instance ?THREE
(HourFn 15 ?DAY))))) |
Food.kif 1867-1876 |
|
(=>
(measuringListDuration ?LIST ?DURATION)
(exists (?T)
(and
(equal ?T
(TimeIntervalFn
(BeginFn
(WhenFn
(FirstFn ?LIST)))
(EndFn
(WhenFn
(LastFn ?LIST)))))
(duration ?T ?DURATION)))) |
Weather.kif 1878-1886 |
|