(=>
(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
(equal ?FY
(FiscalYearStartingFn ?PLACE ?YEAR))
(fiscalYearPeriod ?PLACE ?PERIOD)
(instance ?FY ?PERIOD))
(exists (?DAY ?INST)
(and
(instance ?DAY Day)
(starts ?DAY ?FY)
(instance ?INST ?YEAR)
(temporalPart ?DAY ?INST)))) |
Economy.kif 3754-3764 |
|
(=>
(and
(holdsDuring ?T1
(and
(attribute ?P Expellee)
(citizen ?P ?HOME-NATION)))
(instance ?T1 TimeInterval))
(exists (?TRANS ?NATION)
(and
(instance ?NATION Nation)
(not
(equal ?NATION ?HOME-NATION))
(instance ?TRANS Translocation)
(origin ?TRANS ?NATION)
(patient ?TRANS ?P)
(destination ?TRANS ?HOME-NATION)
(temporalPart ?T1
(WhenFn ?TRANS))))) |
MilitaryPersons.kif 151-167 |
|
(=>
(and
(instance ?DECODE Decoding)
(patient ?DECODE ?DOC1))
(exists (?ENCODE ?DOC2 ?TIME ?PROP)
(and
(containsInformation ?DOC2 ?PROP)
(containsInformation ?DOC1 ?PROP)
(temporalPart ?TIME
(PastFn
(WhenFn ?DECODE)))
(holdsDuring ?TIME
(and
(instance ?ENCODE Encoding)
(patient ?ENCODE ?DOC2)))))) |
Merge.kif 12737-12750 |
|
(=>
(and
(instance ?GOAL GameGoal)
(instrument ?GAME ?GOAL)
(instance ?GAME Game)
(subProcess ?SCORE ?GAME)
(instance ?SCORE Score))
(exists (?PIECE ?TIME)
(and
(instance ?PIECE GamePiece)
(patient ?SCORE ?PIECE)
(temporalPart ?TIME
(WhenFn ?SCORE))
(holdsDuring ?TIME
(located ?PIECE ?GOAL))))) |
Mid-level-ontology.kif 17050-17062 |
|
(=>
(and
(instance ?H Hanukkah)
(equal ?B
(BeginFn ?H)))
(exists (?M)
(and
(temporalPart ?B ?M)
(instance ?M Month)
(or
(instance ?M November)
(instance ?M December))))) |
Media.kif 587-597 |
|
(=>
(and
(instance ?KEEP Keeping)
(patient ?KEEP ?OBJ))
(exists (?PLACE)
(forall (?TIME)
(=>
(temporalPart ?TIME
(WhenFn ?KEEP))
(holdsDuring ?TIME
(located ?OBJ ?PLACE)))))) |
Merge.kif 12212-12220 |
|
(=>
(and
(instance ?O OccupationalRole)
(typicalAction ?PCLASS
(AttrFn CognitiveAgent ?O)))
(exists (?X ?T ?P ?PT)
(and
(instance ?X CognitiveAgent)
(holdsDuring ?T
(attribute ?X ?O))
(instance ?P ?PCLASS)
(agent ?X ?P)
(time ?P ?PT)
(temporalPart ?PT ?T)))) |
Mid-level-ontology.kif 22259-22272 |
|
(=>
(and
(instance ?POINT1 TimePoint)
(instance ?POINT2 TimePoint)
(instance ?INTERVAL TimeInterval)
(equal
(TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL))
(forall (?POINT)
(<=>
(temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
(temporalPart ?POINT ?INTERVAL)))) |
Merge.kif 8452-8461 |
|
(=>
(and
(instance ?SAW Saw)
(instance ?CUT Cutting)
(instrument ?CUT ?SAW)
(instance ?OBJ Object)
(patient ?CUT ?OBJ))
(exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(and
(instance ?MOTION Motion)
(subProcess ?MOTION ?CUT)
(instance ?PART CuttingDevice)
(part ?PART ?SAW)
(meetsSpatially ?PART ?OBJ)
(patient ?MOTION ?PART)
(instance ?T2 TimeInterval)
(instance ?T2 TimeInterval)
(equal
(WhenFn ?MOTION) ?TIME)
(temporalPart ?TIME ?T1)
(temporalPart ?TIME ?T2)
(instance ?DIR1 DirectionalAttribute)
(instance ?DIR2 DirectionalAttribute)
(=>
(holdsDuring ?T1
(direction ?MOTION ?DIR1))
(holdsDuring ?T2
(and
(direction ?MOTION ?DIR2)
(or
(equal ?DIR1 ?DIR2)
(oppositeDirection ?DIR1 ?DIR2))
(not
(and
(equal ?DIR1 ?DIR2)
(oppositeDirection ?DIR1 ?DIR2))))))))) |
Mid-level-ontology.kif 18149-18183 |
- Wenn Object ist ein fall von Saw %n{nicht} und Process ist ein fall von Cutting %n{nicht} und ** Object ist ein instrument fuer ** Process %n{nicht} und ** Object ist ein fall von Object %n{nicht} und ** ** Object ist ein patient von ** Process %n{nicht},
- dann es gibt ** Process, Entity,, , ** Entity,, , TimeInterval,, , TimePosition,, , ** TimePosition, and und ** Object um ** ** Process ist ein fall von Motion %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Object ist ein fall von CuttingDevice %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object schliesst ** ** Object raeumlich an und ** ** Object ist ein patient von ** ** Process %n{nicht} und ** ** TimePosition ist ein fall von TimeInterval %n{nicht} und ** ** TimePosition ist ein fall von TimeInterval %n{nicht} und die zeit des Bestehens von ** ** Process ist gleich ** TimeInterval %n{nicht} und ** TimeInterval ist ein teil von ** TimePosition %n{nicht} und ** TimeInterval ist ein teil von ** ** TimePosition %n{nicht} und ** Entity ist ein fall von DirectionalAttribute %n{nicht} und ** ** Entity ist ein fall von DirectionalAttribute %n{nicht} und
|
(=>
(and
(instance ?T1
(YearFn 26))
(instance ?T2
(YearFn 100)))
(temporalPart
(WhenFn TwelveApostles)
(TimeIntervalFn
(BeginFn ?T1)
(EndFn ?T2)))) |
Media.kif 1959-1963 |
|
(=>
(and
(property ?Option EuropeanStyleOption)
(agreementExpirationDate ?Option ?Date))
(exists (?Period ?Time ?Exercise)
(and
(instance ?Period TimeInterval)
(equal
(EndFn ?Period) ?Date)
(=>
(and
(instance ?Exercise ExerciseAnOption)
(equal
(WhenFn ?Exercise) ?Time))
(temporalPart ?Time ?Period))))) |
FinancialOntology.kif 2808-2820 |
|
(=>
(and
(subclass ?PAPER Newspaper)
(instance ?WEEK Week))
(exists (?PUBLICATION ?ISSUE)
(and
(instance ?PUBLICATION Publication)
(temporalPart
(WhenFn ?PUBLICATION) ?WEEK)
(result ?PUBLICATION ?ISSUE)
(instance ?ISSUE ?PAPER)))) |
Mid-level-ontology.kif 14788-14797 |
|
(=>
(classmate ?A1 ?A2 ?COURSE)
(exists (?CLASS ?EDU ?TIME)
(and
(instance ?CLASS GroupOfPeople)
(instance ?EDU EducationalProcess)
(realization ?EDU ?COURSE)
(patient ?EDU ?CLASS)
(temporalPart ?TIME
(WhenFn ?EDU))
(memberAtTime ?A1 ?CLASS ?TIME)
(memberAtTime ?A1 ?CLASS ?TIME)))) |
Mid-level-ontology.kif 16815-16826 |
|
(=>
(climateTypeInArea ?AREA ColdClimateZone)
(exists (?MO ?AMOUNT)
(and
(instance ?MO Month)
(temporalPart ?MO WinterSeason)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT CelsiusDegree))
(lessThan ?AMOUNT -3.0)))) |
Geography.kif 1533-1541 |
|
(=>
(diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
(exists (?ORGANISM ?TIME ?SAMPLE ?PROC)
(and
(holdsDuring ?TIME
(attribute ?ORGANISM ?DISEASE))
(increasesLikelihood
(and
(instance ?PROC ?PROCESS)
(temporalPart
(WhenFn ?PROC) ?TIME)
(experiencer ?PROC ?ORGANISM)
(patient ?PROC ?SAMPLE)
(instance ?SAMPLE ?SUBSTANCE))
(holdsDuring
(ImmediateFutureFn ?TIME)
(not
(attribute ?ORGANISM ?DISEASE))))))) |
WMD.kif 941-955 |
|
(=>
(during ?SMALL ?BIG)
(temporalPart ?SMALL ?BIG)) |
Merge.kif 8280-8282 |
|
(=>
(equal
(BeginFn ?INTERVAL) ?POINT)
(forall (?OTHERPOINT)
(=>
(and
(temporalPart ?OTHERPOINT ?INTERVAL)
(not
(equal ?OTHERPOINT ?POINT)))
(before ?POINT ?OTHERPOINT)))) |
Merge.kif 8020-8027 |
|
(=>
(equal
(EndFn ?INTERVAL) ?POINT)
(forall (?OTHERPOINT)
(=>
(and
(temporalPart ?OTHERPOINT ?INTERVAL)
(not
(equal ?OTHERPOINT ?POINT)))
(before ?OTHERPOINT ?POINT)))) |
Merge.kif 8038-8045 |
|
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS)
(forall (?TIME)
(=>
(and
(instance ?TIME TimePoint)
(temporalPart ?TIME ?INTERVAL))
(exists (?INSTANCE)
(and
(instance ?INSTANCE ?CLASS)
(temporalPart ?TIME ?INSTANCE)))))) |
Merge.kif 9469-9479 |
|
(=>
(frequency ?PROC ?TIME1)
(forall (?TIME2)
(=>
(duration ?TIME2 ?TIME1)
(exists (?POSITION)
(and
(temporalPart ?POSITION ?TIME2)
(holdsDuring ?POSITION
(exists (?INST)
(instance ?INST ?PROC)))))))) |
Merge.kif 7939-7949 |
|
(=>
(holdsDuring ?T1
(attribute ?H Veteran))
(exists (?T2)
(and
(temporalPart ?T2
(PastFn
(WhenFn ?T1)))
(holdsDuring ?T2
(attribute ?H Soldier))
(not
(holdsDuring ?T1
(attribute ?H Soldier)))))) |
Mid-level-ontology.kif 22202-22213 |
|
(=>
(holdsDuring ?T1
(inhabits ?ORGANISM ?OBJ))
(exists (?TIME)
(and
(instance ?TIME TimeInterval)
(temporalPart ?TIME ?T1)
(holdsDuring ?TIME
(located ?ORGANISM ?OBJ))))) |
Merge.kif 14398-14404 |
|
(=>
(holdsDuring ?T1
(states ?AGENT ?SENTENCE))
(exists (?COMM)
(and
(instance ?COMM LinguisticCommunication)
(agent ?COMM ?AGENT)
(patient ?COMM ?SENTENCE)
(temporalPart ?T1
(WhenFn ?COMM))))) |
Media.kif 1844-1851 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |