(=>
(and
(equal ?R
(SubListFn ?S ?E ?L))
(equal
(SubtractionFn ?E ?S) 0))
(equal ?R NullList)) |
Merge.kif 3281-3288 |
If equal X and the sub-list from Y to Z of W and equal (Z and Y) and 0, then equal X and null list |
(=>
(and
(equal ?R
(SubListFn ?S ?E ?L))
(equal
(SubtractionFn ?E ?S) 1))
(equal ?R
(ListFn
(ListOrderFn ?L ?S)))) |
Merge.kif 3290-3299 |
If equal X and the sub-list from Y to Z of W and equal (Z and Y) and 1, then equal X and (V element of W) |
(=>
(and
(equal ?R
(SubListFn ?S ?E ?L))
(greaterThan
(SubtractionFn ?E ?S) 1))
(equal ?R
(ListConcatenateFn
(ListFn
(ListOrderFn ?L ?S))
(SubListFn
(AdditionFn 1 ?S) ?E ?L)))) |
Merge.kif 3301-3313 |
If equal X and the sub-list from Y to Z of W and (Z and Y) is greater than 1, then equal X and the list composed of (V element of W) and the sub-list from (1 and Y) to Z of W |
(=>
(and
(instance ?DAY1
(DayFn ?NUMBER1 ?MONTH))
(instance ?DAY2
(DayFn ?NUMBER2 ?MONTH))
(equal
(SubtractionFn ?NUMBER2 ?NUMBER1) 1))
(meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8805-8810 |
If X is an instance of the day Y of month Z, W is an instance of the day V of month Z, and equal (V and Y) and 1, then X meets W |
(=>
(and
(instance ?HOUR1
(HourFn ?NUMBER1 ?DAY))
(instance ?HOUR2
(HourFn ?NUMBER2 ?DAY))
(equal
(SubtractionFn ?NUMBER2 ?NUMBER1) 1))
(meetsTemporally ?HOUR1 ?HOUR2)) |
Merge.kif 8831-8836 |
If X is an instance of the hour Y, Z is an instance of the hour W, and equal (W and Y) and 1, then X meets Z |
(=>
(and
(instance ?MINUTE1
(MinuteFn ?NUMBER1 ?HOUR))
(instance ?MINUTE2
(MinuteFn ?NUMBER2 ?HOUR))
(equal
(SubtractionFn ?NUMBER2 ?NUMBER1) 1))
(meetsTemporally ?MINUTE1 ?MINUTE2)) |
Merge.kif 8858-8863 |
If X is an instance of the minute Y, Z is an instance of the minute W, and equal (W and Y) and 1, then X meets Z |
(=>
(and
(instance ?SECOND1
(SecondFn ?NUMBER1 ?MINUTE))
(instance ?SECOND2
(SecondFn ?NUMBER2 ?MINUTE))
(equal
(SubtractionFn ?NUMBER2 ?NUMBER1) 1))
(meetsTemporally ?SECOND1 ?SECOND2)) |
Merge.kif 8885-8890 |
If X is an instance of the second Y, Z is an instance of the second W, and equal (W and Y) and 1, then X meets Z |
(=>
(and
(instance ?Y1
(YearFn ?N1))
(instance ?Y2
(YearFn ?N2))
(equal
(SubtractionFn ?N2 ?N1) 1))
(meetsTemporally ?Y1 ?Y2)) |
Merge.kif 8950-8955 |
If X is an instance of the year Y, Z is an instance of the year W, and equal (W and Y) and 1, then X meets Z |
(=>
(and
(holdsDuring ?T1
(attribute ?F Menopausal))
(equal ?BEFORE
(SubtractionFn
(MeasureFn 1 YearDuration)
(BeginFn ?T1)))
(equal ?YBEFORE
(TimeIntervalFn ?YBEFORE
(BeginFn ?T1))))
(not
(exists (?M)
(and
(instance ?M Menstruation)
(experiencer ?M ?F))))) |
Mid-level-ontology.kif 26174-26188 |
If menopause is an attribute of X holds during Y, equal Z and (1 year duration(s) and the beginning of Y), and equal W, interval between W, and the beginning of Y, then there doesn't exist V such that V is an instance of period and X experiences V |
(=>
(and
(instance ?Payment Payment)
(origin ?Payment
(CurrencyFn ?Account))
(instance ?Account FinancialAccount)
(transactionAmount ?Payment
(MeasureFn ?Amount ?CUNIT))
(currentAccountBalance ?Account
(ImmediatePastFn
(WhenFn ?Payment))
(MeasureFn ?Balance1 ?CUNIT))
(equal ?Balance2
(SubtractionFn ?Balance1 ?Amount)))
(currentAccountBalance ?Account
(ImmediateFutureFn
(WhenFn ?Payment))
(MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 410-426 |
If All of the following hold: (1) X is an instance of payment (2) X originates at the currency of Y (3) Y is an instance of financial account (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after the time of existence of X for U W(s) |
(=>
(and
(instance ?Withdrawal Withdrawal)
(instance ?Account FinancialAccount)
(origin ?Withdrawal ?Account)
(transactionAmount ?Withdrawal
(MeasureFn ?Amount ?CUNIT))
(currentAccountBalance ?Account
(ImmediatePastFn
(WhenFn ?Withdrawal))
(MeasureFn ?Balance1 ?CUNIT))
(equal ?Balance2
(SubtractionFn ?Balance1 ?Amount)))
(currentAccountBalance ?Account
(ImmediateFutureFn
(FutureFn ?Withdrawal))
(MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 487-502 |
If All of the following hold: (1) X is an instance of withdrawing from an account (2) Y is an instance of financial account (3) X originates at Y (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after after X for U W(s) |
(=>
(and
(currentAccountBalance ?Account ?Date
(MeasureFn ?Balance UnitedStatesDollar))
(lessThan ?Balance 0)
(equal ?Overdraft
(SubtractionFn 0 ?Balance)))
(overdraft ?Account
(MeasureFn ?Overdraft UnitedStatesDollar) ?Date)) |
FinancialOntology.kif 805-810 |
If X current account balance Y for Z united states dollar(s), Z is less than 0, and equal W and (0 and Z), then X is overdraft W united states dollar(s) for Y |
(=>
(and
(downPayment ?Loan
(MeasureFn ?Amount ?CUNIT))
(loanForPurchase ?Loan ?Purchase)
(monetaryValue ?Purchase
(MeasureFn ?Value ?CUNIT))
(equal ?Balance
(SubtractionFn ?Value ?Amount)))
(originalBalance ?Loan
(MeasureFn ?Balance ?CUNIT))) |
FinancialOntology.kif 840-850 |
If X Y(s) is a down payment of Z, W is a loan for purchase of Z, value of W is V Y(s), and equal U and (V and X), then U Y(s) is an original balance of Z |
(=>
(and
(incomeEarned ?Agent
(MeasureFn ?Income ?CU) ?Activity)
(amountCharged ?Tax
(MeasureFn ?TaxAmount ?CU))
(causes ?Activity ?Tax)
(equal ?ATIncome
(SubtractionFn ?Income ?TaxAmount)))
(afterTaxIncome ?Agent
(MeasureFn ?ATIncome ?CU) ?Activity)) |
FinancialOntology.kif 3388-3398 |
If X is income earned Y Z(s) for W, V Z(s) is the amount charged in U, W causes U, and equal T and (Y and V), then the after tax income derived by X from W is T Z(s) |
(=>
(and
(orientation ?OBJ ?REGION Outside)
(instance ?ZONE
(PerimeterAreaFn ?REGION))
(instance ?ZONE UniformPerimeterArea)
(width ?ZONE
(MeasureFn ?LIMIT ?UNIT))
(distance ?OBJ ?REGION
(MeasureFn ?FAR ?UNIT))
(instance ?UNIT UnitOfMeasure)
(lessThanOrEqualTo
(SubtractionFn ?FAR ?LIMIT) 0.0))
(located ?OBJ ?ZONE)) |
Geography.kif 2310-2319 |
If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is less than or equal to 0.0, then X is located at Z |
(=>
(and
(orientation ?OBJ ?REGION Outside)
(instance ?ZONE
(PerimeterAreaFn ?REGION))
(instance ?ZONE UniformPerimeterArea)
(width ?ZONE
(MeasureFn ?LIMIT ?UNIT))
(distance ?OBJ ?REGION
(MeasureFn ?FAR ?UNIT))
(instance ?UNIT UnitOfMeasure)
(greaterThan
(SubtractionFn ?FAR ?LIMIT) 0.0))
(not
(located ?OBJ ?ZONE))) |
Geography.kif 2321-2330 |
If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is greater than 0.0, then X is not located at Z |
(=>
(and
(equal ?OUT
(ReverseFn ?IN))
(equal ?LEN
(StringLengthFn ?IN))
(greaterThan ?LEN 1)
(greaterThan ?N 0)
(lessThan ?N ?LEN)
(equal ?PIVOT
(CeilingFn
(DivisionFn
(SubtractionFn ?LEN 1) 2)))
(equal ?NEW
(AdditionFn
(SubtractionFn ?PIVOT ?N) ?PIVOT))
(equal ?S
(SubstringFn ?IN ?N
(AdditionFn 1 ?N))))
(equal ?S
(SubstringFn ?OUT ?NEW
(AdditionFn 1 ?NEW)))) |
Media.kif 2997-3018 |
If All of the following hold: (1) equal X and the reverse of Y (2) equal Z and the length of Y (3) Z is greater than 1 (4) W is greater than 0 (5) W is less than Z (6) equal V and the ceiling of (Z and 1) and 2 (7) equal U and ((V and W) and V) (8) equal T and the sub-string of Y from W to (1 and W), then equal T and the sub-string of X from U to (1 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 |
(=>
(holdsDuring ?T
(and
(equal ?D
(SubtractionFn ?S ?L))
(equal
(MeasureFn ?S CelsiusDegree)
(ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
(equal
(MeasureFn ?L CelsiusDegree)
(ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
(greaterThanOrEqualTo ?D -0.5)
(lessThanOrEqualTo ?D 0.5)))
(holdsDuring ?T
(exists (?N ?A)
(and
(instance ?N ENSONeutralPhase)
(instance ?A GeographicArea)
(eventLocated ?N ?A))))) |
Weather.kif 592-610 |
If equal X and (Y and Z) and equal Y celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month W year V in region Nino 3.4 and equal Z celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month W in year V of region Nino 3.4 and X is greater than or equal to -0.5 and X is less than or equal to 0.5 holds during U, then there exist T, S such that T is an instance of Enso neutral phase, S is an instance of geographic area, and T is located at S holds during U |
(=>
(and
(equal ?TEMP
(ThirtyYearAverageSSTForMonthFn ?W ?M ?Y))
(instance ?Y
(YearFn ?I))
(equal ?YEAR
(SubtractionFn ?I ?N))
(greaterThanOrEqualTo ?N 0)
(lessThan ?N 30)
(instance ?U UnitOfTemperature)
(equal
(MeasureFn ?X ?U)
(MeanMonthSSTFn ?W ?M
(YearFn ?YEAR)))
(inList ?X ?L))
(equal ?TEMP
(MeasureFn
(AverageFn ?L) ?U))) |
Weather.kif 822-839 |
If All of the following hold: (1) equal X and ThirtyYearAverageSSTForMonthFn for month Y in year Z of region W (2) Z is an instance of the year V (3) equal U and (V and T) (4) T is greater than or equal to 0 (5) T is less than 30 (6) S is an instance of unit of temperature (7) equal R S(s) and MeanMonthSSTFn for Y in region W (8) R is a member of Q, then equal X and the average of the numbers in Q S(s) |
(=>
(and
(instance ?S Squall)
(eventLocated ?S ?R)
(instance ?R GeographicArea)
(holdsDuring
(WhenFn ?S)
(surfaceWindSpeed ?R
(MeasureFn ?TOP MilesPerHour)))
(earlier ?T
(WhenFn ?S))
(holdsDuring ?T
(surfaceWindSpeed ?R
(MeasureFn ?BASE MilesPerHour)))
(equal ?DIFF
(SubtractionFn ?TOP ?BASE)))
(and
(greaterThanOrEqualTo ?TOP 25)
(greaterThanOrEqualTo ?DIFF 18))) |
Weather.kif 2265-2282 |
If All of the following hold: (1) X is an instance of squall (2) X is located at Y (3) Y is an instance of geographic area (4) Z miles per hour(s) is a surface wind speed of Y holds during the time of existence of X (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then Z is greater than or equal to 25 and U is greater than or equal to 18 |
(=>
(and
(instance ?G WindGust)
(eventLocated ?G ?R)
(instance ?R GeographicArea)
(equal
(ThreeSecondGustSpeedFn ?R
(WhenFn ?G))
(MeasureFn ?TOP MilesPerHour))
(earlier ?T
(WhenFn ?G))
(holdsDuring ?T
(surfaceWindSpeed ?R
(MeasureFn ?BASE MilesPerHour)))
(equal ?DIFF
(SubtractionFn ?TOP ?BASE)))
(and
(greaterThanOrEqualTo ?TOP 18)
(greaterThanOrEqualTo ?DIFF 10))) |
Weather.kif 2313-2329 |
If All of the following hold: (1) X is an instance of wind gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then Z is greater than or equal to 18 and U is greater than or equal to 10 |
(=>
(and
(instance ?G WindGust)
(eventLocated ?G ?R)
(instance ?R GeographicArea)
(equal
(ThreeSecondGustSpeedFn ?R
(WhenFn ?G))
(MeasureFn ?TOP MilesPerHour))
(earlier
(WhenFn ?G) ?T)
(holdsDuring ?T
(surfaceWindSpeed ?R
(MeasureFn ?BASE MilesPerHour)))
(equal ?DIFF
(SubtractionFn ?TOP ?BASE)))
(greaterThanOrEqualTo ?DIFF 10)) |
Weather.kif 2331-2345 |
If All of the following hold: (1) X is an instance of wind gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) the time of existence of X happens earlier than W (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then U is greater than or equal to 10 |
(=>
(and
(instance ?G WeakGust)
(eventLocated ?G ?R)
(instance ?R GeographicArea)
(equal
(ThreeSecondGustSpeedFn ?R
(WhenFn ?G))
(MeasureFn ?TOP MilesPerHour))
(earlier ?T
(WhenFn ?G))
(holdsDuring ?T
(surfaceWindSpeed ?R
(MeasureFn ?BASE MilesPerHour)))
(equal ?DIFF
(SubtractionFn ?TOP ?BASE)))
(and
(greaterThanOrEqualTo ?DIFF 12)
(lessThanOrEqualTo ?DIFF 17))) |
Weather.kif 2352-2368 |
If All of the following hold: (1) X is an instance of weak gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then U is greater than or equal to 12 and U is less than or equal to 17 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
SubtractionFn