Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - lessThan
lessThan

appearance as argument number 1
-------------------------


(instance lessThan BinaryPredicate) Merge.kif 1934-1934 less than is an instance of binary predicate
(instance lessThan TransitiveRelation) Merge.kif 1935-1935 less than is an instance of transitive relation
(instance lessThan IrreflexiveRelation) Merge.kif 1936-1936 less than is an instance of irreflexive relation
(instance lessThan RelationExtendedToQuantities) Merge.kif 1937-1937 less than is an instance of relation extended to quantities
(trichotomizingOn lessThan RealNumber) Merge.kif 1938-1938 less than is trichotomizing on real number
(domain lessThan 1 RealNumber) Merge.kif 1939-1939 The number 1 argument of less than is an instance of real number
(domain lessThan 2 RealNumber) Merge.kif 1940-1940 The number 2 argument of less than is an instance of real number
(documentation lessThan EnglishLanguage "(lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2.") Merge.kif 1942-1943 The number 2 argument of less than is an instance of real number

appearance as argument number 2
-------------------------


(inverse greaterThan lessThan) Merge.kif 1953-1953 greater than is an inverse of less than
(termFormat EnglishLanguage lessThan "less than") domainEnglishFormat.kif 34147-34147 greater than is an inverse of less than
(termFormat ChineseTraditionalLanguage lessThan "少於") domainEnglishFormat.kif 34148-34148 greater than is an inverse of less than
(termFormat ChineseLanguage lessThan "少于") domainEnglishFormat.kif 34149-34149 greater than is an inverse of less than
(format EnglishLanguage lessThan "%1 is %n less than %2") english_format.kif 142-142 greater than is an inverse of less than

antecedent
-------------------------


