(=>
(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 12761-12774 |
|
(=>
(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 17078-17090 |
|
(=>
(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 12236-12244 |
|
(=>
(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 22312-22325 |
|
(=>
(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 8466-8475 |
|
(=>
(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 18177-18211 |
- 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 14816-14825 |
|
(=>
(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 16843-16854 |
|
(=>
(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 8294-8296 |
|
(=>
(equal
(BeginFn ?INTERVAL) ?POINT)
(forall (?OTHERPOINT)
(=>
(and
(temporalPart ?OTHERPOINT ?INTERVAL)
(not
(equal ?OTHERPOINT ?POINT)))
(before ?POINT ?OTHERPOINT)))) |
Merge.kif 8034-8041 |
|
(=>
(equal
(EndFn ?INTERVAL) ?POINT)
(forall (?OTHERPOINT)
(=>
(and
(temporalPart ?OTHERPOINT ?INTERVAL)
(not
(equal ?OTHERPOINT ?POINT)))
(before ?OTHERPOINT ?POINT)))) |
Merge.kif 8052-8059 |
|
(=>
(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 9483-9493 |
|
(=>
(frequency ?PROC ?TIME1)
(forall (?TIME2)
(=>
(duration ?TIME2 ?TIME1)
(exists (?POSITION)
(and
(temporalPart ?POSITION ?TIME2)
(holdsDuring ?POSITION
(exists (?INST)
(instance ?INST ?PROC)))))))) |
Merge.kif 7953-7963 |
|
(=>
(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 22255-22266 |
|
(=>
(holdsDuring ?T1
(inhabits ?ORGANISM ?OBJ))
(exists (?TIME)
(and
(instance ?TIME TimeInterval)
(temporalPart ?TIME ?T1)
(holdsDuring ?TIME
(located ?ORGANISM ?OBJ))))) |
Merge.kif 14422-14428 |
|
(=>
(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 |