(=>
(and
(instance ?X ?Y)
(subclass ?Y PureSubstance)
(boilingPoint ?Y
(MeasureFn ?BOIL KelvinDegree))
(meltingPoint ?Y
(MeasureFn ?MELT KelvinDegree))
(measure ?X
(MeasureFn ?TEMP KelvinDegree))
(greaterThan ?TEMP ?MELT)
(lessThan ?TEMP ?BOIL))
(attribute ?X Liquid)) |
Merge.kif 14118-14127 |
If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a boiling point of Y (4) W kelvin degree(s) is a melting point of Y (5) the measure of X is V kelvin degree(s) (6) V is greater than W (7) V is less than Z, then liquid is an attribute of X |
(=>
(and
(instance ?X ?Y)
(subclass ?Y PureSubstance)
(meltingPoint ?Y
(MeasureFn ?MELT KelvinDegree))
(barometricPressure ?X
(MeasureFn ?PRES InchMercury))
(greaterThan ?PRES 29.92)
(measure ?X
(MeasureFn ?TEMP KelvinDegree))
(lessThan ?TEMP ?MELT))
(attribute ?X Solid)) |
Merge.kif 14129-14138 |
If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a melting point of Y (4) W inch mercury(s) is a barometric pressure of X (5) W is greater than 29.92 (6) the measure of X is V kelvin degree(s) (7) V is less than Z, then solid is an attribute of X |
(=>
(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 |
(=>
(and
(instance ?H Human)
(holdsDuring ?T1
(age ?H
(MeasureFn ?N YearDuration)))
(lessThan ?N 18))
(holdsDuring ?T1
(instance ?H HumanYouth))) |
Mid-level-ontology.kif 252-257 |
If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is less than 18, then X is an instance of human youth holds during Z |
(=>
(and
(instance ?H Human)
(holdsDuring ?T1
(age ?H
(MeasureFn ?N YearDuration)))
(greaterThan ?N 12)
(lessThan ?N 20))
(holdsDuring ?T1
(instance ?H Teenager))) |
Mid-level-ontology.kif 325-331 |
If X is an instance of human, the age of X is Y year duration(s) holds during Z, Y is greater than 12, and Y is less than 20, then X is an instance of teenager holds during Z |
(=>
(and
(productPrice ?ENT
(MeasureFn ?PRICE1 ?U) ?AGENT)
(instance ?U UnitOfCurrency)
(publishedPrice ?ENT
(MeasureFn ?PRICE2 ?U) ?AGENT ?PS)
(validFor ?PS ?CUSTCLASS)
(instance ?ITEM ?ENT)
(instance ?B Buying)
(immediateInstance ?CUST ?CUSTCLASS)
(agent ?B ?CUST)
(origin ?B ?AGENT)
(lessThan ?PRICE2 ?PRICE1))
(modalAttribute
(transactionAmount ?B ?PRICE1) Likely)) |
Catalog.kif 430-445 |
If All of the following hold: (1) X sells Y for Z W(s) (2) W is an instance of unit of currency (3) the price of Y from X according to V is U W(s) (4) V is valid for T (5) S is an instance of Y (6) R is an instance of buying (7) Q is an immediate instance of T (8) Q is an agent of R (9) R originates at X (10) U is less than Z, then the statement Z is a transaction amount of R has the modal force of likely |
(=>
(holdsDuring ?T
(and
(minDeviceOperatingTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOn)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(lessThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3588-3601 |
If minimum device operating temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device on is an attribute of X and V Z(s) is an air temperature of W and V is less than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely |
(=>
(holdsDuring ?T
(and
(minDeviceStorageTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOff)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(lessThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3614-3627 |
If minimum device storagqqqe temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device off is an attribute of X and V Z(s) is an air temperature of W and V is less than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely |
(=>
(and
(instance ?Account FinancialAccount)
(minimumBalance ?Account UsingAnAccount
(MeasureFn ?Balance ?U))
(instance ?U UnitOfCurrency)
(currentAccountBalance ?Account ?Date
(MeasureFn ?Amount ?U))
(lessThan ?Amount ?Balance))
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(date ?Penalty ?Date)
(destination ?Penalty
(CurrencyFn ?Account))))) |
FinancialOntology.kif 723-736 |
If X is an instance of financial account, X is minimum balance using an account for Y Z(s), Z is an instance of unit of currency, X current account balance W for V Z(s), and V is less than Y, then there exists U such that U is an instance of penalizing, date of U is W, and U ends up at the currency of X |
(=>
(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
(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
(instance ?LD LiquidDrop)
(approximateDiameter ?LD
(MeasureFn ?S Micrometer))
(lessThan 500.0 ?S))
(instance ?LD Droplet)) |
Geography.kif 9125-9131 |
X is an instance of liquid drop and the approximate diameter of X is Y micrometer(s) and 500.0 is less than Y if and only if X is an instance of droplet |
(=>
(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
(breathingRate ?H ?T ?R)
(instance ?T Minute)
(not
(and
(instance ?R RecreationOrExercise)
(agent ?R ?H)
(during ?T
(WhenFn ?R))))
(holdsDuring ?T
(attribute ?H HumanAdult))
(or
(greaterThan ?R 16)
(lessThan ?R 12)))
(holdsDuring ?T
(not
(attribute ?H Healthy)))) |
Medicine.kif 357-374 |
If X breathes at a rate of Y breaths per Z, Z is an instance of minute, At least one of the following holds: (1) ~{ Y is an instance of recreation or exercise } (2) ~{ X is an agent of Y } (3) ~{ Z takes place during the time of existence of Y }, human adult is an attribute of X holds during Z, and Y is greater than 16 or Y is less than 12, then healthy is not an attribute of X holds during Z |
(=>
(holdsDuring ?T
(and
(oxygenSaturation ?H ?N)
(lessThan ?N 92.0)))
(holdsDuring ?T
(attribute ?H Hypoxia))) |
Medicine.kif 1221-1227 |
If the oxygen saturation of X is Y percent and Y is less than 92.0 holds during Z, then Hypoxia is an attribute of X holds during Z |
(=>
(and
(typicalBloodVolume ?M
(MeasureFn ?N ?U))
(holdsDuring ?T
(bloodVolume ?H
(MeasureFn ?N2 ?U)))
(instance ?H ?M)
(lessThan
(MultiplicationFn ?N2 2.0) ?N))
(holdsDuring ?T
(attribute ?H CatastrophicBloodLoss))) |
Medicine.kif 5981-5993 |
If the typical volume of blood of a X is Y Z(s), W has V Z(s) of blood holds during U, W is an instance of X, and V and 2.0 is less than Y, then catastrophic blood loss is an attribute of W holds during U |
(=>
(and
(typicalBloodVolume ?M
(MeasureFn ?N ?U))
(holdsDuring ?T
(bloodVolume ?H
(MeasureFn ?N2 ?U)))
(instance ?H ?M)
(greaterThan
(MultiplicationFn ?N2 2.0) ?N)
(lessThan ?N2
(MultiplicationFn 0.8 ?N)))
(holdsDuring ?T
(attribute ?H SevereBloodLoss))) |
Medicine.kif 5999-6013 |
If the typical volume of blood of a X is Y Z(s), W has V Z(s) of blood holds during U, W is an instance of X, V and 2.0 is greater than Y, and V is less than 0.8 and Y, then severe blood loss is an attribute of W holds during U |
(=>
(and
(processList @ROW)
(inList ?Process1
(ListFn @ROW))
(inList ?Process2
(ListFn @ROW))
(equal
(ListOrderFn
(ListFn @ROW) ?Number1) ?Process1)
(equal
(ListOrderFn
(ListFn @ROW) ?Number2) ?Process2)
(lessThan ?Number1 ?Number2))
(earlier
(WhenFn ?Process1)
(WhenFn ?Process2))) |
QoSontology.kif 790-806 |
If All of the following hold: (1) the list of processes @ROW (2) Y is a member of (@ROW) (3) Z is a member of (@ROW) (4) equal W element of (@ROW) and Y (5) equal V element of (@ROW) and Z (6) U is less than T, then the time of existence of Y happens earlier than the time of existence of Z |
(=>
(and
(instance ?T ShipContainer)
(capacity ?T
(MeasureFn ?X ?U))
(instance ?X UnitOfMass)
(contains ?T ?O)
(weight ?O
(MeasureFn ?Y ?U))
(lessThan ?Y ?X))
(modalAttribute
(not
(exists (?D)
(and
(instance ?D Damaging)
(patient ?D ?T)))) Likely)) |
Transportation.kif 2875-2890 |
If All of the following hold: (1) X is an instance of ship container (2) Y Z(s) is a capacity of X (3) Y is an instance of unit of mass (4) X contains W (5) V Z(s) is a weight of W (6) V is less than Y, then the statement there doesn't exist U such that U is an instance of damaging and X is a patient of U has the modal force of likely |
(=>
(and
(instance ?WATERWAY Waterway)
(depth ?OBJ ?WATERWAY
(MeasureFn ?DEPTH ?UNIT))
(instance ?UNIT UnitOfLength)
(lessThan ?DRAFT ?DEPTH))
(navigableForDraft ?WATERWAY
(MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 3741-3747 |
If X is an instance of waterway, the depth from Y to X is Z W(s), W is an instance of unit of length, and V is less than Z, then V W(s) is a navigable for draft of X |
(=>
(and
(instance ?F Flying)
(patient ?F ?A)
(instance ?A Aircraft)
(holdsDuring
(WhenFn ?F)
(and
(measure ?A
(MeasureFn ?M MachNumber))
(greaterThan ?M 1)
(lessThan ?M 5))))
(attribute ?A Supersonic)) |
Transportation.kif 5262-5273 |
If X is an instance of flying, Y is a patient of X, Y is an instance of aircraft, and the measure of Y is Z Mach number(s) and Z is greater than 1 and Z is less than 5 holds during the time of existence of X, then Supersonic is an attribute of Y |
(=>
(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
(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 ?OF OccludedFront)
(instance ?C AirMass)
(origin ?OF ?C)
(airTemperature ?C
(MeasureFn ?X CelsiusDegree))
(instance ?W AirMass)
(airTemperature ?W
(MeasureFn ?Y CelsiusDegree))
(lessThan ?X ?Y)
(moves ?OF ?W))
(orientation ?C ?W Below)) |
Weather.kif 1342-1354 |
If All of the following hold: (1) X is an instance of occluded front (2) Y is an instance of air mass (3) X originates at Y (4) Z celsius degree(s) is an air temperature of Y (5) W is an instance of air mass (6) V celsius degree(s) is an air temperature of W (7) Z is less than V (8) W moves during X, then Y is below to W |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
lessThan