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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lessThan
lessThan

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


(documentation lessThan ChineseLanguage "(lessThan ?NUMBER1 ?NUMBER2) 是真的 以防 ?NUMBER1 的 Quantity 比 ?NUMBER2 的 Quantity 要少。") chinese_format.kif 1729-1730
(documentation lessThan EnglishLanguage "(lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2.") Merge.kif 1785-1786
(domain lessThan 1 RealNumber) Merge.kif 1782-1782 The number 1 argument of less than is an instance of real number
(domain lessThan 2 RealNumber) Merge.kif 1783-1783 The number 2 argument of less than is an instance of real number
(instance lessThan BinaryPredicate) Merge.kif 1777-1777 less than is an instance of binary predicate
(instance lessThan IrreflexiveRelation) Merge.kif 1779-1779 less than is an instance of irreflexive relation
(instance lessThan RelationExtendedToQuantities) Merge.kif 1780-1780 less than is an instance of relation extended to quantities
(instance lessThan TransitiveRelation) Merge.kif 1778-1778 less than is an instance of transitive relation
(trichotomizingOn lessThan RealNumber) Merge.kif 1781-1781 less than is trichotomizing on real number

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


(format ChineseLanguage lessThan "%1 %n 是 lessThan %2") chinese_format.kif 141-141
(format EnglishLanguage lessThan "%1 is %n less than %2") english_format.kif 142-142
(inverse greaterThan lessThan) Merge.kif 1796-1796 greater than is an inverse of less than
(termFormat ChineseLanguage lessThan "少于") chinese_format.kif 142-142
(termFormat ChineseTraditionalLanguage lessThan "少於") domainEnglishFormat.kif 34127-34127
(termFormat EnglishLanguage lessThan "less than") domainEnglishFormat.kif 34126-34126

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


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500.0 ?S))
    (instance ?LD Droplet))		 Geography.kif 7240-7246 A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500.0 is less than the real number if and only if the self connected object is an instance of droplet
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StockPrice ?StrikePrice)))
    (outOfTheMoney ?Option ?Time))		 FinancialOntology.kif 3058-3069 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StrikePrice ?StockPrice)))
    (inTheMoney ?Option ?Time))		 FinancialOntology.kif 3009-3020 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StockPrice ?StrikePrice)))
    (inTheMoney ?Option ?Time))		 FinancialOntology.kif 3022-3033 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StrikePrice ?StockPrice)))
    (outOfTheMoney ?Option ?Time))		 FinancialOntology.kif 3071-3082 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
(=>
    (and
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Balance UnitedStatesDollar))
        (lessThan ?Balance 0)
        (equal ?Overdraft
            (SubtractionFn 0 ?Balance)))
    (overdraft ?Account
        (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))		 FinancialOntology.kif 782-787
