(=>
(equal
(MeasureFn 1 MonthDuration)
(MeasureFn ?NUMBER DayDuration))
(greaterThanOrEqualTo ?NUMBER 28)) |
Merge.kif 7241-7245 |
If equal 1 month duration(s) and X day duration(s), then X is greater than or equal to 28 |
(=>
(equal
(MeasureFn 1 MonthDuration)
(MeasureFn ?NUMBER DayDuration))
(lessThanOrEqualTo ?NUMBER 31)) |
Merge.kif 7247-7251 |
If equal 1 month duration(s) and X day duration(s), then X is less than or equal to 31 |
(=>
(and
(instance ?M Mutton)
(part ?M ?S)
(instance ?S Sheep)
(age ?S
(MeasureFn ?A MonthDuration)))
(greaterThanOrEqualTo ?A 12)) |
Economy.kif 5310-5316 |
If X is an instance of mutton, X is a part of Y, Y is an instance of sheep, and the age of Y is Z month duration(s), then Z is greater than or equal to 12 |
(=>
(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 ?Account LiabilityAccount)
(minimumPayment ?Account
(MeasureFn ?MinPayment ?U) MonthDuration)
(instance ?U UnitOfCurrency)
(instance ?Month Month)
(destination ?Payment
(CurrencyFn ?Account))
(paymentsPerPeriod ?Account
(MeasureFn ?Amount ?U) ?Month)
(lessThan ?Amount ?MinPayment))
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(destination ?Penalty
(CurrencyFn ?Account))))) |
FinancialOntology.kif 781-797 |
If All of the following hold: (1) X is an instance of liability account (2) X is minimum payment Y Z(s) for month duration (3) Z is an instance of unit of currency (4) W is an instance of month (5) V ends up at the currency of X (6) X payments per period U Z(s) for W (7) U is less than Y, then there exists T such that T is an instance of penalizing and T ends up at the currency of 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))
(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 |
