(=>
(causes ?P1 ?P2)
(earlier
(WhenFn ?P1)
(WhenFn ?P2))) |
Merge.kif 3901-3903 |
If X causes Y, then the time of existence of X happens earlier than the time of existence of Y |
(=>
(before
(EndFn ?INTERVAL1)
(BeginFn ?INTERVAL2))
(earlier ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8584-8586 |
If the end of X happens before the beginning of Y, then X happens earlier than Y |
(=>
(and
(instance ?Y1
(YearFn ?N1))
(instance ?Y2
(YearFn ?N2))
(greaterThan ?N2 ?N1))
(earlier ?Y1 ?Y2)) |
Merge.kif 8901-8906 |
If X is an instance of the year Y, Z is an instance of the year W, and W is greater than Y, then X happens earlier than Z |
(=>
(and
(instance ?M1
(MonthFn ?N1
(YearFn ?Y)))
(instance ?M2
(MonthFn ?N2
(YearFn ?Y)))
(successorClass ?N1 ?N2))
(earlier ?M1 ?M2)) |
Merge.kif 8917-8922 |
If X is an instance of the month Y, Z is an instance of the month W, and W is the successor class of Y., then X happens earlier than Z |
(=>
(and
(instance ?D1
(DayFn ?N1
(MonthFn ?M
(YearFn ?Y))))
(instance ?D2
(DayFn ?N2
(MonthFn ?M
(YearFn ?Y))))
(greaterThan ?N2 ?N1))
(earlier ?D1 ?D2)) |
Merge.kif 8933-8938 |
If X is an instance of the day Y of month the month Z, W is an instance of the day V of month the month Z, and V is greater than Y, then X happens earlier than W |
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS)
(forall (?TIME1 ?TIME2)
(=>
(and
(instance ?TIME1 ?CLASS)
(instance ?TIME2 ?CLASS)
(not
(equal ?TIME1 ?TIME2)))
(or
(meetsTemporally ?TIME1 ?TIME2)
(meetsTemporally ?TIME2 ?TIME1)
(earlier ?TIME1 ?TIME2)
(earlier ?TIME2 ?TIME1))))) |
Merge.kif 9620-9632 |
If equal decomposition of X into Y and Z, then For all TimeIntervals W and V: if equal W and V, then At least one of the following holds: (1) W meets V (2) V meets W (3) W happens earlier than V (4) V happens earlier than W |
(=>
(and
(instance ?JOIN Hiring)
(instance ?ORG Organization)
(agent ?JOIN ?ORG)
(patient ?JOIN ?PERSON))
(expects ?ORG
(exists (?FT)
(and
(instance ?FT FinancialTransaction)
(agent ?FT ?ORG)
(destination ?FT ?PERSON)
(earlier
(WhenFn ?JOIN)
(WhenFn ?FT)))))) |
Merge.kif 10878-10890 |
If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y expects there exists W such that W is an instance of financial transaction, Y is an agent of W, W ends up at Z, and the time of existence of X happens earlier than the time of existence of W will be true |
(=>
(instance ?DECISION LegalDecision)
(exists (?DECIDE ?LD)
(and
(instance ?DECIDE Deciding)
(result ?DECIDE ?LD)
(instance ?DECISION ?LD)
(earlier
(WhenFn ?DECIDE)
(WhenFn ?DECISION))))) |
Merge.kif 11048-11055 |
If X is an instance of legal decision, then there exist Y, Z such that Y is an instance of deciding, Z is a result of Y, X is an instance of Z, and the time of existence of Y happens earlier than the time of existence of X |
(=>
(and
(instance ?D QuantityChange)
(patient ?D ?OBJ))
(exists (?N1 ?N2 ?T1 ?T2 ?U)
(and
(earlier ?T1 ?T2)
(holdsDuring ?T1
(measure ?OBJ
(MeasureFn ?N1 ?U)))
(holdsDuring ?T2
(measure ?OBJ
(MeasureFn ?N2 ?U)))
(not
(equal ?N1 ?N2))))) |
Merge.kif 11130-11143 |
If X is an instance of quantity change and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and equal Z and W |
(=>
(and
(instance ?D Increasing)
(patient ?D ?OBJ))
(exists (?N1 ?N2 ?T1 ?T2 ?U)
(and
(earlier ?T1 ?T2)
(holdsDuring ?T1
(measure ?OBJ
(MeasureFn ?N1 ?U)))
(holdsDuring ?T2
(measure ?OBJ
(MeasureFn ?N2 ?U)))
(greaterThan ?N1 ?N2)))) |
Merge.kif 11151-11164 |
If X is an instance of increasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is greater than W |
(=>
(and
(instance ?D Decreasing)
(patient ?D ?OBJ))
(exists (?N1 ?N2 ?T1 ?T2 ?U)
(and
(earlier ?T1 ?T2)
(holdsDuring ?T1
(measure ?OBJ
(MeasureFn ?N1 ?U)))
(holdsDuring ?T2
(measure ?OBJ
(MeasureFn ?N2 ?U)))
(lessThan ?N1 ?N2)))) |
Merge.kif 11193-11206 |
If X is an instance of decreasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is less than W |
(=>
(and
(instance ?IMPACT Impacting)
(patient ?IMPACT ?OBJ))
(exists (?IMPEL)
(and
(instance ?IMPEL Impelling)
(patient ?IMPEL ?OBJ)
(earlier
(WhenFn ?IMPEL)
(WhenFn ?IMPACT))))) |
Merge.kif 11815-11823 |
If X is an instance of impacting and Y is a patient of X, then there exists Z such that Z is an instance of impelling, Y is a patient of Z, and the time of existence of Z happens earlier than the time of existence of X |
(=>
(and
(instance ?RETURN GivingBack)
(agent ?RETURN ?AGENT)
(destination ?RETURN ?DEST))
(exists (?GIVE)
(and
(instance ?GIVE Giving)
(agent ?GIVE ?DEST)
(destination ?GIVE ?AGENT)
(earlier
(WhenFn ?GIVE)
(WhenFn ?RETURN))))) |
Merge.kif 12039-12049 |
If X is an instance of giving back, Y is an agent of X, and X ends up at Z, then there exists W such that W is an instance of giving, Z is an agent of W, W ends up at Y, and the time of existence of W happens earlier than the time of existence of X |
(=>
(and
(instance ?PREDICT Predicting)
(containsFormula ?PREDICT ?FORMULA))
(exists (?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(earlier ?TIME
(WhenFn ?PREDICT))))) |
Merge.kif 12435-12442 |
If X is an instance of predicting and X contains the formula Y, then there exists Z such that Y holds during Z and Z happens earlier than the time of existence of X |
(=>
(and
(instance ?REMEMBER Remembering)
(containsFormula ?REMEMBER ?FORMULA))
(exists (?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before ?TIME
(WhenFn ?REMEMBER))
(earlier ?TIME
(WhenFn ?REMEMBER)))))) |
Merge.kif 12449-12458 |
If X is an instance of remembering and X contains the formula Y, then there exists Z such that Y holds during Z and Z happens before the time of existence of X or Z happens earlier than the time of existence of X |
(=>
(and
(instance ?KEEP Keeping)
(agent ?KEEP ?AGENT)
(patient ?KEEP ?OBJ))
(exists (?PUT)
(and
(instance ?PUT Putting)
(agent ?PUT ?AGENT)
(patient ?PUT ?OBJ)
(earlier
(WhenFn ?PUT)
(WhenFn ?KEEP))))) |
Merge.kif 12464-12474 |
If X is an instance of keeping, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of putting, Y is an agent of W, Z is a patient of W, and the time of existence of W happens earlier than the time of existence of X |
(=>
(and
(instance ?REPAIR Repairing)
(patient ?REPAIR ?OBJ))
(exists (?DAMAGE)
(and
(instance ?DAMAGE Damaging)
(patient ?DAMAGE ?OBJ)
(earlier
(WhenFn ?DAMAGE)
(WhenFn ?REPAIR))))) |
Merge.kif 12515-12523 |
If X is an instance of repairing and Y is a patient of X, then there exists Z such that Z is an instance of damaging, Y is a patient of Z, and the time of existence of Z happens earlier than the time of existence of X |
(=>
(and
(holdsDuring ?TIME1
(developmentalForm ?OBJ ?ATTR1))
(successorAttributeClosure ?ATTR2 ?ATTR1))
(exists (?TIME2)
(and
(earlier ?TIME2 ?TIME1)
(holdsDuring ?TIME2
(developmentalForm ?OBJ ?ATTR2))))) |
Merge.kif 14650-14657 |
If the developmental form of X is Y holds during Z and W is a successor attribute of Y, then there exists V such that V happens earlier than Z and the developmental form of X is W holds during V |
(=>
(and
(instance ?REM OrganismRemains)
(holdsDuring
(WhenFn ?REM)
(part ?OBJ ?REM)))
(exists (?ORG)
(and
(instance ?ORG Organism)
(earlier
(WhenFn ?ORG)
(WhenFn ?REM))
(finishes
(WhenFn ?REM)
(WhenFn ?ORG))
(holdsDuring
(WhenFn ?ORG)
(part ?OBJ ?ORG))))) |
Mid-level-ontology.kif 32-43 |
If X is an instance of organism remains and Y is a part of X holds during the time of existence of X, then there exists Z such that Z is an instance of organism, the time of existence of Z happens earlier than the time of existence of X, the time of existence of X finishes the time of existence of Z, and Y is a part of Z holds during the time of existence of Z |
(=>
(instance ?ANSWER Answering)
(exists (?QUESTION)
(and
(instance ?QUESTION Questioning)
(refers ?ANSWER ?QUESTION)
(earlier
(WhenFn ?QUESTION)
(WhenFn ?ANSWER))))) |
Mid-level-ontology.kif 888-894 |
If X is an instance of answering, then there exists Y such that Y is an instance of questioning, X includes a reference to Y, and the time of existence of Y happens earlier than the time of existence of X |
(=>
(holdsDuring ?T
(attribute ?X Locked))
(exists (?LOCK ?CLOSE ?MOVE)
(and
(instance ?LOCK Lock)
(connected ?LOCK ?X)
(instance ?CLOSE Closing)
(patient ?CLOSE ?LOCK)
(instance ?MOVE Motion)
(earlier
(WhenFn ?CLOSE) ?T)
(holdsDuring ?T
(not
(modalAttribute
(patient ?MOVE ?X) Possibility)))))) |
Mid-level-ontology.kif 3299-3314 |
If locked is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of lock (3) Z is connected to X (4) W is an instance of closing (5) Z is a patient of W (6) V is an instance of motion (7) the time of existence of W happens earlier than Y (8) the statement X is not a patient of V doesn't have the modal force of possibility holds during Y |
(=>
(and
(holdsDuring ?T1
(spouse ?P1 ?P2))
(instance ?T1 TimeInterval))
(exists (?WED)
(and
(instance ?WED Wedding)
(patient ?WED ?P1)
(patient ?WED ?P2)
(earlier
(WhenFn ?WED) ?T1)))) |
Mid-level-ontology.kif 9293-9303 |
If X is the spouse of Y holds during Z and Z is an instance of timeframe, then there exists W such that W is an instance of wedding, X is a patient of W, Y is a patient of W, and the time of existence of W happens earlier than Z |
(=>
(holdsDuring ?T
(attribute ?H PostTraumaticStressDisorder))
(exists (?V)
(and
(instance ?V ViolentContest)
(earlier
(WhenFn ?V) ?T)
(involvedInEvent ?V ?H)))) |
Mid-level-ontology.kif 11192-11200 |
If PTSD is an attribute of X holds during Y, then there exists Z such that Z is an instance of violent contest, the time of existence of Z happens earlier than Y, and X is an involved in event of Z |
(=>
(instance ?B Breath)
(exists (?I ?E)
(and
(subProcess ?I ?B)
(subProcess ?E ?B)
(earlier
(WhenFn ?I)
(WhenFn ?E))
(meetsTemporally
(WhenFn ?I)
(WhenFn ?E))))) |
Mid-level-ontology.kif 11815-11826 |
If X is an instance of breath, then there exist Y, Z such that Y is a subprocess of X, Z is a subprocess of X, the time of existence of Y happens earlier than the time of existence of Z, and the time of existence of Y meets the time of existence of Z |
(=>
(holdsDuring ?T
(dataStored ?O ?D))
(exists (?P)
(and
(instance ?P Writing)
(destination ?P ?D)
(patient ?P ?O)
(earlier
(WhenFn ?P) ?T)))) |
Mid-level-ontology.kif 15972-15980 |
If X is stored on Y holds during Z, then there exists W such that W is an instance of writing, W ends up at X, Y is a patient of W, and the time of existence of W happens earlier than Z |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
Marsupial