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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lessThan

 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 1839-1840
(documentation lessThan JapaneseLanguage "(lessThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2 より小さい場合に当てはまる。") japanese_format.kif 337-338
(domain lessThan 1 RealNumber) Merge.kif 1836-1836 Die Zahl 1 Argument von kleinerAls ist ein fall von RealNumber %n{nicht}
(domain lessThan 2 RealNumber) Merge.kif 1837-1837 Die Zahl 2 Argument von kleinerAls ist ein fall von RealNumber %n{nicht}
(instance lessThan BinaryPredicate) Merge.kif 1831-1831 kleinerAls ist ein fall von BinaryPredicate %n{nicht}
(instance lessThan IrreflexiveRelation) Merge.kif 1833-1833 kleinerAls ist ein fall von IrreflexiveRelation %n{nicht}
(instance lessThan RelationExtendedToQuantities) Merge.kif 1834-1834 kleinerAls ist ein fall von RelationExtendedToQuantities %n{nicht}
(instance lessThan TransitiveRelation) Merge.kif 1832-1832 kleinerAls ist ein fall von TransitiveRelation %n{nicht}
(trichotomizingOn lessThan RealNumber) Merge.kif 1835-1835 kleinerAls ist eine trichotomizierung auf RealNumber %n{nicht}

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
(format FrenchLanguage lessThan "%1 est %n moins que %2") french_format.kif 92-92
(format ItalianLanguage lessThan "%1 è %n meno di%2") relations-it.txt 163-163
(format JapaneseLanguage lessThan "%1 は %2 より less では %n") japanese_format.kif 1919-1919
(format PortugueseLanguage lessThan "%1 e' %n menos que %2") portuguese_format.kif 44-44
(format cz lessThan "%1 %p{je} %n{nen�} men�� ne� %2") relations-cz.txt 76-76
(format de lessThan "%1 ist kleinerAls %2 %n{nicht}") relations-de.txt 172-172
(format hi lessThan "%1 %2 se kama %n hai") relations-hindi.txt 202-202
(format ro lessThan "%1 %n{nu} este less%t{mai mic} decât %2") relations-ro.kif 111-111
(format sv lessThan "%1 är %n{inte} mindre än %2") relations-sv.txt 91-91
(format tg lessThan "%1 %n ay meno ng %2") relations-tg.txt 325-325
(inverse greaterThan lessThan) Merge.kif 1850-1850 groesserAls ist eine inverse von kleinerAls %n{nicht}
(termFormat ChineseLanguage lessThan "少于") chinese_format.kif 142-142
(termFormat ChineseTraditionalLanguage lessThan "少於") domainEnglishFormat.kif 34144-34144
(termFormat EnglishLanguage lessThan "less than") domainEnglishFormat.kif 34143-34143
(termFormat de lessThan "kleinerAls") terms-de.txt 52-52
(termFormat tg lessThan "meno ng") relations-tg.txt 326-326

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


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500.0 ?S))
    (instance ?LD Droplet))		 Geography.kif 7524-7530 SelfConnectedObject ist ein fall von LiquidDrop %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und 500.0 ist kleinerAls ** RealNumber %n{nicht} genau dann wenn ** SelfConnectedObject ist ein fall von Droplet %n{nicht}
