(=>
(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
(equal ?A
(ListSumFn ?L))
(greaterThan
(ListLengthFn ?L) 1))
(equal ?A
(AdditionFn
(FirstFn ?L)
(ListSumFn
(SubListFn 2
(ListLengthFn ?L) ?L))))) |
Merge.kif 3369-3379 |
If equal X and the sum of Y and length of Y is greater than 1, then equal X and (the first of Y and the sum of the sub-list from 2 to length of Y of Y) |
(=>
(and
(equal ?A
(AverageFn ?L))
(greaterThan
(ListLengthFn ?L) 0))
(equal ?A
(DivisionFn
(ListSumFn ?L)
(ListLengthFn ?L)))) |
Merge.kif 3388-3395 |
If equal X and the average of the numbers in Y and length of Y is greater than 0, then equal X, the sum of Y, and length of Y |
(=>
(and
(instance ?Y1
(YearFn ?N1))
(instance ?Y2
(YearFn ?N2))
(equal ?T1
(BeginFn ?Y1))
(equal ?T2
(BeginFn ?Y2))
(greaterThan ?N2 ?N1))
(before ?T1 ?T2)) |
Merge.kif 8892-8899 |
If X is an instance of the year Y, Z is an instance of the year W, equal V and the beginning of X, equal U and the beginning of Z, and W is greater than Y, then V happens before U |
(=>
(and
(instance ?Y1
(YearFn ?N1))
(instance ?Y2
(YearFn ?N2))
(greaterThan ?N2 ?N1))
(earlier ?Y1 ?Y2)) |
Merge.kif 8901-8906 |
If X is an instance of the year Y, Z is an instance of the year W, and W is greater than Y, then X happens earlier than Z |
(=>
(and
(instance ?D1
(DayFn ?N1
(MonthFn ?M
(YearFn ?Y))))
(instance ?D2
(DayFn ?N2
(MonthFn ?M
(YearFn ?Y))))
(equal ?T1
(BeginFn ?D1))
(equal ?T2
(BeginFn ?D2))
(greaterThan ?N2 ?N1))
(before ?T1 ?T2)) |
Merge.kif 8924-8931 |
If X is an instance of the day Y of month the month Z, W is an instance of the day V of month the month Z, equal U and the beginning of X, equal T and the beginning of W, and V is greater than Y, then U happens before T |
(=>
(and
(instance ?D1
(DayFn ?N1
(MonthFn ?M
(YearFn ?Y))))
(instance ?D2
(DayFn ?N2
(MonthFn ?M
(YearFn ?Y))))
(greaterThan ?N2 ?N1))
(earlier ?D1 ?D2)) |
Merge.kif 8933-8938 |
If X is an instance of the day Y of month the month Z, W is an instance of the day V of month the month Z, and V is greater than Y, then X happens earlier than W |
(=>
(and
(path ?PROCESS ?PATH1)
(origin ?PROCESS ?SOURCE)
(destination ?PROCESS ?DEST)
(length ?PATH1
(MeasureFn ?MEASURE1 ?U))
(distance ?SOURCE ?DEST
(MeasureFn ?DISTANCE ?U))
(not
(greaterThan ?MEASURE1 ?DISTANCE))
(part ?OBJ ?PATH1))
(between ?SOURCE ?OBJ ?DEST)) |
Merge.kif 11334-11344 |
If All of the following hold: (1) X is path along which Y occurs (2) Y originates at Z (3) Y ends up at W (4) the length of X is V U(s) (5) the distance between Z and W is T U(s) (6) V is not greater than T (7) S is a part of X, then S is between Z and W |
(=>
(and
(instance ?X ?Y)
(subclass ?Y PureSubstance)
(barometricPressure ?X
(MeasureFn ?PRES InchMercury))
(greaterThan 29.92 ?PRES)
(boilingPoint ?Y
(MeasureFn ?BOIL KelvinDegree))
(measure ?X
(MeasureFn ?TEMP KelvinDegree))
(greaterThan ?TEMP ?BOIL))
(attribute ?X Gas)) |
Merge.kif 14107-14116 |
If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z inch mercury(s) is a barometric pressure of X (4) 29.92 is greater than Z (5) W kelvin degree(s) is a boiling point of Y (6) the measure of X is V kelvin degree(s) (7) V is greater than W, then gas is an attribute of X |
(=>
(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
(equal
(EditionFn ?TEXT ?INT1) ?EDITION1)
(equal
(EditionFn ?TEXT ?INT2) ?EDITION2)
(greaterThan ?INT2 ?INT1)
(instance ?PUB1 Publication)
(instance ?PUB2 Publication)
(instance ?CBO1 ?EDITION1)
(instance ?CBO2 ?EDITION2)
(patient ?PUB1 ?CBO1)
(patient ?PUB2 ?CBO2)
(date ?PUB1 ?DATE1)
(date ?PUB2 ?DATE2))
(before
(EndFn ?DATE1)
(EndFn ?DATE2))) |
Merge.kif 15799-15816 |
If All of the following hold: (1) equal edition X of Y and Z (2) equal edition W of Y and V (3) W is greater than X (4) U is an instance of publication (5) T is an instance of publication (6) S is an instance of Z (7) R is an instance of V (8) S is a patient of U (9) R is a patient of T (10) date of U is Q (11) date of T is P, then the end of Q happens before the end of P |
(=>
(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 |
(=>
(holdsDuring ?T
(and
(systolicBloodPressure ?H
(MeasureFn ?NS MmMercury))
(diastolicBloodPressure ?H
(MeasureFn ?ND MmMercury))
(greaterThan ?NS 140.0)
(greaterThan ?ND 90.0)))
(holdsDuring ?T
(attribute ?H HighBloodPressure))) |
Mid-level-ontology.kif 11904-11914 |
If the systolic blood pressure of X is Y mm mercury(s) and the diastolic blood pressure of X is Z mm mercury(s) and Y is greater than 140.0 and Z is greater than 90.0 holds during W, then hypertension is an attribute of X holds during W |
(=>
(holdsDuring ?T
(and
(systolicBloodPressure ?H
(MeasureFn ?NS MmMercury))
(diastolicBloodPressure ?H
(MeasureFn ?ND MmMercury))
(greaterThan 90.0 ?NS)
(greaterThan 60.0 ?ND)))
(holdsDuring ?T
(attribute ?H LowBloodPressure))) |
Mid-level-ontology.kif 11922-11932 |
If the systolic blood pressure of X is Y mm mercury(s) and the diastolic blood pressure of X is Z mm mercury(s) and 90.0 is greater than Y and 60.0 is greater than Z holds during W, then hypotension is an attribute of X holds during W |
(=>
(and
(subclass ?TEXT Periodical)
(equal
(SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1)
(equal
(SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2)
(greaterThan ?INT2 ?INT1)
(instance ?PUB1 Publication)
(instance ?PUB2 Publication)
(instance ?CBO1 ?VOLUME1)
(instance ?CBO2 ?VOLUME2)
(patient ?PUB1 ?CBO1)
(patient ?PUB2 ?CBO2)
(date ?PUB1 ?DATE1)
(date ?PUB2 ?DATE2))
(before
(EndFn ?DATE1)
(EndFn ?DATE2))) |
Mid-level-ontology.kif 16229-16243 |
If All of the following hold: (1) X is a subclass of periodical (2) equal volume Y in the series X and Z (3) equal volume W in the series X and V (4) W is greater than Y (5) U is an instance of publication (6) T is an instance of publication (7) S is an instance of Z (8) R is an instance of V (9) S is a patient of U (10) R is a patient of T (11) date of U is Q (12) date of T is P, then the end of Q happens before the end of P |
(=>
(and
(dampingRatio ?P ?R)
(greaterThan ?R 0)
(instance ?T Tremor)
(patient ?T ?P)
(instance ?U UnitOfLength)
(holdsDuring ?T1
(physicalAmplitude ?T
(MeasureFn ?A1 ?U)))
(holdsDuring ?T2
(physicalAmplitude ?T
(MeasureFn ?A2 ?U)))
(during ?T1
(WhenFn ?T))
(during ?T2
(WhenFn ?T))
(earlier ?T1 ?T2))
(greaterThan ?A1 ?A2)) |
Cars.kif 748-764 |
If All of the following hold: (1) the damping ratio of X is Y (2) Y is greater than 0 (3) Z is an instance of tremor (4) X is a patient of Z (5) W is an instance of unit of length (6) the amplitude Z is V W(s) holds during U (7) the amplitude Z is T W(s) holds during S (8) U takes place during the time of existence of Z (9) S takes place during the time of existence of Z (10) U happens earlier than S, then V is greater than T |
(=>
(and
(governorSpeed ?V ?Q)
(equal
(MeasureFn ?FAST MilesPerHour)
(SpeedFn ?L1 ?T1))
(equal
(MeasureFn ?SLOW MilesPerHour)
(SpeedFn ?L2 ?T2))
(greaterThan ?FAST ?SLOW)
(equal ?FASTPROB
(ProbabilityFn
(measure ?V
(MeasureFn ?FAST MilesPerHour))))
(equal ?SLOWPROB
(ProbabilityFn
(measure ?V
(MeasureFn ?SLOW MilesPerHour)))))
(greaterThan ?SLOWPROB ?FASTPROB)) |
Cars.kif 2722-2740 |
If All of the following hold: (1) the maximum speed allowed by X is Y (2) equal Z miles per hour(s) and W per V (3) equal U miles per hour(s) and T per S (4) Z is greater than U (5) equal R and the probability of the measure of X is Z miles per hour(s) (6) equal Q and the probability of the measure of X is U miles per hour(s), then Q is greater than R |
(=>
(holdsDuring ?T
(and
(maxDeviceOperatingTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOn)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(greaterThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3535-3548 |
If maximum 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 greater 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
(maxDeviceStorageTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOff)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(greaterThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3563-3576 |
If maximum device storage 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 greater 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
(measure ?P1
(MeasureFn ?N1 Lumen))
(measure ?P2
(MeasureFn ?N2 Lumen))
(part ?P1 ?O)
(part ?P2 ?O)
(not
(equal ?P1 ?P2))
(greaterThan ?N1 ?N2)
(equal
(DivisionFn ?N1 ?N2) ?R)
(contrastRatio ?O ?R))
(not
(exists (?P3 ?P4 ?N3 ?N4)
(and
(measure ?P3
(MeasureFn ?N3 Lumen))
(measure ?P4
(MeasureFn ?N4 Lumen))
(part ?P3 ?O)
(part ?P4 ?O)
(not
(equal ?P3 ?P4))
(greaterThan ?N3 ?N4)
(greaterThan
(DivisionFn ?N3 ?N4) ?R))))) |
ComputingBrands.kif 3641-3662 |
If All of the following hold: (1) the measure of X is Y lumen(s) (2) the measure of Z is W lumen(s) (3) X is a part of V (4) Z is a part of V (5) equal X and Z (6) Y is greater than W (7) equal Y, W, and U (8) the contrast ratio of V is U, then there don't exist T, S,, , R and Q such that the measure of T is R lumen(s) and the measure of S is Q lumen(s) and T is a part of V and S is a part of V and equal T and S and R is greater than Q and R and Q is greater than U |
(<=>
(and
(instance ?Account PersonalAccount)
(greaterThan
(CardinalityFn
(KappaFn ?Agent
(accountHolder ?Account ?Agent))) 1))
(instance ?Account JointAccount)) |
FinancialOntology.kif 1029-1036 |
X is an instance of personal account, the number of instances in the class described by Y is greater than 1 if, and only if X is an instance of joint account |
(=>
(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
(climateTypeInArea ?AREA DesertClimateZone)
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?TEMP CelsiusDegree))
(greaterThan ?TEMP 18.0))
(climateTypeInArea ?AREA SubtropicalDesertClimateZone)) |
Geography.kif 2827-2834 |
If desert climate zone is a climate type in area of X, Y is an instance of month, X average temperature for period Y for Z celsius degree(s), and Z is greater than 18.0, then subtropical desert climate zone is a climate type in area of X |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
Entity