(=>
    (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 3056-3077
(=>
    (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 701-714
(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account
            (MeasureFn ?MinPayment ?U) MonthDuration)
        (instance ?U UnitOfCurrency)
        (exists (?Payment ?Month)
            (and
                (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 758-774
(=>
    (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 335-341
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThan ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanYouth)))		 Mid-level-ontology.kif 262-267
(=>
    (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 13623-13638
(=>
    (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 13640-13653
(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))		 Transportation.kif 2674-2680
(=>
    (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 13569-13578
(=>
    (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 13580-13589
(=>
    (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 692-708
(=>
    (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 425-440
(=>
    (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 3645-3658
(=>
    (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 3671-3684

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


(<=>
    (equal
        (DeathsPerThousandLiveBirthsFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))		 People.kif 257-281 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the other real number is equal to the real number
(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1894-1898 A real number is an instance of negative real number if and only if the real number is less than 0 and the real number is an instance of real number
(<=>
    (lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (lessThan ?NUMBER1 ?NUMBER2)))		 Merge.kif 1813-1817 A real number is less than or equal to another real number if and only if the real number is equal to the other real number or the real number is less than the other real number
(=>
    (and
        (attribute ?P CollegeFreshman)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (lessThan ?T 1))))		 Mid-level-ontology.kif 18103-18112
(=>
    (and
        (attribute ?P CollegeJunior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 2)
            (lessThan ?T 3))))		 Mid-level-ontology.kif 18118-18128
(=>
    (and
        (attribute ?P CollegeSenior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 3)
            (lessThan ?T 4))))		 Mid-level-ontology.kif 18134-18144
(=>
    (and
        (attribute ?P CollegeSophomore)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 1)
            (lessThan ?T 2))))		 Mid-level-ontology.kif 18150-18160
(=>
    (and
        (conditionalProbability
            (attribute ?X ComfortFood)
            (attribute ?X HeartHealthyFood) ?NUMBER1)
        (conditionalProbability
            (attribute ?X ComfortFood)
            (not
                (attribute ?X HeartHealthyFood)) ?NUMBER2))
    (lessThan ?NUMBER1 ?NUMBER2))		 Dining.kif 1101-1109
(=>
    (and
        (dayPhone ?Number ?Agent)
        (instance ?Day Day))
    (exists (?Phone)
        (and
            (phoneNumber ?Number ?Phone)
            (holdsDuring
                (HourFn ?Number ?Day)
                (possesses ?Agent ?Phone))
            (lessThan ?Number 18))))		 FinancialOntology.kif 3695-3703
(=>
    (and
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))		 Merge.kif 2569-2574
(=>
    (and
        (defaultMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (lessThan ?QUANTITY
                    (MultiplicationFn ?Q .5)))) Unlikely))		 Mid-level-ontology.kif 13047-13056
(=>
    (and
        (defaultMinimumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (lessThan ?QUANTITY ?Q))) Unlikely))		 Mid-level-ontology.kif 12975-12984
(=>
    (and
        (defaultMinimumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (lessThan ?QUANTITY ?Q))) Unlikely))		 Mid-level-ontology.kif 12986-12997
(=>
    (and
        (defaultMinimumSphereRadius ?OBJECT
            (MeasureFn ?R ?U))
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST
                (MeasureFn ?RADIUS ?U))
            (lessThan ?RADIUS ?R)) Unlikely))		 Mid-level-ontology.kif 12937-12946
(=>
    (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 4868-4882
(=>
    (and
        (instance ?A AcuteAngle)
        (angularMeasure ?A ?N))
    (lessThan ?N 90.0))		 Mid-level-ontology.kif 4599-4603
(=>
    (and
        (instance ?AGENT Agent)
        (potentialCustomer ?CUST ?AGENT)
        (modalAttribute
            (and
                (instance ?R Reserving)
                (destination ?R ?AGENT)) Necessity)
        (conditionalProbability
            (exists (?RES1)
                (and
                    (instance ?RES1 Reservation)
                    (reservingEntity ?CUST ?RES1)
                    (fulfillingEntity ?AGENT ?RES1)))
            (customer ?CUST ?AGENT) ?NUM1)
        (conditionalProbability
            (not
                (exists (?RES2)
                    (and
                        (instance ?RES2 Reservation)
                        (reservingEntity ?CUST ?RES2)
                        (fulfillingEntity ?AGENT ?RES2))))
            (customer ?CUST ?AGENT) ?NUM2))
    (lessThan ?NUM2 ?NUM1))		 Dining.kif 725-748
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (lessThan ?LENGTH 914))))		 Transportation.kif 1391-1400
(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationLowPointFn ?AREA) ?AREA)
        (instance ?U UnitOfLength)
        (elevation
            (ElevationLowPointFn ?AREA)
            (MeasureFn ?ELEV1 ?U)))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationLowPointFn ?AREA)))
                (elevation ?OTHER
                    (MeasureFn ?ELEV2 ?U))
                (lessThan ?ELEV2 ?ELEV1)))))		 Geography.kif 1943-1957
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (lessThan ?FRACTION 0.3))		 Weather.kif 892-898
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (lessThan ?FRACTION 0.3))))		 Weather.kif 882-890
(=>
    (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 4436-4446
(=>
    (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 10837-10850
(=>
    (and
        (instance ?Compression DataCompression)
        (dataProcessed ?Compression ?Data)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Compression))
            (memorySize ?Data
                (MeasureFn ?Memory ?Measure)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?Compression))
            (memorySize ?Data
                (MeasureFn ?NewMemory ?Measure))))
    (lessThan ?NewMemory ?Memory))		 QoSontology.kif 1931-1945
(=>
    (and
        (instance ?D DeliveryService)
        (destination ?D ?LOC1)
        (deliveryRegion ?AGENT ?REGION)
        (conditionalProbability
            (located ?LOC1 ?REGION)
            (agent ?D ?AGENT) ?NUMBER1)
        (conditionalProbability
            (not
                (located ?LOC1 ?REGION))
            (agent ?D ?AGENT) ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))		 Dining.kif 507-516

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 6009-6016 There don't exist a graph path and another graph path such that the graph path is an instance of the set of paths that partition a graph into two separate graphs and the other graph path is an instance of the set of minimal paths that partition the graph into two separate graphs and the length of the graph path is a positive integer and the length of the other graph path is another positive integer and the positive integer is less than the other positive integer


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 is open source software produced by Articulate Software and its partners