(<=>
    (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 3051-3062 Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von CallOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** FinancialInstrumentPrice ist kleinerAls ** ** RealNumber %n{nicht} genau dann wenn outOfTheMoney ** Agreement and ** AutonomousAgent
(<=>
    (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 3002-3013 Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von CallOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist kleinerAls ** FinancialInstrumentPrice %n{nicht} genau dann wenn inTheMoney ** Agreement and ** AutonomousAgent
(<=>
    (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 3015-3026 Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von PutOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** FinancialInstrumentPrice ist kleinerAls ** ** RealNumber %n{nicht} genau dann wenn inTheMoney ** Agreement and ** AutonomousAgent
(<=>
    (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 3064-3075 Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von PutOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist kleinerAls ** FinancialInstrumentPrice %n{nicht} genau dann wenn outOfTheMoney ** Agreement and ** AutonomousAgent
(=>
    (and
        (breathingRate ?H ?T ?R)
        (instance ?T Minute)
        (not
            (exists (?R)
                (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 367-385
(=>
    (and
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Balance UnitedStatesDollar))
        (lessThan ?Balance 0)
        (equal ?Overdraft
            (SubtractionFn 0 ?Balance)))
    (overdraft ?Account
        (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))		 FinancialOntology.kif 783-788
(=>
    (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 3068-3089
(=>
    (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 759-775
(=>
    (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 342-348
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThan ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanYouth)))		 Mid-level-ontology.kif 269-274
(=>
    (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 13863-13878
(=>
    (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 13880-13893
(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))		 Transportation.kif 2667-2673
(=>
    (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 13809-13818
(=>
    (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 13820-13829
(=>
    (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 694-710
(=>
    (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
(=>
    (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 5968-5982
(=>
    (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 5950-5962
(=>
    (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 3682-3695
(=>
    (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 3708-3721
(=>
    (holdsDuring ?T
        (and
            (oxygenSaturation ?H ?N)
            (lessThan ?N 92.0)))
    (holdsDuring ?T
        (attribute ?H Hypoxia)))		 Medicine.kif 1240-1246

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


(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?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) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))		 People.kif 238-264 Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1948-1952 RealNumber ist ein fall von NegativeRealNumber %n{nicht} genau dann wenn ** RealNumber ist kleinerAls 0 %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht}
(<=>
    (lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (lessThan ?NUMBER1 ?NUMBER2)))		 Merge.kif 1867-1871 RealNumber ist kleinerAlsOderGleich ** RealNumber %n{nicht} genau dann wenn ** RealNumber ist gleich ** ** RealNumber %n{nicht} oder ** RealNumber ist kleinerAls ** ** RealNumber %n{nicht}
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 12))		 Medicine.kif 172-187
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 13))		 Medicine.kif 155-170
(=>
    (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 18728-18737
(=>
    (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 18743-18753
(=>
    (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 18759-18769
(=>
    (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 18775-18785
(=>
    (and
        (conditionalProbability
            (attribute ?X ComfortFood)
            (attribute ?X HeartHealthyFood) ?NUMBER1)
        (conditionalProbability
            (attribute ?X ComfortFood)
            (not
                (attribute ?X HeartHealthyFood)) ?NUMBER2))
    (lessThan ?NUMBER1 ?NUMBER2))		 Dining.kif 1148-1156
(=>
    (and
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))		 Merge.kif 2623-2628
(=>
    (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 13577-13586
(=>
    (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 13505-13514
(=>
    (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 13516-13527
(=>
    (and
        (defaultMinimumSphereRadius ?OBJECT
            (MeasureFn ?R ?U))
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (exists (?RADIUS)
            (and
                (sphereRadius ?INST
                    (MeasureFn ?RADIUS ?U))
                (lessThan ?RADIUS ?R))) Unlikely))		 Mid-level-ontology.kif 13467-13477
(=>
    (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 4958-4972
(=>
    (and
        (instance ?A AcuteAngle)
        (angularMeasure ?A ?N))
    (lessThan ?N 90.0))		 Mid-level-ontology.kif 4868-4872
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (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 772-795
(=>
    (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 1940-1954
(=>
    (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 4698-4708
(=>
    (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 10961-10974
(=>
    (and
        (instance ?CPR CPR)
        (instance ?C Compressing)
        (path ?C ?P)
        (subProcess ?C ?CPR)
        (length ?P
            (MeasureFn ?L Centimeter)))
    (and
        (greaterThan ?L 5.0)
        (lessThan ?L 6.0)))		 Medicine.kif 620-630

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 6099-6106 Es gibt nicht GraphPath und ** GraphPath um ** GraphPath ist ein fall von die menge von Pfaden die Graph in zwei verschiedene Graphen schnitten %n{nicht} und ** ** GraphPath ist ein fall von die menge von minimalen Pfaden die ** Graph in zwei verschiedene Graphen schnitten %n{nicht} und die laenge von ** GraphPath ist PositiveInteger %n{nicht} und die laenge von ** ** GraphPath ist ** PositiveInteger %n{nicht} und ** PositiveInteger ist kleinerAls ** ** PositiveInteger %n{nicht}


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

Show without tree


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