Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| lessThan |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| s__inverse(s__greaterThan,s__lessThan)
|
Merge.kif 1953-1953 | greater than is an inverse of less than |
| s__termFormat(s__EnglishLanguage, s__lessThan, "less than") | domainEnglishFormat.kif 34147-34147 | greater than is an inverse of less than |
| s__termFormat(s__ChineseTraditionalLanguage, s__lessThan, "少於") | domainEnglishFormat.kif 34148-34148 | greater than is an inverse of less than |
| s__termFormat(s__ChineseLanguage, s__lessThan, "少于") | domainEnglishFormat.kif 34149-34149 | greater than is an inverse of less than |
| s__format(s__EnglishLanguage, s__lessThan, "%1 is %n less than %2") | english_format.kif 142-142 | greater than is an inverse of less than |
| antecedent |
|
|
| ! [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__MEASURE : $i,V__SUBSTANCE : $i,V__TEMP1 : $real,V__TEMP2 : $real,V__TIME : $i,V__TYPE : $i] : (((s__instance(V__SUBSTANCE, V__TYPE) & s__meltingPoint(V__TYPE, s__MeasureFn(V__TEMP1, V__MEASURE)) & s__holdsDuring(V__TIME, s__measure(V__SUBSTANCE, s__MeasureFn(V__TEMP2, V__MEASURE))) & s__instance(V__MEASURE, s__UnitOfTemperature) & ($less(V__TEMP2,V__TEMP1))) => (s__holdsDuring(V__TIME, s__attribute(V__SUBSTANCE, s__Solid)) | ( ? [V__FREEZE:$i] : ((s__overlapsTemporally(s__WhenFn(V__FREEZE), V__TIME) & s__instance(V__FREEZE, s__Freezing) & s__patient(V__FREEZE, V__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 |
| ! [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))) & ($less(V__N,18))) => s__holdsDuring(V__T1, s__instance(V__H, s__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 |
| ! [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__AGENT : $i,V__B : $i,V__CUST : $i,V__CUSTCLASS : $i,V__ENT : $i,V__ITEM : $i,V__PRICE1 : $i,V__PRICE2 : $real,V__PS : $i,V__U : $i] : (((s__productPrice(V__ENT, s__MeasureFn(V__PRICE1, V__U), V__AGENT) & s__instance(V__U, s__UnitOfCurrency) & s__publishedPrice(V__ENT, s__MeasureFn(V__PRICE2, V__U), V__AGENT, V__PS) & s__validFor(V__PS, V__CUSTCLASS) & s__instance(V__ITEM, V__ENT) & s__instance(V__B, s__Buying) & s__immediateInstance(V__CUST, V__CUSTCLASS) & s__agent(V__B, V__CUST) & s__origin(V__B, V__AGENT) & ($less(V__PRICE2,V__PRICE1))) => s__modalAttribute(s__transactionAmount(V__B, V__PRICE1), s__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 |
| ! [V__A : $i,V__D : $i,V__T : $i,V__T1 : $real,V__T2 : $real,V__U : $i] : ((s__holdsDuring(V__T, (s__minDeviceOperatingTemp(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)) & ($less(V__T2,V__T1)))) => s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(V__T), s__attribute(V__D, s__DeviceDamaged)), s__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 |
| ! [V__A : $i,V__D : $i,V__T : $i,V__T1 : $real,V__T2 : $real,V__U : $i] : ((s__holdsDuring(V__T, (s__minDeviceStorageTemp(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)) & ($less(V__T2,V__T1)))) => s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(V__T), s__attribute(V__D, s__DeviceDamaged)), s__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 |
| ! [V__Balance,V__Date,V__Amount,V__Account,V__U] : (((s__instance(V__Balance,s__RealNumber) & s__instance(V__Date,s__Day) & s__subclass(V__Date,s__Day) & s__instance(V__Amount,s__RealNumber)) => ((s__instance(V__Account,s__FinancialAccount) & s__minimumBalance(V__Account,s__UsingAnAccount,s__MeasureFn(V__Balance,V__U)) & s__instance(V__U,s__UnitOfCurrency) & s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Amount,V__U)) & s__lessThan(V__Amount,V__Balance)) => (? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__date(V__Penalty,V__Date) & s__destination(V__Penalty,s__CurrencyFn(V__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 |
| ! [V__MinPayment,V__Payment,V__Amount,V__Account,V__U,V__Month] : (((s__instance(V__MinPayment,s__RealNumber) & s__instance(V__Payment,s__Process) & s__instance(V__Amount,s__RealNumber)) => ((s__instance(V__Account,s__LiabilityAccount) & s__minimumPayment(V__Account,s__MeasureFn(V__MinPayment,V__U) ,s__MonthDuration) & s__instance(V__U,s__UnitOfCurrency) & s__instance(V__Month,s__Month) & s__destination(V__Payment,s__CurrencyFn(V__Account)) & s__paymentsPerPeriod(V__Account,s__MeasureFn(V__Amount,V__U) ,V__Month) & s__lessThan(V__Amount,V__MinPayment)) => (? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__destination(V__Penalty,s__CurrencyFn(V__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 |
| ! [V__Account,V__Date,V__Balance,V__Overdraft] : (((s__instance(V__Account,s__FinancialAccount) & s__instance(V__Date,s__Day) & s__subclass(V__Date,s__Day) & s__instance(V__Balance,s__RealNumber) & s__instance(V__Overdraft,s__RealNumber)) => ((s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar)) & s__lessThan(V__Balance,n__0) & (V__Overdraft = s__SubtractionFn(n__0,V__Balance))) => s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__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 |
| ! [V__S,V__LD] : ((s__instance(V__S,s__RealNumber) => (((s__instance(V__LD,s__LiquidDrop) & s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer)) & s__lessThan(n__500_0,V__S)) => s__instance(V__LD,s__Droplet)) & (s__instance(V__LD,s__Droplet) => (s__instance(V__LD,s__LiquidDrop) & s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer)) & s__lessThan(n__500_0,V__S))))) )
|
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 |
| ! [V__OUT,V__IN,V__LEN,V__N,V__PIVOT,V__NEW,V__S] : (((s__instance(V__OUT,s__SymbolicString) & s__instance(V__IN,s__SymbolicString) & s__instance(V__LEN,s__NonnegativeInteger) & s__instance(V__N,s__NonnegativeInteger) & s__instance(V__PIVOT,s__Integer) & s__instance(V__NEW,s__NonnegativeInteger) & s__instance(V__S,s__SymbolicString)) => (((V__OUT = s__ReverseFn(V__IN)) & (V__LEN = s__StringLengthFn(V__IN)) & s__greaterThan(V__LEN,n__1) & s__greaterThan(V__N,n__0) & s__lessThan(V__N,V__LEN) & (V__PIVOT = s__CeilingFn(s__DivisionFn(s__SubtractionFn(V__LEN,n__1) ,n__2))) & (V__NEW = s__AdditionFn(s__SubtractionFn(V__PIVOT,V__N) ,V__PIVOT)) & (V__S = s__SubstringFn(V__IN,V__N,s__AdditionFn(n__1,V__N)))) => (V__S = s__SubstringFn(V__OUT,V__NEW,s__AdditionFn(n__1,V__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) |
| ! [V__H : $i,V__R : $int,V__T : $i] : (((s__breathingRate(V__H, V__T, V__R) & s__instance(V__T, s__Minute) & ~((s__instance(V__R, s__RecreationOrExercise) & s__agent(V__R, V__H) & s__during(V__T, s__WhenFn(V__R)))) & s__holdsDuring(V__T, s__attribute(V__H, s__HumanAdult)) & (($greater(V__R,16)) | ($less(V__R,12)))) => s__holdsDuring(V__T, ~(s__attribute(V__H, s__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 |
| ! [V__H : $i,V__N : $real,V__T : $i] : ((s__holdsDuring(V__T, (s__oxygenSaturation(V__H, V__N) & ($less(V__N,92.0)))) => s__holdsDuring(V__T, s__attribute(V__H, s__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 |
| ! [V__H : $i,V__M : $i,V__N : $real,V__N2 : $real,V__T : $i,V__U : $i] : (((s__typicalBloodVolume(V__M, s__MeasureFn(V__N, V__U)) & s__holdsDuring(V__T, s__bloodVolume(V__H, s__MeasureFn(V__N2, V__U))) & s__instance(V__H, V__M) & ($less($product(V__N2 ,2.0),V__N))) => s__holdsDuring(V__T, s__attribute(V__H, s__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 |
| ! [V__H : $i,V__M : $i,V__N : $real,V__N2 : $real,V__T : $i,V__U : $i] : (((s__typicalBloodVolume(V__M, s__MeasureFn(V__N, V__U)) & s__holdsDuring(V__T, s__bloodVolume(V__H, s__MeasureFn(V__N2, V__U))) & s__instance(V__H, V__M) & ($greater($product(V__N2 ,2.0),V__N)) & ($less(V__N2,$product(0.8 ,V__N)))) => s__holdsDuring(V__T, s__attribute(V__H, s__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 |
| ! [V__Process1,V__Process2,V__Number1,V__Number2,V__ROW1,V__ROW2,V__ROW3,V__ROW4] : (((s__instance(V__Process1,s__Physical) & s__instance(V__Process2,s__Physical) & s__instance(V__Number1,s__PositiveInteger) & s__instance(V__Number2,s__PositiveInteger)) => ((s__processList(V__ROW1,V__ROW2,V__ROW3,V__ROW4) & s__inList(V__Process1,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4)) & s__inList(V__Process2,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4)) & (s__ListOrderFn(s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4) ,V__Number1) = V__Process1) & (s__ListOrderFn(s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4) ,V__Number2) = V__Process2) & s__lessThan(V__Number1,V__Number2)) => s__earlier(s__WhenFn(V__Process1) ,s__WhenFn(V__Process2)))) )
! [V__Process1,V__Process2,V__Number1,V__Number2,V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7] :
! [V__Process1,V__Process2,V__Number1,V__Number2,V__ROW1] :
! [V__Process1,V__Process2,V__Number1,V__Number2,V__ROW1,V__ROW2,V__ROW3] :
! [V__Process1,V__Process2,V__Number1,V__Number2,V__ROW1,V__ROW2] :
! [V__Process1,V__Process2,V__Number1,V__Number2,V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6] :
! [V__Process1,V__Process2,V__Number1,V__Number2,V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5] :
|
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 |
| ! [V__O : $i,V__T : $i,V__U : $i,V__X : $i,V__Y : $real] : (((s__instance(V__T, s__ShipContainer) & s__capacity(V__T, s__MeasureFn(V__X, V__U)) & s__instance(V__X, s__UnitOfMass) & s__contains(V__T, V__O) & s__weight(V__O, s__MeasureFn(V__Y, V__U)) & ($less(V__Y,V__X))) => s__modalAttribute(~(( ? [V__D:$i] : ((s__instance(V__D, s__Damaging) & s__patient(V__D, V__T))))), s__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 |
| ! [V__OBJ,V__DEPTH,V__DRAFT,V__WATERWAY,V__UNIT] : (((s__instance(V__OBJ,s__Physical) & s__instance(V__DEPTH,s__RealNumber) & s__instance(V__DRAFT,s__RealNumber)) => ((s__instance(V__WATERWAY,s__Waterway) & s__depth(V__OBJ,V__WATERWAY,s__MeasureFn(V__DEPTH,V__UNIT)) & s__instance(V__UNIT,s__UnitOfLength) & s__lessThan(V__DRAFT,V__DEPTH)) => s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__DRAFT,V__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 |
| ! [V__A : $i,V__F : $i,V__M : $int] : (((s__instance(V__F, s__Flying) & s__patient(V__F, V__A) & s__instance(V__A, s__Aircraft) & s__holdsDuring(s__WhenFn(V__F), (s__measure(V__A, s__MeasureFn(V__M, s__MachNumber)) & ($greater(V__M,1)) & ($less(V__M,5))))) => s__attribute(V__A, s__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 |
| ! [V__D : $real,V__L : $real,V__M : $i,V__P : $real,V__S : $real,V__T : $i,V__Y : $i] : (((s__duration(V__T, s__MeasureFn(V__P, s__MonthDuration)) & ($greatereq(V__P,5)) & s__holdsDuring(V__T, (V__D = $difference(V__S ,V__L) & s__MeasureFn(V__S, s__CelsiusDegree) = s__ThreeMonthsRunningMeanSSTFn(s__Nino3Point4, V__M, V__Y) & s__MeasureFn(V__L, s__CelsiusDegree) = s__ThirtyYearAverageSSTForMonthFn(s__Nino3Point4, V__M, V__Y) & ($less(V__D,-0.5))))) => s__holdsDuring(V__T, ( ? [V__LA:$i, V__A:$i] : ((s__instance(V__LA, s__LaNinaPhase) & s__instance(V__A, s__GeographicArea) & s__eventLocated(V__LA, V__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 |
| ! [V__TEMP,V__W,V__M,V__Y,V__I,V__YEAR,V__N,V__X,V__L,V__U] : (((s__instance(V__TEMP,s__TemperatureMeasure) & s__instance(V__W,s__WaterArea) & s__subclass(V__M,s__Month) & s__instance(V__Y,s__Year) & s__instance(V__I,s__Integer) & s__instance(V__YEAR,s__Integer) & s__instance(V__N,s__RealNumber) & s__instance(V__X,s__RealNumber) & s__instance(V__L,s__List)) => (((V__TEMP = s__ThirtyYearAverageSSTForMonthFn(V__W,V__M,V__Y)) & s__instance(V__Y,s__YearFn(V__I)) & (V__YEAR = s__SubtractionFn(V__I,V__N)) & s__greaterThanOrEqualTo(V__N,n__0) & s__lessThan(V__N,n__30) & s__instance(V__U,s__UnitOfTemperature) & (s__MeasureFn(V__X,V__U) = s__MeanMonthSSTFn(V__W,V__M,s__YearFn(V__YEAR))) & s__inList(V__X,V__L)) => (V__TEMP = s__MeasureFn(s__AverageFn(V__L) ,V__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) |
| ! [V__X,V__Y,V__OF,V__C,V__W] : (((s__instance(V__X,s__RealNumber) & s__instance(V__Y,s__RealNumber)) => ((s__instance(V__OF,s__OccludedFront) & s__instance(V__C,s__AirMass) & s__origin(V__OF,V__C) & s__airTemperature(V__C,s__MeasureFn(V__X,s__CelsiusDegree)) & s__instance(V__W,s__AirMass) & s__airTemperature(V__W,s__MeasureFn(V__Y,s__CelsiusDegree)) & s__lessThan(V__X,V__Y) & s__moves(V__OF,V__W)) => s__orientation(V__C,V__W,s__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 |
| consequent |
|
|
| ! [V__NUMBER1,V__NUMBER2] : (((s__instance(V__NUMBER1,s__RealNumber) & s__instance(V__NUMBER2,s__RealNumber)) => ((s__lessThanOrEqualTo(V__NUMBER1,V__NUMBER2) => ((V__NUMBER1 = V__NUMBER2) | s__lessThan(V__NUMBER1,V__NUMBER2))) & (((V__NUMBER1 = V__NUMBER2) | s__lessThan(V__NUMBER1,V__NUMBER2)) => s__lessThanOrEqualTo(V__NUMBER1,V__NUMBER2)))) )
|
Merge.kif 1970-1974 | X is less than, equal to Y if, only if equal X, and Y, or X is less than Y |
| ! [V__NUMBER] : (((s__instance(V__NUMBER,s__NegativeRealNumber) => (s__lessThan(V__NUMBER,n__0) & s__instance(V__NUMBER,s__RealNumber))) & ((s__lessThan(V__NUMBER,n__0) & s__instance(V__NUMBER,s__RealNumber)) => s__instance(V__NUMBER,s__NegativeRealNumber))) )
|
Merge.kif 2052-2056 | X is an instance of negative real number if, only if X is less than 0, and X is an instance of real number |
| ! [V__FORMULA1 : $i,V__FORMULA2 : $i,V__NUMBER1 : $real,V__NUMBER2 : $real] : (((s__decreasesLikelihood(V__FORMULA1, V__FORMULA2) & s__ProbabilityFn(V__FORMULA2) = V__NUMBER1 & s__conditionalProbability(V__FORMULA1, V__FORMULA2, V__NUMBER2)) => ($less(V__NUMBER2,V__NUMBER1)))) | Merge.kif 2732-2737 | If X decreases likelihood of Y, equal the probability of Y and Z, and probability of X provided that Y holds is W, then W is less than Z |
| ! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,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__ROW7,s__Integer) & s__instance(V__NUMBER,s__Integer)) => (((s__LeastCommonMultipleFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7) = V__NUMBER) & ~((V__NUMBER = n__0))) => ~((? [V__LESS] : ((s__instance(V__LESS,s__Integer) & (s__lessThan(V__LESS,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,V__ROW7)) => (s__RemainderFn(V__LESS,V__ELEMENT) = n__0)))))))))))) )
! [V__ROW1,V__NUMBER] :
! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__NUMBER] :
! [V__ROW1,V__ROW2,V__ROW3,V__NUMBER] :
! [V__ROW1,V__ROW2,V__NUMBER] :
! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__NUMBER] :
! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__NUMBER] :
|
Merge.kif 5070-5084 | If equal the least common multiple of @ROW and Y and equal Y and 0, then there doesn't exist Z such that Z is less than Y and W W is a member of (@ROW)equal Z mod W 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__MinFn(V__NUMBER1,V__NUMBER2) = V__NUMBER) => (((V__NUMBER = V__NUMBER1) & s__lessThan(V__NUMBER1,V__NUMBER2)) | ((V__NUMBER = V__NUMBER2) & s__lessThan(V__NUMBER2,V__NUMBER1)) | ((V__NUMBER = V__NUMBER1) & (V__NUMBER = V__NUMBER2))))) )
|
Merge.kif 5133-5144 | If equal the smaller of X, Y, and Z, then At least one of the following holds: (1) equal Z and X and X is less than Y (2) equal Z and Y and Y is less than X (3) equal Z and X and equal Z and Y |
| ! [V__INT] : ((s__instance(V__INT,s__Integer) => s__lessThan(V__INT,s__SuccessorFn(V__INT))) )
|
Merge.kif 5434-5436 | If X is an instance of integer, then X is less than (X+1) |
| ! [V__NUMBER,V__DAY,V__HOUR] : (((s__instance(V__NUMBER,s__NonnegativeInteger) & s__subclass(V__DAY,s__Day)) => (s__instance(V__HOUR,s__HourFn(V__NUMBER,V__DAY)) => s__lessThan(V__NUMBER,n__24))) )
|
Merge.kif 8827-8829 | If X is an instance of the hour Y, then Y is less than 24 |
| ! [V__NUMBER,V__HOUR,V__MINUTE] : (((s__instance(V__NUMBER,s__NonnegativeInteger) & s__subclass(V__HOUR,s__Hour)) => (s__instance(V__MINUTE,s__MinuteFn(V__NUMBER,V__HOUR)) => s__lessThan(V__NUMBER,n__60))) )
|
Merge.kif 8854-8856 | If X is an instance of the minute Y, then Y is less than 60 |
| ! [V__NUMBER,V__MINUTE,V__SECOND] : (((s__instance(V__NUMBER,s__PositiveInteger) & s__subclass(V__MINUTE,s__Minute)) => (s__instance(V__SECOND,s__SecondFn(V__NUMBER,V__MINUTE)) => s__lessThan(V__NUMBER,n__60))) )
|
Merge.kif 8881-8883 | If X is an instance of the second Y, then Y is less than 60 |
| ! [V__D : $i,V__OBJ : $i] : (((s__instance(V__D, s__Decreasing) & 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))) & ($less(V__N1,V__N2))))))) | Merge.kif 11193-11206 | If X is an instance of decreasing 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 less than W |
| ! [V__COOL : $i,V__OBJ : $real] : (((s__instance(V__COOL, s__Cooling) & s__patient(V__COOL, V__OBJ)) => ( ? [V__UNIT:$i, V__QUANT1:$real, V__QUANT2:$real] : ((s__instance(V__UNIT, s__TemperatureMeasure) & s__holdsDuring(s__BeginFn(s__WhenFn(V__COOL)), s__MeasureFn(V__OBJ, V__UNIT) = V__QUANT1) & s__holdsDuring(s__EndFn(s__WhenFn(V__COOL)), s__MeasureFn(V__OBJ, V__UNIT) = V__QUANT2) & ($less(V__QUANT2,V__QUANT1))))))) | Merge.kif 11213-11226 | If X is an instance of cooling 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 less than W |
| ! [V__NUMBER : $int,V__TIME : $i,V__YOUTH : $i] : ((s__holdsDuring(V__TIME, (s__instance(V__YOUTH, s__HumanYouth) & s__age(V__YOUTH, s__MeasureFn(V__NUMBER, s__YearDuration)))) => ($less(V__NUMBER,18)))) | Mid-level-ontology.kif 235-240 | If X is an instance of human youth and the age of X is Y year duration(s) holds during Z, then Y is less than 18 |
| ! [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__X] : ((s__instance(V__X,s__RadiatingXRay) => (? [V__M] : ((s__instance(V__M,s__RealNumber) & (s__wavelength(V__X,s__MeasureFn(V__M,s__Nanometer)) & s__greaterThanOrEqualTo(V__M,n__0_01) & s__lessThan(n__10_0,V__M)))))) )
|
Mid-level-ontology.kif 593-600 | If X is an instance of X ray radiation, then there exists Y such that the wavelength of X is Y nanometer(s) and Y is greater than or equal to 0.01 and 10.0 is less than Y |
| ! [V__SHOT : $i] : ((s__instance(V__SHOT, s__FirearmShot) => ( ? [V__C:$i, V__P:$i, V__CLASS:$i, V__X:$real] : ((s__instance(V__C, s__CollectionOfObjects) & s__member(V__P, V__C) & s__instance(V__P, V__CLASS) & s__subclass(V__CLASS, s__SphericalObject) & s__approximateDiameter(V__P, s__MeasureFn(V__X, s__Millimeter)) & s__modalAttribute((s__material(V__CLASS, s__Lead) & ($less(V__X,10))), s__Likely)))))) | Mid-level-ontology.kif 1147-1160 | If X is an instance of firearm shot, then there exist Y, Z,, , W and V such that Y is an instance of collection and Z is a member of Y and Z is an instance of W and W is a subclass of spherical object and the approximate diameter of Z is V millimeter(s) and the statement lead is made of W and V is less than 10 has the modal force of likely |
| ! [V__S,V__T,V__H,V__B1,V__L,V__B2] : (((s__instance(V__S,s__RealNumber) & s__instance(V__T,s__RealNumber)) => ((s__instance(V__H,s__Handgun) & s__instance(V__B1,s__GunBarrel) & s__part(V__B1,V__H) & s__length(V__B1,s__MeasureFn(V__S,s__Inch)) & s__instance(V__L,s__Longgun) & s__instance(V__B2,s__GunBarrel) & s__part(V__B2,V__L) & s__length(V__B2,s__MeasureFn(V__T,s__Inch))) => s__lessThan(V__S,V__T))) )
|
Mid-level-ontology.kif 2071-2081 | If All of the following hold: (1) X is an instance of hand gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) the length of Y is Z inch(s) (5) W is an instance of long gun (6) V is an instance of gun barrel (7) V is a part of W (8) the length of V is U inch(s), then Z is less than U |
| ! [V__F] : ((s__instance(V__F,s__SelfConnectedObject) => (s__attribute(V__F,s__LongAndThin) => (? [V__S1,V__S2,V__HF,V__H1,V__H2,V__U] : ((s__instance(V__S1,s__SelfConnectedObject) & s__instance(V__S2,s__SelfConnectedObject) & s__instance(V__HF,s__RealNumber) & s__instance(V__H1,s__RealNumber) & s__instance(V__H2,s__RealNumber) & (s__side(V__S1,V__F) & s__side(V__S2,V__F) & s__meetsSpatially(V__S1,V__S2) & ~((V__S1 = V__S2)) & s__instance(V__U,s__UnitOfLength) & s__length(V__F,s__MeasureFn(V__HF,V__U)) & s__length(V__S1,s__MeasureFn(V__H1,V__U)) & s__length(V__S2,s__MeasureFn(V__H2,V__U)) & s__lessThan(V__H1,s__MultiplicationFn(n__3_0,V__HF)) & s__lessThan(V__H2,s__MultiplicationFn(n__3_0,V__HF)))))))) )
|
Mid-level-ontology.kif 3403-3416 | If long and thin is an attribute of X, then there exist Y, Z,, , W,, , V,, , U and T such that a side of X is Y and a side of X is Z and Y meets Z and equal Y and Z and T is an instance of unit of length and the length of X is W T(s) and the length of Y is V T(s) and the length of Z is U T(s) and V is less than 3.0 and W and U is less than 3.0 and W |
| ! [V__BOTTOM,V__TOP,V__WIDTH1,V__WIDTH2,V__BOTTLE,V__U] : (((s__instance(V__BOTTOM,s__SelfConnectedObject) & s__instance(V__TOP,s__SelfConnectedObject) & s__instance(V__WIDTH1,s__RealNumber) & s__instance(V__WIDTH2,s__RealNumber)) => ((s__instance(V__BOTTLE,s__Bottle) & s__bottom(V__BOTTOM,V__BOTTLE) & s__top(V__TOP,V__BOTTLE) & s__instance(V__U,s__UnitOfLength) & s__width(V__BOTTOM,s__MeasureFn(V__WIDTH1,V__U)) & s__width(V__TOP,s__MeasureFn(V__WIDTH2,V__U))) => s__lessThan(V__WIDTH2,V__WIDTH1))) )
|
Mid-level-ontology.kif 5299-5309 | If All of the following hold: (1) X is an instance of bottle (2) the bottom of X is Y (3) the top of X is Z (4) W is an instance of unit of length (5) the width of Y is V W(s) (6) the width of Z is U W(s), then U is less than V |
| ! [V__A,V__N] : (((s__instance(V__A,s__TwoDimensionalAngle) & s__instance(V__N,s__RealNumber)) => (((V__A = s__AcuteAngle) & s__angularMeasure(V__A,s__MeasureFn(V__N,s__AngularDegree))) => s__lessThan(V__N,n__90_0))) )
|
Mid-level-ontology.kif 5640-5645 | If equal X and acute angle and Y angular degree(s) is an angular measure of X, then Y is less than 90.0 |
| ! [V__MIN,V__S,V__A,V__X] : (((s__instance(V__MIN,s__OneDimensionalFigure) & s__instance(V__S,s__GeometricFigure) & s__instance(V__A,s__TwoDimensionalAngle) & s__instance(V__X,s__RealNumber)) => (((V__MIN = s__MinorArc) & s__sideOfFigure(V__MIN,V__S) & (V__S = s__CircleSector) & s__angleOfFigure(V__A,V__S) & s__angularMeasure(V__A,s__MeasureFn(V__X,s__AngularDegree))) => (s__greaterThan(V__X,n__0) & s__lessThan(V__X,n__180)))) )
|
Mid-level-ontology.kif 5939-5948 | If equal X and minor arc, the size of Y is X, equal Y and circle sector, Z is the angle found in Y, and W angular degree(s) is an angular measure of Z, then W is greater than 0 and W is less than 180 |
| ! [V__MAJ,V__S,V__A,V__X] : (((s__instance(V__MAJ,s__OneDimensionalFigure) & s__instance(V__S,s__GeometricFigure) & s__instance(V__A,s__TwoDimensionalAngle) & s__instance(V__X,s__RealNumber)) => (((V__MAJ = s__MajorArc) & s__sideOfFigure(V__MAJ,V__S) & (V__S = s__CircleSector) & s__angleOfFigure(V__A,V__S) & s__angularMeasure(V__A,s__MeasureFn(V__X,s__AngularDegree))) => (s__greaterThan(V__X,n__180) & s__lessThan(V__X,n__360)))) )
|
Mid-level-ontology.kif 5955-5964 | If equal X and Major arc, the size of Y is X, equal Y and circle sector, Z is the angle found in Y, and W angular degree(s) is an angular measure of Z, then W is greater than 180 and W is less than 360 |
| ! [V__OBJ : $i,V__SALE : $i] : (((s__instance(V__SALE, s__BargainSale) & s__patient(V__SALE, V__OBJ) & s__instance(V__OBJ, s__Object)) => ( ? [V__PRICE1:$real, V__PRICE2:$real, V__AGENT1:$i, V__AGENT2:$i, V__U:$i] : ((s__instance(V__U, s__UnitOfCurrency) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__SALE)), s__price(V__OBJ, s__MeasureFn(V__PRICE1, V__U), V__AGENT1)) & s__holdsDuring(s__WhenFn(V__SALE), s__price(V__OBJ, s__MeasureFn(V__PRICE2, V__U), V__AGENT2)) & ($less(V__PRICE2,V__PRICE1))))))) | Mid-level-ontology.kif 9169-9183 | If X is an instance of bargain sale, Y is a patient of X, and Y is an instance of object, then there exist Z, W,, , V,, , U and T such that T is an instance of unit of currency and Y is price Z T(s) for V holds during immediately before the time of existence of X and Y is price W T(s) for U holds during the time of existence of X and W is less than Z |
| ! [V__H : $real,V__OBJECT : $i,V__U : $i] : ((s__defaultMinimumHeight(V__OBJECT, s__MeasureFn(V__H, V__U)) => s__modalAttribute(( ? [V__INST:$i, V__HEIGHT:$real] : ((s__instance(V__INST, V__OBJECT) & s__height(V__INST, s__MeasureFn(V__HEIGHT, V__U)) & ($less(V__HEIGHT,V__H))))), s__Unlikely))) | Mid-level-ontology.kif 14912-14920 | If the minimum expected height of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the height of W is V Z(s) and V is less than Y has the modal force of unlikely |
| ! [V__OBJECT : $i,V__U : $i,V__W : $real] : ((s__defaultMinimumWidth(V__OBJECT, s__MeasureFn(V__W, V__U)) => s__modalAttribute(( ? [V__INST:$i, V__WIDTH:$real] : ((s__instance(V__INST, V__OBJECT) & s__width(V__INST, s__MeasureFn(V__WIDTH, V__U)) & ($less(V__WIDTH,V__W))))), s__Unlikely))) | Mid-level-ontology.kif 14945-14953 | If the minimum expected width of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the width of W is V Z(s) and V is less than Y has the modal force of unlikely |
| ! [V__L : $real,V__OBJECT : $i,V__U : $i] : ((s__defaultMinimumLength(V__OBJECT, s__MeasureFn(V__L, V__U)) => s__modalAttribute(( ? [V__INST:$i, V__LENGTH:$real] : ((s__instance(V__INST, V__OBJECT) & s__length(V__INST, s__MeasureFn(V__LENGTH, V__U)) & ($less(V__LENGTH,V__L))))), s__Unlikely))) | Mid-level-ontology.kif 14978-14986 | If the minimum expected length of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the length of W is V Z(s) and V is less than Y has the modal force of unlikely |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| ! [V__GRAPH,V__NUMBER1,V__NUMBER2] : (((s__instance(V__GRAPH,s__Graph) & s__instance(V__NUMBER1,s__PositiveInteger) & s__instance(V__NUMBER2,s__PositiveInteger)) => ~((? [V__PATH1,V__PATH2] : ((s__instance(V__PATH1,s__GraphPath) & s__instance(V__PATH2,s__GraphPath) & (s__instance(V__PATH1,s__CutSetFn(V__GRAPH)) & s__instance(V__PATH2,s__MinimalCutSetFn(V__GRAPH)) & s__pathLength(V__PATH1,V__NUMBER1) & s__pathLength(V__PATH2,V__NUMBER2) & s__lessThan(V__NUMBER1,V__NUMBER2))))))) )
|
Merge.kif 6218-6225 | There don't exist X, Y such that X is an instance of the set of paths that partition Z into two separate graphs, Y is an instance of the set of minimal paths that partition Z into two separate graphs, the length of X is W, the length of Y is V, and W is less than V |
|