(<=>
(holdsDuring ?TIME
(attribute ?AGENT LegalPersonhood))
(holdsDuring ?TIME
(or
(capability LegalAction agent ?AGENT)
(capability LegalAction patient ?AGENT)))) |
Merge.kif 1695-1701 |
Legal personhood is an attribute of X holds during Y if and only if X is capable of doing legal action as a agent or X is capable of doing legal action as a patient holds during Y |
(=>
(holdsDuring ?TIME
(leader ?X ?Y))
(holdsDuring ?TIME
(attribute ?Y Living))) |
Merge.kif 1711-1713 |
If X is a leader of Y holds during Z, then living is an attribute of X holds during Z |
(=>
(and
(holdsDuring ?T2 ?SIT2)
(holdsDuring ?T1 ?SIT1)
(instance ?T1 TimeInterval)
(instance ?T2 TimeInterval)
(causesProposition ?SIT1 ?SIT2))
(beforeOrEqual
(BeginFn ?T1)
(BeginFn ?T2))) |
Merge.kif 3940-3947 |
If X holds during Y, Z holds during W, W is an instance of timeframe, Y is an instance of timeframe, and X is a causes proposition of Z, then the beginning of W happens before or at the beginning of Y |
(=>
(and
(holdsDuring ?TIME ?SITUATION1)
(entails ?SITUATION1 ?SITUATION2))
(holdsDuring ?TIME ?SITUATION2)) |
Merge.kif 3991-3995 |
If X holds during Y and X entails Z, then Z holds during Y |
(=>
(holdsDuring ?TIME
(not ?SITUATION))
(not
(holdsDuring ?TIME ?SITUATION))) |
Merge.kif 3997-4001 |
If X holds during Y, then X doesn't hold during Y |
(=>
(holdsDuring ?TIME
(confersNorm ?ENTITY ?NORM ?FORMULA))
(and
(holdsDuring
(ImmediatePastFn ?TIME)
(not
(modalAttribute ?FORMULA ?NORM)))
(holdsDuring
(ImmediateFutureFn ?TIME)
(modalAttribute ?FORMULA ?NORM)))) |
Merge.kif 4103-4113 |
If X confers norm Y for Z holds during W, then the statement Z doesn't have the modal force of Y holds during immediately before W and the statement Z has the modal force of Y holds during immediately after W |
(=>
(holdsDuring ?TIME
(deprivesNorm ?ENTITY ?NORM ?FORMULA))
(and
(holdsDuring
(ImmediatePastFn ?TIME)
(modalAttribute ?FORMULA ?NORM))
(holdsDuring
(ImmediateFutureFn ?TIME)
(not
(modalAttribute ?FORMULA ?NORM))))) |
Merge.kif 4125-4134 |
If X deprives norm Y for Z holds during W, then the statement Z has the modal force of Y holds during immediately before W and the statement Z doesn't have the modal force of Y holds during immediately after W |
(=>
(holdsDuring ?TIME
(exactlyLocated ?THING ?REGION))
(equal
(WhereFn ?THING ?TIME) ?REGION)) |
Merge.kif 4352-4356 |
If X is exactly located in Y holds during Z, then equal the place where X was at Z and Y |
(=>
(and
(holdsDuring ?T
(possesses ?PERSON ?OBJ))
(part ?P ?OBJ))
(holdsDuring ?T
(possesses ?PERSON ?P))) |
Merge.kif 4371-4377 |
If X possesses Y holds during Z and W is a part of Y, then X possesses W holds during Z |
(=>
(and
(instance ?TIME TimePosition)
(holdsDuring ?TIME
(possesses ?AGENT1 ?OBJ))
(holdsDuring ?TIME
(possesses ?AGENT2 ?OBJ)))
(equal ?AGENT1 ?AGENT2)) |
Merge.kif 4379-4384 |
If X is an instance of time position, Y possesses Z holds during X, and W possesses Z holds during X, then equal Y and W |
(=>
(and
(instance ?TIME TimePoint)
(holdsDuring ?TIME
(age ?OBJ ?DURATION)))
(duration
(TimeIntervalFn
(BeginFn
(WhenFn ?OBJ)) ?TIME) ?DURATION)) |
Merge.kif 7662-7666 |
If X is an instance of time point and the age of Y is Z holds during X, then duration of interval between the beginning of the time of existence of Y and X is Z |
(=>
(and
(holdsDuring ?TIME1 ?SITUATION)
(temporalPart ?TIME2 ?TIME1))
(holdsDuring ?TIME2 ?SITUATION)) |
Merge.kif 8128-8132 |
If X holds during Y and Z is a part of Y, then X holds during Z |
(=>
(and
(holdsDuring ?INTERVAL
(?REL ?INST1 ?INST2))
(instance ?INST1 Physical)
(instance ?INST2 Physical))
(and
(time ?INST1 ?INTERVAL)
(time ?INST2 ?INTERVAL))) |
Merge.kif 8134-8141 |
If X Y and Z holds during W, Y is an instance of physical, and Z is an instance of physical, then Y exists during W and Z exists during W |
(=>
(and
(resource ?PROC ?OBJ)
(holdsDuring
(BeginFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT1))
(holdsDuring
(EndFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT2)))
(greaterThan ?QUANT1 ?QUANT2)) |
Merge.kif 8199-8204 |
If X is a resource for Y, the measure of X is Z holds during the beginning of the time of existence of Y, and the measure of X is W holds during the end of the time of existence of Y, then Z is greater than W |
(=>
(holdsDuring ?TIME
(fills ?OBJ ?HOLE))
(attribute ?HOLE Fillable)) |
Merge.kif 10182-10185 |
If X fills Y holds during Z, then fillable is an attribute of Y |
(=>
(and
(instance ?WALK Walking)
(instance ?RUN Running)
(agent ?WALK ?AGENT)
(agent ?RUN ?AGENT)
(holdsDuring
(WhenFn ?WALK)
(measure ?AGENT
(SpeedFn ?LENGTH1 ?TIME)))
(holdsDuring
(WhenFn ?RUN)
(measure ?AGENT
(SpeedFn ?LENGTH2 ?TIME))))
(greaterThan ?LENGTH2 ?LENGTH1)) |
Merge.kif 11410-11418 |
If All of the following hold: (1) X is an instance of walking (2) Y is an instance of running (3) Z is an agent of X (4) Z is an agent of Y (5) the measure of Z is W per V holds during the time of existence of X (6) the measure of Z is U per V holds during the time of existence of Y, then U is greater than W |
(=>
(and
(attribute ?W Windy)
(located ?W ?L)
(equal ?T
(WhenFn ?W))
(holdsDuring ?T
(surfaceWindSpeed ?L
(MeasureFn ?N MilesPerHour))))
(greaterThan ?N 20.0)) |
Merge.kif 11545-11553 |
If windy is an attribute of X, X is located at Y, equal Z and the time of existence of X, and W miles per hour(s) is a surface wind speed of Y holds during Z, then W is greater than 20.0 |
(=>
(and
(instance ?CHANGE ChangeOfPossession)
(patient ?CHANGE ?OBJ)
(holdsDuring
(BeginFn
(WhenFn ?CHANGE))
(possesses ?AGENT1 ?OBJ))
(holdsDuring
(EndFn
(WhenFn ?CHANGE))
(possesses ?AGENT2 ?OBJ)))
(not
(equal ?AGENT1 ?AGENT2))) |
Merge.kif 11923-11930 |
If X is an instance of change of possession, Y is a patient of X, Z possesses Y holds during the beginning of the time of existence of X, and W possesses Y holds during the end of the time of existence of X, then equal Z and W |
(=>
(and
(instance ?DISCOVER Discovering)
(agent ?DISCOVER ?A)
(patient ?DISCOVER ?OBJ)
(holdsDuring
(WhenFn ?DISCOVER)
(located ?OBJ ?PLACE)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DISCOVERING))
(knows ?A
(located ?OBJ ?PLACE)))) |
Merge.kif 12256-12268 |
If X is an instance of discovering, Y is an agent of X, Z is a patient of X, and Z is located at W holds during the time of existence of X, then Y knows Z is located at W holds during immediately after the time of existence of V |
(=>
(and
(instance ?A Attaching)
(patient ?A ?O1)
(patient ?A ?O2)
(holdsDuring
(BeginFn
(WhenFn ?A))
(not
(connected ?O1 ?O2)))
(holdsDuring
(EndFn
(WhenFn ?A))
(connected ?O1 ?O2)))
(and
(objectAttached ?A ?O1)
(objectAttached ?A ?O2))) |
Merge.kif 12671-12685 |
If X is an instance of attaching, Y is a patient of X, Z is a patient of X, Y is not connected to Z holds during the beginning of the time of existence of X, and Y is connected to Z holds during the end of the time of existence of X, then X attaches Y to another object and X attaches Z to another object |
(=>
(and
(instance ?D Detaching)
(patient ?D ?O1)
(patient ?D ?O2)
(holdsDuring
(BeginFn
(WhenFn ?D))
(connected ?O1 ?O2))
(holdsDuring
(EndFn
(WhenFn ?A))
(not
(connected ?O1 ?O2))))
(and
(objectDetached ?A ?O1)
(objectDetached ?A ?O2))) |
Merge.kif 12721-12730 |
If X is an instance of detaching, Y is a patient of X, Z is a patient of X, Y is connected to Z holds during the beginning of the time of existence of X, and Y is not connected to Z holds during the end of the time of existence of W, then W detaches Y from another object and W detaches Z from another object |
(=>
(and
(instance ?BOILING Boiling)
(boilingPoint ?TYPE
(MeasureFn ?TEMP1 ?MEASURE))
(instance ?SUBSTANCE ?TYPE)
(patient ?BOILING ?SUBSTANCE)
(holdsDuring
(WhenFn ?BOILING)
(measure ?SUBSTANCE
(MeasureFn ?TEMP2 ?MEASURE)))
(instance ?MEASURE UnitOfTemperature))
(greaterThanOrEqualTo ?TEMP2 ?TEMP1)) |
Merge.kif 14140-14148 |
If All of the following hold: (1) X is an instance of boiling (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) V is a patient of X (5) the measure of V is U Z(s) holds during the time of existence of X (6) Z is an instance of unit of temperature, then U is greater than or equal to Y |
(=>
(and
(boilingPoint ?TYPE
(MeasureFn ?TEMP1 ?MEASURE))
(instance ?SUBSTANCE ?TYPE)
(holdsDuring ?TIME
(measure ?SUBSTANCE
(MeasureFn ?TEMP2 ?MEASURE)))
(instance ?MEASURE UnitOfTemperature)
(greaterThanOrEqualTo ?TEMP2 ?TEMP1))
(or
(holdsDuring ?TIME
(attribute ?SUBSTANCE Gas))
(exists (?BOIL)
(and
(overlapsTemporally
(WhenFn ?BOIL) ?TIME)
(instance ?BOIL Boiling)
(patient ?BOIL ?SUBSTANCE))))) |
Merge.kif 14150-14163 |
If X Y(s) is a boiling point of Z, W is an instance of Z, the measure of W is V Y(s) holds during U, Y is an instance of unit of temperature, and V is greater than or equal to X, then gas is an attribute of W holds during U or there exists T such that U overlaps the time of existence of T, T is an instance of boiling, and W is a patient of T |
(=>
(and
(instance ?SUBSTANCE ?TYPE)
(boilingPoint ?TYPE
(MeasureFn ?TEMP1 ?MEASURE))
(meltingPoint ?TYPE
(MeasureFn ?TEMP2 ?MEASURE))
(instance ?MEASURE UnitOfTemperature)
(holdsDuring ?TIME
(measure ?SUBSTANCE
(MeasureFn ?TEMP3 ?MEASURE)))
(greaterThan ?TEMP3 ?TEMP2)
(lessThan ?TEMP3 ?TEMP1))
(or
(holdsDuring ?TIME
(attribute ?SUBSTANCE Liquid))
(exists (?MELT)
(and
(overlapsTemporally
(WhenFn ?MELT) ?TIME)
(instance ?MELT Melting)
(patient ?MELT ?SUBSTANCE))))) |
Merge.kif 14172-14187 |
If All of the following hold: (1) X is an instance of Y (2) Z W(s) is a boiling point of Y (3) V W(s) is a melting point of Y (4) W is an instance of unit of temperature (5) the measure of X is U W(s) holds during T (6) U is greater than V (7) U is less than Z, then liquid is an attribute of X holds during T or there exists S such that T overlaps the time of existence of S, S is an instance of melting, and X is a patient of S |
(=>
(and
(instance ?SUBSTANCE ?TYPE)
(meltingPoint ?TYPE
(MeasureFn ?TEMP1 ?MEASURE))
(holdsDuring ?TIME
(measure ?SUBSTANCE
(MeasureFn ?TEMP2 ?MEASURE)))
(instance ?MEASURE UnitOfTemperature)
(lessThan ?TEMP2 ?TEMP1))
(or
(holdsDuring ?TIME
(attribute ?SUBSTANCE Solid))
(exists (?FREEZE)
(and
(overlapsTemporally
(WhenFn ?FREEZE) ?TIME)
(instance ?FREEZE Freezing)
(patient ?FREEZE ?SUBSTANCE))))) |
Merge.kif 14189-14202 |
If X is an instance of Y, Z W(s) is a melting point of Y, the measure of X is V W(s) holds during U, W is an instance of unit of temperature, and V is less than Z, then solid is an attribute of X holds during U or there exists T such that U overlaps the time of existence of T, T is an instance of freezing, and X is a patient of T |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
holdsDuring