(=>
(and
(instance ?MONTH Month)
(duration ?MONTH
(MeasureFn ?NUMBER DayDuration)))
(equal
(CardinalityFn
(TemporalCompositionFn ?MONTH Day)) ?NUMBER)) |
Merge.kif 9688-9692 |
If X is an instance of month and duration of X is Y day duration(s), then equal the number of instances in decomposition of X into days and Y |
(=>
(and
(holdsDuring ?T
(attribute ?H ?C))
(instance ?H ChronicDisease)
(duration ?T ?D))
(greaterThan ?D
(MeasureFn 3 MonthDuration))) |
Mid-level-ontology.kif 7038-7045 |
If X is an attribute of Y holds during Z, Y is an instance of chronic disease, and duration of Z is W, then W is greater than 3 month duration(s) |
(=>
(and
(instance ?T1 TimePoint)
(instance ?T2 TimePoint)
(equal ?INTERVAL
(TimeIntervalFn ?T1 ?T2))
(duration ?INTERVAL ?PERIOD))
(equal ?INTERVAL
(TimePeriodFn ?T1 ?PERIOD))) |
Mid-level-ontology.kif 15641-15647 |
If X is an instance of time point, Y is an instance of time point, equal Z, interval between X, and Y, and duration of Z is W, then equal Z, a time that starts at X, and lasts for W |
(=>
(and
(resourceConsumption ?PROC ?QUANT)
(instance ?QUANT FunctionQuantity)
(resource ?PROC ?RES)
(equal ?QUANT
(PerFn
(MeasureFn ?Q ?U)
(MeasureFn ?DC ?DU)))
(duration
(WhenFn ?PROC)
(MeasureFn ?T ?DU))
(holdsDuring
(BeginFn
(WhenFn ?PROC))
(measure ?RES
(MeasureFn ?X ?U)))
(holdsDuring
(EndFn
(WhenFn ?PROC))
(measure ?RES
(MeasureFn ?Y ?U))))
(equal ?Y
(MeasureFn
(SubtractionFn ?X
(MultiplicationFn ?T
(DivisionFn ?Q ?DC))) ?U))) |
Mid-level-ontology.kif 18957-18983 |
If All of the following hold: (1) X amount as resource for the Process Y (2) X is an instance of function quantity (3) Z is a resource for Y (4) equal X and the per of W V(s) and U T(s) (5) duration of the time of existence of Y is S T(s) (6) the measure of Z is R V(s) holds during the beginning of the time of existence of Y (7) the measure of Z is Q V(s) holds during the end of the time of existence of Y, then equal Q and (R and S and W and U) V(s) |
(=>
(and
(instance ?D Device)
(deviceUpTime ?D ?UP)
(duration ?UP
(MeasureFn ?X HourDuration))
(inList
(MeasureFn ?X HourDuration) ?L))
(equal ?L
(DeviceUpTimeDurationListFn ?D))) |
Mid-level-ontology.kif 34419-34427 |
If X is an instance of device, Device X is in operation during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X is |
(=>
(and
(instance ?D Device)
(devicePlannedDownTime ?D ?PLAN)
(duration ?PLAN
(MeasureFn ?X HourDuration))
(inList
(MeasureFn ?X HourDuration) ?L))
(equal ?L
(DevicePlannedDownTimeDurationListFn ?D))) |
Mid-level-ontology.kif 34438-34446 |
If X is an instance of device, device X is scheduled to be in DeviceOff during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X is |
(=>
(and
(instance ?D Device)
(deviceFailTime ?D ?FAIL)
(duration ?FAIL
(MeasureFn ?X HourDuration))
(attribute ?D Repairable)
(inList
(MeasureFn ?X HourDuration) ?L))
(equal ?L
(DeviceFailTimeDurationListFn ?D))) |
Mid-level-ontology.kif 34458-34467 |
If X is an instance of device, device X is in a failure state during TimeInterval Y, duration of Y is Z hour duration(s), repairable is an attribute of X, and Z hour duration(s) is a member of W, then equal W and The List of deviceFailTime duration for X is |
(=>
(and
(instance ?Drawing DrawingACheck)
(patient ?Drawing ?Check)
(instance ?Processing ProcessingACheck)
(patient ?Processing ?Check)
(equal
(WhenFn ?Drawing) ?DrawingTime)
(equal
(WhenFn ?Processing) ?ProcessingTime)
(meetsTemporally ?DrawingTime ?Time)
(meetsTemporally ?Time ?ProcessingTime)
(duration ?Time
(MeasureFn ?Duration MonthDuration)))
(lessThan ?Duration 6)) |
FinancialOntology.kif 157-168 |
If All of the following hold: (1) X is an instance of drawing a check (2) Y is a patient of X (3) Z is an instance of processing a check (4) Y is a patient of Z (5) equal the time of existence of X and W (6) equal the time of existence of Z and V (7) W meets U (8) U meets V (9) duration of U is T month duration(s), then T is less than 6 |
(=>
(and
(instance ?Loan BankTermLoan)
(agreementPeriod ?Loan ?Period)
(duration ?Period
(MeasureFn ?Duration YearDuration)))
(greaterThanOrEqualTo ?Duration 1)) |
FinancialOntology.kif 1539-1544 |
If X is an instance of bank term loan, Y is an agreement period of X, and duration of Y is Z year duration(s), then Z is greater than or equal to 1 |
(=>
(and
(statementPeriod ?Statement ?Period)
(duration ?Period ?Duration))
(equal ?Duration MonthDuration)) |
FinancialOntology.kif 4122-4126 |
If X is a statement period of Y and duration of X is Z, then equal Z and month duration |
(=>
(and
(instance ?P Passover)
(duration ?P
(MeasureFn ?N DayDuration)))
(or
(equal ?N 7)
(equal ?N 8))) |
Media.kif 605-611 |
If X is an instance of passover and duration of X is Y day duration(s), then equal Y and 7 or equal Y and 8 |
(=>
(and
(instance ?MB MeasuringBreathing)
(agent ?MB ?A)
(instance ?L Lung)
(part ?L ?P)
(instance ?T TimeInterval)
(during ?T
(WhenFn ?MB))
(duration ?T MinuteDuration)
(patient ?MB ?P))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MB))
(exists (?BR)
(knows ?A
(breathingRate ?L ?T ?BR))))) |
Medicine.kif 442-458 |
If All of the following hold: (1) X is an instance of measuring breathing (2) Y is an agent of X (3) Z is an instance of lung (4) Z is a part of W (5) V is an instance of timeframe (6) V takes place during the time of existence of X (7) duration of V is minute duration (8) W is a patient of X, then there exists U such that Y knows Z breathes at a rate of U breaths per V holds during immediately after the time of existence of X |
(=>
(and
(attribute ?H1 ADHD)
(not
(attribute ?H2 ADHD))
(not
(equal ?H1 ?H2))
(instance ?I1 ?IC)
(instance ?I2 ?IC)
(subclass ?IC IntentionalPsychologicalProcess)
(agent ?I1 ?H1)
(agent ?I2 ?H2)
(duration
(WhenFn ?I1) ?D1)
(duration
(WhenFn ?I2) ?D2))
(modalAttribute
(greaterThan ?D2 ?D1) Likely)) |
Medicine.kif 4018-4038 |
If All of the following hold: (1) attention deficit hyperactivity disorder is an attribute of X (2) attention deficit hyperactivity disorder is not an attribute of Y (3) equal X and Y (4) Z is an instance of W (5) V is an instance of W (6) W is a subclass of intentional psychological process (7) X is an agent of Z (8) Y is an agent of V (9) duration of the time of existence of Z is U (10) duration of the time of existence of V is T, then the statement T is greater than U has the modal force of likely |
(=>
(and
(instance ?T TimePeriod)
(duration ?T
(MeasureFn ?N MinuteDuration))
(greaterThan ?N 5.0)
(instance ?H Human)
(not
(exists (?B)
(and
(instance ?B Breathing)
(during
(WhenFn ?B) ?T)
(patient ?B ?H)))))
(modalAttribute
(exists (?D)
(and
(instance ?D Death)
(experiencer ?D ?H)
(meetsTemporally ?T
(WhenFn ?D)))) Likely)) |
Medicine.kif 6028-6048 |
If X is an instance of TimePeriod, duration of X is Y minute duration(s), Y is greater than 5.0, Z is an instance of human, and there doesn't exist W such that W is an instance of breathing, the time of existence of W takes place during X, and Z is a patient of W, then the statement there exists V such that V is an instance of death, Z experiences V, and X meets the time of existence of V has the modal force of likely |
(=>
(and
(instance ?S RadiatingSound)
(path ?S ?R)
(distanceOnPath ?L ?R)
(duration
(WhenFn ?S) ?D)
(speedOfSound ?Q ?R
(WhenFn ?S)))
(equal ?Q
(SpeedFn ?L ?D))) |
Transportation.kif 5116-5126 |
If X is an instance of radiating sound, Y is path along which X occurs, the distance of Y is Z, duration of the time of existence of X is W, and the speedOfSound for V at Y is V, then equal V and Z per W |
(=>
(and
(instance ?F Flying)
(patient ?F ?A)
(instance ?A Aircraft)
(path ?F ?R)
(distanceOnPath ?L ?R)
(duration
(WhenFn ?F) ?D)
(speedOfSound ?Q ?R
(WhenFn ?F))
(holdsDuring
(WhenFn ?F)
(measure ?A
(MeasureFn ?M MachNumber))))
(equal ?M
(DivisionFn
(SpeedFn ?L ?D) ?Q))) |
Transportation.kif 5225-5237 |
If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of aircraft (4) Z is path along which X occurs (5) the distance of Z is W (6) duration of the time of existence of X is V (7) the speedOfSound for U at Z is U (8) the measure of Y is T Mach number(s) holds during the time of existence of X, then equal T, W per V, and U |
(=>
(and
(duration ?T
(MeasureFn ?P MonthDuration))
(greaterThanOrEqualTo ?P 5)
(holdsDuring ?T
(and
(equal ?D
(SubtractionFn ?S ?L))
(equal
(MeasureFn ?S CelsiusDegree)
(ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
(equal
(MeasureFn ?L CelsiusDegree)
(ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
(greaterThan ?D 0.5))))
(holdsDuring ?T
(exists (?EL ?A)
(and
(instance ?EL ElNinoPhase)
(instance ?A GeographicArea)
(eventLocated ?EL ?A))))) |
Weather.kif 528-549 |
If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is greater than 0.5 holds during X, then there exist S, R such that S is an instance of El Nino phase, R is an instance of geographic area, and S is located at R holds during X |
(=>
(and
(duration ?T
(MeasureFn ?P MonthDuration))
(greaterThanOrEqualTo ?P 5)
(holdsDuring ?T
(and
(equal ?D
(SubtractionFn ?S ?L))
(equal
(MeasureFn ?S CelsiusDegree)
(ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
(equal
(MeasureFn ?L CelsiusDegree)
(ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
(lessThan ?D -0.5))))
(holdsDuring ?T
(exists (?LA ?A)
(and
(instance ?LA LaNinaPhase)
(instance ?A GeographicArea)
(eventLocated ?LA ?A))))) |
Weather.kif 563-584 |
If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is less than -0.5 holds during X, then there exist S, R such that S is an instance of La Nina phase, R is an instance of geographic area, and S is located at R holds during X |
(=>
(and
(instance ?S Squall)
(eventLocated ?S ?R)
(instance ?R GeographicArea)
(duration
(WhenFn ?S)
(MeasureFn ?DUR MinuteDuration)))
(greaterThanOrEqualTo ?DUR 1)) |
Weather.kif 2284-2291 |
If X is an instance of squall, X is located at Y, Y is an instance of geographic area, and duration of the time of existence of X is Z minute duration(s), then Z is greater than or equal to 1 |
(=>
(and
(instance ?G WindGust)
(eventLocated ?G ?R)
(instance ?R GeographicArea)
(duration
(WhenFn ?G)
(MeasureFn ?DUR SecondDuration)))
(greaterThanOrEqualTo ?DUR 20)) |
Weather.kif 2304-2311 |
If X is an instance of wind gust, X is located at Y, Y is an instance of geographic area, and duration of the time of existence of X is Z second duration(s), then Z is greater than or equal to 20 |
(=>
(and
(attribute ?S Student)
(instance ?A AwardingADegree)
(destination ?A ?S)
(patient ?A ?D)
(instance ?D
(DoctorateDegreeFn ?FIELDOFSTUDY ?GRADSCHOOL))
(agent ?A ?GRADSCHOOL)
(duration ?INTERVAL ?D)
(holdsDuring ?INTERVAL
(attends ?S ?SCHOOL)))
(and
(greaterThan
(MeasureFn 9 YearDuration) ?D)
(greaterThan ?D
(MeasureFn 1 YearDuration)))) |
LinkedInDegrees.kif 414-429 |
If All of the following hold: (1) student is an attribute of X (2) Y is an instance of awarding a degree (3) Y ends up at X (4) Z is a patient of Y (5) Z is an instance of doctorate degree W and V (6) V is an agent of Y (7) duration of U is Z (8) T attends X holds during U, then 9 year duration(s) is greater than Z and Z is greater than 1 year duration(s) |
(=>
(and
(instance ?SF SpeakingAtAFasterRate)
(instance ?SS SpeakingAtASlowerRate)
(instance ?U UnitOfDuration)
(agent ?SF ?A)
(agent ?SS ?A)
(containsInformation ?SF ?I)
(containsInformation ?SS ?I)
(duration
(WhenFn ?SF)
(MeasureFn ?FAST ?U))
(duration
(WhenFn ?SS)
(MeasureFn ?SLOW ?U)))
(greaterThan ?FAST ?SLOW)) |
emotion.kif 2871-2884 |
If All of the following hold: (1) X is an instance of speaking at a faster rate (2) Y is an instance of speaking at a slower rate (3) Z is an instance of unit of duration (4) W is an agent of X (5) W is an agent of Y (6) X contains information V (7) Y contains information V (8) duration of the time of existence of X is U Z(s) (9) duration of the time of existence of Y is T Z(s), then U is greater than T |
(=>
(and
(instance ?SS SpeakingAShortUtterance)
(instance ?SL SpeakingALongUtterance)
(instance ?U UnitOfDuration)
(duration
(WhenFn ?SS)
(MeasureFn ?D1 ?U))
(duration
(WhenFn ?SL)
(MeasureFn ?D2 ?U)))
(greaterThan ?D2 ?D1)) |
emotion.kif 2957-2966 |
If X is an instance of speaking a short utterance, Y is an instance of speaking a long utterance, Z is an instance of unit of duration, duration of the time of existence of X is W Z(s), and duration of the time of existence of Y is V Z(s), then V is greater than W |