(=>
    (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

consequent
-------------------------


(<=>
    (lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (lessThan ?NUMBER1 ?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
(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 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
(=>
    (and
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (lessThan ?NUMBER2 ?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
(=>
    (and
        (equal
            (LeastCommonMultipleFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (not
        (exists (?LESS)
            (and
                (lessThan ?LESS ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?LESS ?ELEMENT) 0)))))))		 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
(=>
    (equal
        (MinFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (or
        (and
            (equal ?NUMBER ?NUMBER1)
            (lessThan ?NUMBER1 ?NUMBER2))
        (and
            (equal ?NUMBER ?NUMBER2)
            (lessThan ?NUMBER2 ?NUMBER1))
        (and
            (equal ?NUMBER ?NUMBER1)
            (equal ?NUMBER ?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
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))		 Merge.kif 5434-5436 If X is an instance of integer, then X is less than (X+1)
(=>
    (instance ?HOUR
        (HourFn ?NUMBER ?DAY))
    (lessThan ?NUMBER 24))		 Merge.kif 8827-8829 If X is an instance of the hour Y, then Y is less than 24
(=>
    (instance ?MINUTE
        (MinuteFn ?NUMBER ?HOUR))
    (lessThan ?NUMBER 60))		 Merge.kif 8854-8856 If X is an instance of the minute Y, then Y is less than 60
(=>
    (instance ?SECOND
        (SecondFn ?NUMBER ?MINUTE))
    (lessThan ?NUMBER 60))		 Merge.kif 8881-8883 If X is an instance of the second Y, then Y is less than 60
(=>
    (and
        (instance ?D Decreasing)
        (patient ?D ?OBJ))
    (exists (?N1 ?N2 ?T1 ?T2 ?U)
        (and
            (earlier ?T1 ?T2)
            (holdsDuring ?T1
                (measure ?OBJ
                    (MeasureFn ?N1 ?U)))
            (holdsDuring ?T2
                (measure ?OBJ
                    (MeasureFn ?N2 ?U)))
            (lessThan ?N1 ?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
(=>
    (and
        (instance ?COOL Cooling)
        (patient ?COOL ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
        (and
            (instance ?UNIT TemperatureMeasure)
            (holdsDuring
                (BeginFn
                    (WhenFn ?COOL))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT1))
            (holdsDuring
                (EndFn
                    (WhenFn ?COOL))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT2))
            (lessThan ?QUANT2 ?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
(=>
    (holdsDuring ?TIME
        (and
            (instance ?YOUTH HumanYouth)
            (age ?YOUTH
                (MeasureFn ?NUMBER YearDuration))))
    (lessThan ?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
(=>
    (holdsDuring ?TIME
        (and
            (instance ?TEEN Teenager)
            (age ?TEEN
                (MeasureFn ?NUMBER YearDuration))))
    (and
        (greaterThan ?NUMBER 12)
        (lessThan ?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
(=>
    (instance ?X RadiatingXRay)
    (exists (?M)
        (and
            (wavelength ?X
                (MeasureFn ?M Nanometer))
            (greaterThanOrEqualTo ?M 0.01)
            (lessThan 10.0 ?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
(=>
    (instance ?SHOT FirearmShot)
    (exists (?C ?P ?CLASS ?X)
        (and
            (instance ?C CollectionOfObjects)
            (member ?P ?C)
            (instance ?P ?CLASS)
            (subclass ?CLASS SphericalObject)
            (approximateDiameter ?P
                (MeasureFn ?X Millimeter))
            (modalAttribute
                (and
                    (material ?CLASS Lead)
                    (lessThan ?X 10)) 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
(=>
    (and
        (instance ?H Handgun)
        (instance ?B1 GunBarrel)
        (part ?B1 ?H)
        (length ?B1
            (MeasureFn ?S Inch))
        (instance ?L Longgun)
        (instance ?B2 GunBarrel)
        (part ?B2 ?L)
        (length ?B2
            (MeasureFn ?T Inch)))
    (lessThan ?S ?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
(=>
    (attribute ?F LongAndThin)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (length ?F
                (MeasureFn ?HF ?U))
            (length ?S1
                (MeasureFn ?H1 ?U))
            (length ?S2
                (MeasureFn ?H2 ?U))
            (lessThan ?H1
                (MultiplicationFn 3.0 ?HF))
            (lessThan ?H2
                (MultiplicationFn 3.0 ?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
(=>
    (and
        (instance ?BOTTLE Bottle)
        (bottom ?BOTTOM ?BOTTLE)
        (top ?TOP ?BOTTLE)
        (instance ?U UnitOfLength)
        (width ?BOTTOM
            (MeasureFn ?WIDTH1 ?U))
        (width ?TOP
            (MeasureFn ?WIDTH2 ?U)))
    (lessThan ?WIDTH2 ?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
(=>
    (and
        (equal ?A AcuteAngle)
        (angularMeasure ?A
            (MeasureFn ?N AngularDegree)))
    (lessThan ?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
(=>
    (and
        (equal ?MIN MinorArc)
        (sideOfFigure ?MIN ?S)
        (equal ?S CircleSector)
        (angleOfFigure ?A ?S)
        (angularMeasure ?A
            (MeasureFn ?X AngularDegree)))
    (and
        (greaterThan ?X 0)
        (lessThan ?X 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
(=>
    (and
        (equal ?MAJ MajorArc)
        (sideOfFigure ?MAJ ?S)
        (equal ?S CircleSector)
        (angleOfFigure ?A ?S)
        (angularMeasure ?A
            (MeasureFn ?X AngularDegree)))
    (and
        (greaterThan ?X 180)
        (lessThan ?X 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
(=>
    (and
        (instance ?SALE BargainSale)
        (patient ?SALE ?OBJ)
        (instance ?OBJ Object))
    (exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
        (and
            (instance ?U UnitOfCurrency)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?SALE))
                (price ?OBJ
                    (MeasureFn ?PRICE1 ?U) ?AGENT1))
            (holdsDuring
                (WhenFn ?SALE)
                (price ?OBJ
                    (MeasureFn ?PRICE2 ?U) ?AGENT2))
            (lessThan ?PRICE2 ?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
(=>
    (defaultMinimumHeight ?OBJECT
        (MeasureFn ?H ?U))
    (modalAttribute
        (exists (?INST ?HEIGHT)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST
                    (MeasureFn ?HEIGHT ?U))
                (lessThan ?HEIGHT ?H))) 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
(=>
    (defaultMinimumWidth ?OBJECT
        (MeasureFn ?W ?U))
    (modalAttribute
        (exists (?INST ?WIDTH)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST
                    (MeasureFn ?WIDTH ?U))
                (lessThan ?WIDTH ?W))) 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
(=>
    (defaultMinimumLength ?OBJECT
        (MeasureFn ?L ?U))
    (modalAttribute
        (exists (?INST ?LENGTH)
            (and
                (instance ?INST ?OBJECT)
                (length ?INST
                    (MeasureFn ?LENGTH ?U))
                (lessThan ?LENGTH ?L))) 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
-------------------------


(not
    (exists (?PATH1 ?PATH2)
        (and
            (instance ?PATH1
                (CutSetFn ?GRAPH))
            (instance ?PATH2
                (MinimalCutSetFn ?GRAPH))
            (pathLength ?PATH1 ?NUMBER1)
            (pathLength ?PATH2 ?NUMBER2)
            (lessThan ?NUMBER1 ?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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners