Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| greaterThan |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| s__comparativeArea(s__SouthernOcean,s__greaterThan,n__2_0,s__UnitedStates)
|
Geography.kif 6218-6218 | Southern ocean comparative area greater than for 2.0 with united states |
| s__termFormat(s__EnglishLanguage, s__greaterThan, "greater than") | domainEnglishFormat.kif 26534-26534 | Southern ocean comparative area greater than for 2.0 with united states |
| s__termFormat(s__ChineseTraditionalLanguage, s__greaterThan, "比較多") | domainEnglishFormat.kif 26535-26535 | Southern ocean comparative area greater than for 2.0 with united states |
| s__termFormat(s__ChineseLanguage, s__greaterThan, "比较多") | domainEnglishFormat.kif 26536-26536 | Southern ocean comparative area greater than for 2.0 with united states |
| s__format(s__EnglishLanguage, s__greaterThan, "%1 is %n greater than %2") | english_format.kif 111-111 | Southern ocean comparative area greater than for 2.0 with united states |
| antecedent |
|
|
| ! [V__R,V__S,V__E,V__L] : (((s__instance(V__R,s__List) & s__instance(V__S,s__PositiveInteger) & s__instance(V__E,s__Integer) & s__instance(V__L,s__List)) => (((V__R = s__SubListFn(V__S,V__E,V__L)) & s__greaterThan(s__SubtractionFn(V__E,V__S) ,n__1)) => (V__R = s__ListConcatenateFn(s__ListFn(s__ListOrderFn(V__L,V__S)) ,s__SubListFn(s__AdditionFn(n__1,V__S) ,V__E,V__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 |
| ! [V__A,V__L] : (((s__instance(V__A,s__RealNumber) & s__instance(V__L,s__List)) => (((V__A = s__ListSumFn(V__L)) & s__greaterThan(s__ListLengthFn(V__L) ,n__1)) => (V__A = s__AdditionFn(s__FirstFn(V__L) ,s__ListSumFn(s__SubListFn(n__2,s__ListLengthFn(V__L) ,V__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) |
| ! [V__A,V__L] : (((s__instance(V__A,s__RealNumber) & s__instance(V__L,s__List)) => (((V__A = s__AverageFn(V__L)) & s__greaterThan(s__ListLengthFn(V__L) ,n__0)) => (V__A = s__DivisionFn(s__ListSumFn(V__L) ,s__ListLengthFn(V__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 |
| ! [V__Y1,V__N1,V__Y2,V__N2,V__T1,V__T2] : (((s__instance(V__Y1,s__TimeInterval) & s__instance(V__N1,s__Integer) & s__instance(V__Y2,s__TimeInterval) & s__instance(V__N2,s__Integer) & s__instance(V__T1,s__TimePoint) & s__instance(V__T2,s__TimePoint)) => ((s__instance(V__Y1,s__YearFn(V__N1)) & s__instance(V__Y2,s__YearFn(V__N2)) & (V__T1 = s__BeginFn(V__Y1)) & (V__T2 = s__BeginFn(V__Y2)) & s__greaterThan(V__N2,V__N1)) => s__before(V__T1,V__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 |
| ! [V__Y1,V__N1,V__Y2,V__N2] : (((s__instance(V__Y1,s__TimeInterval) & s__instance(V__N1,s__Integer) & s__instance(V__Y2,s__TimeInterval) & s__instance(V__N2,s__Integer)) => ((s__instance(V__Y1,s__YearFn(V__N1)) & s__instance(V__Y2,s__YearFn(V__N2)) & s__greaterThan(V__N2,V__N1)) => s__earlier(V__Y1,V__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 |
| ! [V__D1,V__N1,V__M,V__Y,V__D2,V__N2,V__T1,V__T2] : (((s__instance(V__D1,s__TimeInterval) & s__instance(V__N1,s__PositiveInteger) & s__subclass(V__M,s__Month) & s__instance(V__Y,s__Integer) & s__instance(V__D2,s__TimeInterval) & s__instance(V__N2,s__PositiveInteger) & s__instance(V__T1,s__TimePoint) & s__instance(V__T2,s__TimePoint)) => ((s__instance(V__D1,s__DayFn(V__N1,s__MonthFn(V__M,s__YearFn(V__Y)))) & s__instance(V__D2,s__DayFn(V__N2,s__MonthFn(V__M,s__YearFn(V__Y)))) & (V__T1 = s__BeginFn(V__D1)) & (V__T2 = s__BeginFn(V__D2)) & s__greaterThan(V__N2,V__N1)) => s__before(V__T1,V__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 |
| ! [V__D1,V__N1,V__M,V__Y,V__D2,V__N2] : (((s__instance(V__D1,s__TimeInterval) & s__instance(V__N1,s__PositiveInteger) & s__subclass(V__M,s__Month) & s__instance(V__Y,s__Integer) & s__instance(V__D2,s__TimeInterval) & s__instance(V__N2,s__PositiveInteger)) => ((s__instance(V__D1,s__DayFn(V__N1,s__MonthFn(V__M,s__YearFn(V__Y)))) & s__instance(V__D2,s__DayFn(V__N2,s__MonthFn(V__M,s__YearFn(V__Y)))) & s__greaterThan(V__N2,V__N1)) => s__earlier(V__D1,V__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 |
| ! [V__PROCESS,V__PATH1,V__SOURCE,V__DEST,V__MEASURE1,V__U,V__DISTANCE,V__OBJ] : (((s__instance(V__PROCESS,s__Motion) & s__instance(V__PATH1,s__Object) & s__instance(V__SOURCE,s__Object) & s__instance(V__DEST,s__Object) & s__instance(V__MEASURE1,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__DISTANCE,s__RealNumber) & s__instance(V__OBJ,s__Object)) => ((s__path(V__PROCESS,V__PATH1) & s__origin(V__PROCESS,V__SOURCE) & s__destination(V__PROCESS,V__DEST) & s__length(V__PATH1,s__MeasureFn(V__MEASURE1,V__U)) & s__distance(V__SOURCE,V__DEST,s__MeasureFn(V__DISTANCE,V__U)) & ~(s__greaterThan(V__MEASURE1,V__DISTANCE)) & s__part(V__OBJ,V__PATH1)) => s__between(V__SOURCE,V__OBJ,V__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 |
| ! [V__X,V__Y,V__PRES,V__BOIL,V__TEMP] : (((s__instance(V__X,s__Object) & s__instance(V__Y,s__Class) & s__subclass(V__Y,s__PureSubstance) & s__instance(V__PRES,s__RealNumber) & s__instance(V__BOIL,s__RealNumber) & s__instance(V__TEMP,s__RealNumber)) => ((s__instance(V__X,V__Y) & s__subclass(V__Y,s__PureSubstance) & s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury)) & s__greaterThan(n__29_92,V__PRES) & s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree)) & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree)) & s__greaterThan(V__TEMP,V__BOIL)) => s__attribute(V__X,s__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 |
| ! [V__X,V__Y,V__BOIL,V__MELT,V__TEMP] : (((s__instance(V__X,s__Object) & s__instance(V__Y,s__Class) & s__subclass(V__Y,s__PureSubstance) & s__instance(V__BOIL,s__RealNumber) & s__instance(V__MELT,s__RealNumber) & s__instance(V__TEMP,s__RealNumber)) => ((s__instance(V__X,V__Y) & s__subclass(V__Y,s__PureSubstance) & s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree)) & s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree)) & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree)) & s__greaterThan(V__TEMP,V__MELT) & s__lessThan(V__TEMP,V__BOIL)) => s__attribute(V__X,s__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 |
| ! [V__X,V__Y,V__MELT,V__PRES,V__TEMP] : (((s__instance(V__X,s__Object) & s__instance(V__Y,s__Class) & s__subclass(V__Y,s__PureSubstance) & s__instance(V__MELT,s__RealNumber) & s__instance(V__PRES,s__RealNumber) & s__instance(V__TEMP,s__RealNumber)) => ((s__instance(V__X,V__Y) & s__subclass(V__Y,s__PureSubstance) & s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree)) & s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury)) & s__greaterThan(V__PRES,n__29_92) & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree)) & s__lessThan(V__TEMP,V__MELT)) => s__attribute(V__X,s__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 |
| ! [V__MEASURE : $i,V__SUBSTANCE : $i,V__TEMP1 : $real,V__TEMP2 : $real,V__TEMP3 : $real,V__TIME : $i,V__TYPE : $i] : (((s__instance(V__SUBSTANCE, V__TYPE) & s__boilingPoint(V__TYPE, s__MeasureFn(V__TEMP1, V__MEASURE)) & s__meltingPoint(V__TYPE, s__MeasureFn(V__TEMP2, V__MEASURE)) & s__instance(V__MEASURE, s__UnitOfTemperature) & s__holdsDuring(V__TIME, s__measure(V__SUBSTANCE, s__MeasureFn(V__TEMP3, V__MEASURE))) & ($greater(V__TEMP3,V__TEMP2)) & ($less(V__TEMP3,V__TEMP1))) => (s__holdsDuring(V__TIME, s__attribute(V__SUBSTANCE, s__Liquid)) | ( ? [V__MELT:$i] : ((s__overlapsTemporally(s__WhenFn(V__MELT), V__TIME) & s__instance(V__MELT, s__Melting) & s__patient(V__MELT, V__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 |
| ! [V__TEXT,V__INT1,V__EDITION1,V__INT2,V__EDITION2,V__DATE1,V__DATE2,V__PUB1,V__PUB2,V__CBO1,V__CBO2] : (((s__subclass(V__TEXT,s__ContentBearingObject) & s__instance(V__INT1,s__PositiveInteger) & s__instance(V__EDITION1,s__Class) & s__subclass(V__EDITION1,s__ContentBearingObject) & s__instance(V__INT2,s__PositiveInteger) & s__instance(V__EDITION2,s__Class) & s__subclass(V__EDITION2,s__ContentBearingObject) & s__instance(V__DATE1,s__Day) & s__instance(V__DATE2,s__Day)) => (((s__EditionFn(V__TEXT,V__INT1) = V__EDITION1) & (s__EditionFn(V__TEXT,V__INT2) = V__EDITION2) & s__greaterThan(V__INT2,V__INT1) & s__instance(V__PUB1,s__Publication) & s__instance(V__PUB2,s__Publication) & s__instance(V__CBO1,V__EDITION1) & s__instance(V__CBO2,V__EDITION2) & s__patient(V__PUB1,V__CBO1) & s__patient(V__PUB2,V__CBO2) & s__date(V__PUB1,V__DATE1) & s__date(V__PUB2,V__DATE2)) => s__before(s__EndFn(V__DATE1) ,s__EndFn(V__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 |
| ! [V__H : $i,V__N : $int,V__T1 : $i] : (((s__instance(V__H, s__Human) & s__holdsDuring(V__T1, s__age(V__H, s__MeasureFn(V__N, s__YearDuration))) & ($greater(V__N,12)) & ($less(V__N,20))) => s__holdsDuring(V__T1, s__instance(V__H, s__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 |
| ! [V__H : $i,V__ND : $real,V__NS : $real,V__T : $i] : ((s__holdsDuring(V__T, (s__systolicBloodPressure(V__H, s__MeasureFn(V__NS, s__MmMercury)) & s__diastolicBloodPressure(V__H, s__MeasureFn(V__ND, s__MmMercury)) & ($greater(V__NS,140.0)) & ($greater(V__ND,90.0)))) => s__holdsDuring(V__T, s__attribute(V__H, s__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 |
| ! [V__H : $i,V__ND : $real,V__NS : $real,V__T : $i] : ((s__holdsDuring(V__T, (s__systolicBloodPressure(V__H, s__MeasureFn(V__NS, s__MmMercury)) & s__diastolicBloodPressure(V__H, s__MeasureFn(V__ND, s__MmMercury)) & ($greater(90.0,V__NS)) & ($greater(60.0,V__ND)))) => s__holdsDuring(V__T, s__attribute(V__H, s__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 |
| ! [V__TEXT,V__INT1,V__VOLUME1,V__INT2,V__VOLUME2,V__DATE1,V__DATE2,V__PUB1,V__PUB2,V__CBO1,V__CBO2] : (((s__instance(V__TEXT,s__Class) & s__subclass(V__TEXT,s__Series) & s__instance(V__INT1,s__PositiveInteger) & s__instance(V__VOLUME1,s__Class) & s__subclass(V__VOLUME1,s__Text) & s__instance(V__INT2,s__PositiveInteger) & s__instance(V__VOLUME2,s__Class) & s__subclass(V__VOLUME2,s__Text) & s__instance(V__DATE1,s__Day) & s__instance(V__DATE2,s__Day)) => ((s__subclass(V__TEXT,s__Periodical) & (s__SeriesVolumeFn(V__TEXT,V__INT1) = V__VOLUME1) & (s__SeriesVolumeFn(V__TEXT,V__INT2) = V__VOLUME2) & s__greaterThan(V__INT2,V__INT1) & s__instance(V__PUB1,s__Publication) & s__instance(V__PUB2,s__Publication) & s__instance(V__CBO1,V__VOLUME1) & s__instance(V__CBO2,V__VOLUME2) & s__patient(V__PUB1,V__CBO1) & s__patient(V__PUB2,V__CBO2) & s__date(V__PUB1,V__DATE1) & s__date(V__PUB2,V__DATE2)) => s__before(s__EndFn(V__DATE1) ,s__EndFn(V__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 |
| ! [V__A1 : $real,V__A2 : $real,V__P : $i,V__R : $real,V__T : $i,V__T1 : $i,V__T2 : $i,V__U : $i] : (((s__dampingRatio(V__P, V__R) & ($greater(V__R,0)) & s__instance(V__T, s__Tremor) & s__patient(V__T, V__P) & s__instance(V__U, s__UnitOfLength) & s__holdsDuring(V__T1, s__physicalAmplitude(V__T, s__MeasureFn(V__A1, V__U))) & s__holdsDuring(V__T2, s__physicalAmplitude(V__T, s__MeasureFn(V__A2, V__U))) & s__during(V__T1, s__WhenFn(V__T)) & s__during(V__T2, s__WhenFn(V__T)) & s__earlier(V__T1, V__T2)) => ($greater(V__A1,V__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 |
| ! [V__FAST : $real,V__FASTPROB : $real,V__L1 : $i,V__L2 : $i,V__Q : $i,V__SLOW : $real,V__SLOWPROB : $real,V__T1 : $i,V__T2 : $i,V__V : $i] : (((s__governorSpeed(V__V, V__Q) & s__MeasureFn(V__FAST, s__MilesPerHour) = s__SpeedFn(V__L1, V__T1) & s__MeasureFn(V__SLOW, s__MilesPerHour) = s__SpeedFn(V__L2, V__T2) & ($greater(V__FAST,V__SLOW)) & V__FASTPROB = s__ProbabilityFn(s__measure(V__V, s__MeasureFn(V__FAST, s__MilesPerHour))) & V__SLOWPROB = s__ProbabilityFn(s__measure(V__V, s__MeasureFn(V__SLOW, s__MilesPerHour)))) => ($greater(V__SLOWPROB,V__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 |
| ! [V__A : $i,V__D : $i,V__T : $i,V__T1 : $real,V__T2 : $real,V__U : $i] : ((s__holdsDuring(V__T, (s__maxDeviceOperatingTemp(V__D, s__MeasureFn(V__T1, V__U)) & s__instance(V__U, s__UnitOfTemperature) & s__located(V__D, V__A) & s__attribute(V__D, s__DeviceOn) & s__airTemperature(V__A, s__MeasureFn(V__T2, V__U)) & ($greater(V__T2,V__T1)))) => s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(V__T), s__attribute(V__D, s__DeviceDamaged)), s__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 |
| ! [V__A : $i,V__D : $i,V__T : $i,V__T1 : $real,V__T2 : $real,V__U : $i] : ((s__holdsDuring(V__T, (s__maxDeviceStorageTemp(V__D, s__MeasureFn(V__T1, V__U)) & s__instance(V__U, s__UnitOfTemperature) & s__located(V__D, V__A) & s__attribute(V__D, s__DeviceOff) & s__airTemperature(V__A, s__MeasureFn(V__T2, V__U)) & ($greater(V__T2,V__T1)))) => s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(V__T), s__attribute(V__D, s__DeviceDamaged)), s__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 |
| ! [V__P1,V__N1,V__P2,V__N2,V__O,V__R] : (((s__instance(V__P1,s__Object) & s__instance(V__N1,s__RealNumber) & s__instance(V__P2,s__Object) & s__instance(V__N2,s__RealNumber) & s__instance(V__O,s__Object) & s__instance(V__R,s__RealNumber)) => ((s__measure(V__P1,s__MeasureFn(V__N1,s__Lumen)) & s__measure(V__P2,s__MeasureFn(V__N2,s__Lumen)) & s__part(V__P1,V__O) & s__part(V__P2,V__O) & ~((V__P1 = V__P2)) & s__greaterThan(V__N1,V__N2) & (s__DivisionFn(V__N1,V__N2) = V__R) & s__contrastRatio(V__O,V__R)) => ~((? [V__P3,V__P4,V__N3,V__N4] : ((s__instance(V__P3,s__Object) & s__instance(V__P4,s__Object) & s__instance(V__N3,s__RealNumber) & s__instance(V__N4,s__RealNumber) & (s__measure(V__P3,s__MeasureFn(V__N3,s__Lumen)) & s__measure(V__P4,s__MeasureFn(V__N4,s__Lumen)) & s__part(V__P3,V__O) & s__part(V__P4,V__O) & ~((V__P3 = V__P4)) & s__greaterThan(V__N3,V__N4) & s__greaterThan(s__DivisionFn(V__N3,V__N4) ,V__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 |
| ! [V__Account : $i,V__Agent : $i] : ((((s__instance(V__Account, s__PersonalAccount) & ($greater(s__CardinalityFn(s__KappaFn(V__Agent, s__accountHolder(V__Account, V__Agent))),1))) => s__instance(V__Account, s__JointAccount)) & (s__instance(V__Account, s__JointAccount) => (s__instance(V__Account, s__PersonalAccount) & ($greater(s__CardinalityFn(s__KappaFn(V__Agent, s__accountHolder(V__Account, V__Agent))),1)))))) | 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 |
| ! [V__OBJ,V__REGION,V__LIMIT,V__FAR,V__ZONE,V__UNIT] : (((s__instance(V__OBJ,s__Object) & s__instance(V__REGION,s__Region) & s__instance(V__LIMIT,s__RealNumber) & s__instance(V__FAR,s__RealNumber)) => ((s__orientation(V__OBJ,V__REGION,s__Outside) & s__instance(V__ZONE,s__PerimeterAreaFn(V__REGION)) & s__instance(V__ZONE,s__UniformPerimeterArea) & s__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT)) & s__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT)) & s__instance(V__UNIT,s__UnitOfMeasure) & s__greaterThan(s__SubtractionFn(V__FAR,V__LIMIT) ,n__0_0)) => ~(s__located(V__OBJ,V__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 |
| ! [V__AREA,V__TEMP,V__MO] : (((s__instance(V__AREA,s__GeographicArea) & s__instance(V__TEMP,s__RealNumber)) => ((s__climateTypeInArea(V__AREA,s__DesertClimateZone) & s__instance(V__MO,s__Month) & s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)) & s__greaterThan(V__TEMP,n__18_0)) => s__climateTypeInArea(V__AREA,s__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 |
| consequent |
|
|
| ! [V__NUMBER] : (((s__instance(V__NUMBER,s__PositiveRealNumber) => (s__greaterThan(V__NUMBER,n__0) & s__instance(V__NUMBER,s__RealNumber))) & ((s__greaterThan(V__NUMBER,n__0) & s__instance(V__NUMBER,s__RealNumber)) => s__instance(V__NUMBER,s__PositiveRealNumber))) )
|
Merge.kif 2041-2045 | X is an instance of positive real number if, only if X is greater than 0, and X is an instance of real number |
| ! [V__X] : ((s__instance(V__X,s__NonnegativeInteger) => s__greaterThan(V__X,n___1)) )
|
Merge.kif 2085-2087 | If X is an instance of nonnegative integer, then X is greater than -1 |
| ! [V__X] : ((s__instance(V__X,s__NegativeInteger) => s__greaterThan(n__0,V__X)) )
|
Merge.kif 2094-2096 | If X is an instance of negative integer, then 0 is greater than X |
| ! [V__X] : ((s__instance(V__X,s__PositiveInteger) => s__greaterThan(V__X,n__0)) )
|
Merge.kif 2103-2105 | If X is an instance of positive integer, then X is greater than 0 |
| ! [V__FORMULA1 : $i,V__FORMULA2 : $i,V__NUMBER1 : $real,V__NUMBER2 : $real] : (((s__increasesLikelihood(V__FORMULA1, V__FORMULA2) & s__ProbabilityFn(V__FORMULA2) = V__NUMBER1 & s__conditionalProbability(V__FORMULA1, V__FORMULA2, V__NUMBER2)) => ($greater(V__NUMBER2,V__NUMBER1)))) | Merge.kif 2715-2720 | If X increases likelihood of Y, equal the probability of Y and Z, and probability of X provided that Y holds is W, then W is greater than Z |
| ! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__NUMBER] : (((s__instance(V__ROW1,s__Integer) & s__instance(V__ROW2,s__Integer) & s__instance(V__ROW3,s__Integer) & s__instance(V__ROW4,s__Integer) & s__instance(V__ROW5,s__Integer) & s__instance(V__ROW6,s__Integer) & s__instance(V__NUMBER,s__Integer)) => (((s__GreatestCommonDivisorFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6) = V__NUMBER) & ~((V__NUMBER = n__0))) => ~((? [V__GREATER] : ((s__instance(V__GREATER,s__Integer) & (s__greaterThan(V__GREATER,V__NUMBER) & (! [V__ELEMENT] : ((s__instance(V__ELEMENT,s__Integer) => (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)) => (s__RemainderFn(V__ELEMENT,V__GREATER) = n__0)))))))))))) )
! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__NUMBER] :
! [V__ROW1,V__NUMBER] :
! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__NUMBER] :
! [V__ROW1,V__ROW2,V__NUMBER] :
! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__NUMBER] :
! [V__ROW1,V__ROW2,V__ROW3,V__NUMBER] :
|
Merge.kif 4986-5000 | If equal the greatest common divisor of @ROW and Y and equal Y and 0, then there doesn't exist Z such that Z is greater than Y and W W is a member of (@ROW)equal W mod Z and 0 |
| ! [V__NUMBER1,V__NUMBER2,V__NUMBER] : (((s__instance(V__NUMBER1,s__RealNumber) & s__instance(V__NUMBER2,s__RealNumber) & s__instance(V__NUMBER,s__Number)) => ((s__MaxFn(V__NUMBER1,V__NUMBER2) = V__NUMBER) => (((V__NUMBER = V__NUMBER1) & s__greaterThan(V__NUMBER1,V__NUMBER2)) | ((V__NUMBER = V__NUMBER2) & s__greaterThan(V__NUMBER2,V__NUMBER1)) | ((V__NUMBER = V__NUMBER1) & (V__NUMBER = V__NUMBER2))))) )
|
Merge.kif 5107-5118 | If equal the larger of X, Y, and Z, then At least one of the following holds: (1) equal Z and X and X is greater than Y (2) equal Z and Y and Y is greater than X (3) equal Z and X and equal Z and Y |
| ! [V__INT] : ((s__instance(V__INT,s__Integer) => s__greaterThan(V__INT,s__PredecessorFn(V__INT))) )
|
Merge.kif 5467-5469 | If X is an instance of integer, then X is greater than (X+2) |
| ! [V__O,V__M,V__U] : (((s__instance(V__O,s__Physical) & s__instance(V__M,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure)) => (s__length(V__O,s__MeasureFn(V__M,V__U)) => ~((? [V__M2] : ((s__instance(V__M2,s__RealNumber) & (s__linearExtent(V__O,s__MeasureFn(V__M2,V__U)) & s__greaterThan(V__M2,V__M)))))))) )
|
Merge.kif 7706-7714 | If the length of X is Y Z(s), then there doesn't exist W such that the linear extent of X is W Z(s) and W is greater than Y |
| ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => ((s__larger(V__OBJ1,V__OBJ2) => (! [V__QUANT1,V__QUANT2,V__UNIT] : (((s__instance(V__QUANT1,s__RealNumber) & s__instance(V__QUANT2,s__RealNumber)) => ((s__measure(V__OBJ1,s__MeasureFn(V__QUANT1,V__UNIT)) & s__measure(V__OBJ2,s__MeasureFn(V__QUANT2,V__UNIT)) & s__instance(V__UNIT,s__UnitOfLength)) => s__greaterThan(V__QUANT1,V__QUANT2)))))) & ((! [V__QUANT1,V__QUANT2,V__UNIT] : (((s__instance(V__QUANT1,s__RealNumber) & s__instance(V__QUANT2,s__RealNumber)) => ((s__measure(V__OBJ1,s__MeasureFn(V__QUANT1,V__UNIT)) & s__measure(V__OBJ2,s__MeasureFn(V__QUANT2,V__UNIT)) & s__instance(V__UNIT,s__UnitOfLength)) => s__greaterThan(V__QUANT1,V__QUANT2))))) => s__larger(V__OBJ1,V__OBJ2)))) )
|
Merge.kif 7937-7945 | X is larger than Y if and only if Z, W and V the measure of X is Z V(s) and the measure of Y is W V(s) and V is an instance of unit of lengthZ is greater than W |
| ! [V__OBJ : $i,V__PROC : $i,V__QUANT1 : $real,V__QUANT2 : $real] : (((s__resource(V__PROC, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__PROC)), s__measure(V__OBJ, V__QUANT1)) & s__holdsDuring(s__EndFn(s__WhenFn(V__PROC)), s__measure(V__OBJ, V__QUANT2))) => ($greater(V__QUANT1,V__QUANT2)))) | Merge.kif 8199-8204 | If X is a resource for Y, the measure of X is Z holds during the beginning of the time of existence of Y, and the measure of X is W holds during the end of the time of existence of Y, then Z is greater than W |
| ! [V__D : $i,V__OBJ : $i] : (((s__instance(V__D, s__Increasing) & s__patient(V__D, V__OBJ)) => ( ? [V__N1:$real, V__N2:$real, V__T1:$i, V__T2:$i, V__U:$i] : ((s__earlier(V__T1, V__T2) & s__holdsDuring(V__T1, s__measure(V__OBJ, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(V__T2, s__measure(V__OBJ, s__MeasureFn(V__N2, V__U))) & ($greater(V__N1,V__N2))))))) | Merge.kif 11151-11164 | If X is an instance of increasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is greater than W |
| ! [V__HEAT : $i,V__OBJ : $real] : (((s__instance(V__HEAT, s__Heating) & s__patient(V__HEAT, V__OBJ)) => ( ? [V__UNIT:$i, V__QUANT1:$real, V__QUANT2:$real] : ((s__instance(V__UNIT, s__TemperatureMeasure) & s__holdsDuring(s__BeginFn(s__WhenFn(V__HEAT)), s__MeasureFn(V__OBJ, V__UNIT) = V__QUANT1) & s__holdsDuring(s__EndFn(s__WhenFn(V__HEAT)), s__MeasureFn(V__OBJ, V__UNIT) = V__QUANT2) & ($greater(V__QUANT2,V__QUANT1))))))) | Merge.kif 11172-11185 | If X is an instance of heating and Y is a patient of X, then there exist Z, W and V such that Z is an instance of temperature measure and equal Y Z(s) and W holds during the beginning of the time of existence of X and equal Y Z(s) and V holds during the end of the time of existence of X and V is greater than W |
| ! [V__AGENT : $i,V__LENGTH1 : $i,V__LENGTH2 : $i,V__RUN : $i,V__TIME : $i,V__WALK : $i] : (((s__instance(V__WALK, s__Walking) & s__instance(V__RUN, s__Running) & s__agent(V__WALK, V__AGENT) & s__agent(V__RUN, V__AGENT) & s__holdsDuring(s__WhenFn(V__WALK), s__measure(V__AGENT, s__SpeedFn(V__LENGTH1, V__TIME))) & s__holdsDuring(s__WhenFn(V__RUN), s__measure(V__AGENT, s__SpeedFn(V__LENGTH2, V__TIME)))) => ($greater(V__LENGTH2,V__LENGTH1)))) | Merge.kif 11410-11418 | If All of the following hold: (1) X is an instance of walking (2) Y is an instance of running (3) Z is an agent of X (4) Z is an agent of Y (5) the measure of Z is W per V holds during the time of existence of X (6) the measure of Z is U per V holds during the time of existence of Y, then U is greater than W |
| ! [V__L : $i,V__N : $real,V__T : $i,V__W : $i] : (((s__attribute(V__W, s__Windy) & s__located(V__W, V__L) & V__T = s__WhenFn(V__W) & s__holdsDuring(V__T, s__surfaceWindSpeed(V__L, s__MeasureFn(V__N, s__MilesPerHour)))) => ($greater(V__N,20.0)))) | Merge.kif 11545-11553 | If windy is an attribute of X, X is located at Y, equal Z and the time of existence of X, and W miles per hour(s) is a surface wind speed of Y holds during Z, then W is greater than 20.0 |
| ! [V__BOILVAL : $real,V__CLASS : $i,V__EVAP : $i,V__MEAS : $i,V__OBJ : $i,V__VAL : $real] : (((s__instance(V__EVAP, s__Evaporating) & s__boilingPoint(V__CLASS, s__MeasureFn(V__BOILVAL, V__MEAS)) & s__instance(V__OBJ, V__CLASS) & s__measure(V__OBJ, s__MeasureFn(V__VAL, V__MEAS)) & s__instance(V__MEAS, s__UnitOfTemperature) & s__patient(V__EVAP, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & ($greater(V__BOILVAL,V__VAL)) & s__holdsDuring(s__BeginFn(s__WhenFn(V__EVAP)), s__attribute(V__PART, s__Liquid)) & s__holdsDuring(s__EndFn(s__WhenFn(V__EVAP)), s__attribute(V__PART, s__Gas))))))) | Merge.kif 14262-14275 | If All of the following hold: (1) X is an instance of evaporating (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) the measure of V is U Z(s) (5) Z is an instance of unit of temperature (6) V is a patient of X, then there exists T such that T is a part of V, Y is greater than U, liquid is an attribute of T holds during the beginning of the time of existence of X, and gas is an attribute of T holds during the end of the time of existence of X |
| ! [V__CLOUD] : ((s__instance(V__CLOUD,s__WaterCloud) => (! [V__PART] : ((s__instance(V__PART,s__Object) => ((s__part(V__PART,V__CLOUD) & ~(s__instance(V__PART,s__Water))) => (? [V__WATER,V__MEASURE1,V__MEASURE2,V__U] : ((s__instance(V__MEASURE1,s__RealNumber) & s__instance(V__MEASURE2,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure) & (s__instance(V__WATER,s__Water) & s__part(V__WATER,V__CLOUD) & s__measure(V__WATER,s__MeasureFn(V__MEASURE1,V__U)) & s__measure(V__PART,s__MeasureFn(V__MEASURE2,V__U)) & s__greaterThan(V__MEASURE1,V__MEASURE2)))))))))) )
|
Merge.kif 15092-15105 | If X is an instance of water cloud, then For all Object Y: if Y is a part of X and Y is not an instance of water, then there exist Z, W,, , V and U such that Z is an instance of water and Z is a part of X and the measure of Z is W U(s) and the measure of Y is V U(s) and W is greater than V |
| ! [V__FORMULA : $i] : ((s__modalAttribute(V__FORMULA, s__Likely) => ($greater(s__ProbabilityFn(s__truth(V__FORMULA, '$true__m')),s__ProbabilityFn(s__truth(V__FORMULA, '$false__m')))))) | Merge.kif 17878-17884 | If the statement X has the modal force of likely, then the probability of X is true is greater than the probability of X is false |
| ! [V__FORMULA : $i] : ((s__modalAttribute(V__FORMULA, s__Unlikely) => ($greater(s__ProbabilityFn(s__truth(V__FORMULA, '$false__m')),s__ProbabilityFn(s__truth(V__FORMULA, '$true__m')))))) | Merge.kif 17890-17896 | If the statement X has the modal force of unlikely, then the probability of X is false is greater than the probability of X is true |
| ! [V__P1,V__O,V__P2,V__D,V__U] : (((s__instance(V__P1,s__Object) & s__instance(V__O,s__Object) & s__instance(V__P2,s__Object) & s__instance(V__D,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure)) => ((s__physicalEnd(V__P1,V__O) & s__physicalEnd(V__P2,V__O) & ~((V__P1 = V__P2)) & s__distance(V__P1,V__P2,s__MeasureFn(V__D,V__U))) => ~((? [V__OP1,V__OP2,V__N2] : ((s__instance(V__OP1,s__Object) & s__instance(V__OP2,s__Object) & s__instance(V__N2,s__RealNumber) & (s__physicalEnd(V__OP1,V__O) & s__physicalEnd(V__OP2,V__O) & ~((V__OP1 = V__OP2)) & s__distance(V__OP1,V__OP2,s__MeasureFn(V__N2,V__U)) & s__greaterThan(V__N2,V__D)))))))) )
|
Merge.kif 18287-18302 | If one end of X is Y, one end of X is Z, equal Y and Z, and the distance between Y and Z is W V(s), then there don't exist U, T and S such that one end of X is U and one end of X is T and equal U and T and the distance between U and T is S V(s) and S is greater than W |
| ! [V__ARG : $int,V__N : $real,V__REL : $i,V__VAL : $real,V__ARGS : $i] : (((s__defaultMinValue(V__REL,V__ARG,V__N) & s__?REL(V__ARGS) & V__VAL = s__ListOrderFn(s__ListFn(V__ARGS),V__ARG)) => s__modalAttribute(($greater(V__VAL,V__N)), s__Likely))) | Merge.kif 18777-18782 | If The defaultMinValue of X with Y arguments is Z., X @ARGS, and equal V and U element of (@ARGS), then the statement V is greater than Z has the modal force of likely |
| ! [V__ARG : $int,V__N : $real,V__REL : $i,V__VAL : $real,V__ARGS : $i] : (((s__defaultMaxValue(V__REL,V__ARG,V__N) & s__?REL(V__ARGS) & V__VAL = s__ListOrderFn(s__ListFn(V__ARGS),V__ARG)) => s__modalAttribute(($greater(V__N,V__VAL)), s__Likely))) | Merge.kif 18794-18799 | If The defalutMaxValue of X with Y arguments is Z., X @ARGS, and equal V and U element of (@ARGS), then the statement Z is greater than V has the modal force of likely |
| ! [V__HEIGHT,V__ADULT] : ((s__instance(V__HEIGHT,s__RealNumber) => ((s__instance(V__ADULT,s__HumanAdult) & s__height(V__ADULT,s__MeasureFn(V__HEIGHT,s__Inch))) => ~(s__greaterThan(V__HEIGHT,n__120_0)))) )
|
Mid-level-ontology.kif 194-200 | If X is an instance of human adult and the height of X is Y inch(s), then Y is not greater than 120.0 |
| ! [V__NUMBER : $int,V__TEEN : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, (s__instance(V__TEEN, s__Teenager) & s__age(V__TEEN, s__MeasureFn(V__NUMBER, s__YearDuration)))) => (($greater(V__NUMBER,12)) & ($less(V__NUMBER,20))))) | Mid-level-ontology.kif 306-313 | If X is an instance of teenager and the age of X is Y year duration(s) holds during Z, then Y is greater than 12 and Y is less than 20 |
| ! [V__O1,V__O2] : (((s__instance(V__O1,s__Object) & s__instance(V__O2,s__Object)) => (s__older(V__O1,V__O2) => (? [V__N1,V__N2,V__U] : ((s__instance(V__N1,s__RealNumber) & s__instance(V__N2,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure) & (s__age(V__O1,s__MeasureFn(V__N1,V__U)) & s__age(V__O2,s__MeasureFn(V__N2,V__U)) & s__greaterThan(V__N1,V__N2))))))) )
|
Mid-level-ontology.kif 388-394 | If X is an older of Y, then there exist Z, W and V such that the age of Y is Z V(s) and the age of X is W V(s) and Z is greater than W |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|