greaterThan

-------------------------


(=>
    (and
        (governorSpeed ?V ?Q)
        (equal
            (MeasureFn ?FAST MilesPerHour)
            (SpeedFn ?L1 ?T1))
        (equal
            (MeasureFn ?SLOW MilesPerHour)
            (SpeedFn ?L2 ?T2))
        (greaterThan ?FAST ?SLOW)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?FAST MilesPerHour))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?SLOW MilesPerHour)))))
    (greaterThan ?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
(=>
    (and
        (holdsDuring ?T
            (attribute ?F Menopausal))
        (birthdate ?F ?B)
        (instance ?B
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y))))
        (equal ?A1
            (AdditionFn 49 ?Y))
        (equal ?A2
            (AdditionFn 52 ?Y))
        (equal ?START
            (BeginFn ?T)))
    (modalAttribute
        (and
            (greaterThan ?START ?A1)
            (greaterThan ?A2 ?START)) Likely))
Mid-level-ontology.kif 23916-23932
(=>
    (and
        (holdsDuring ?T
            (attribute ?H ?C))
        (instance ?H ChronicDisease)
        (duration ?T ?D))
    (greaterThan ?D
        (MeasureFn 3 MonthDuration)))
Mid-level-ontology.kif 5919-5926
(=>
    (and
        (holdsDuring ?T1
            (attribute ?H Dieting))
        (holdsDuring ?T2
            (not
                (attribute ?H Dieting)))
        (instance ?M1 Meal)
        (instance ?E1 Eating)
        (agent ?E1 ?H)
        (resource ?E1 ?M1)
        (during
            (WhenFn ?E1) ?T1)
        (measure ?M1
            (MeasureFn ?C1 Calorie))
        (instance ?M2 Meal)
        (instance ?E2 Eating)
        (agent ?E2 ?H)
        (resource ?E2 ?M2)
        (during
            (WhenFn ?E2) ?T2)
        (measure ?M2
            (MeasureFn ?C2 Calorie)))
    (modalAttribute
        (greaterThan ?C2 ?C1) Likely))
Mid-level-ontology.kif 30662-30683
(=>
    (and
        (holdsDuring ?TIME
            (capitalExpendituresOfArea ?AREA ?CAPAMOUNT))
        (holdsDuring ?TIME
            (annualExpendituresOfArea ?AREA ?TOTALAMOUNT)))
    (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1558-1562
(=>
    (and
        (immediateInstance ?BIG ?CLASS)
        (immediateInstance ?NORMAL ?CLASS)
        (attribute ?BIG Oversized))
    (exists (?BIGSIZE ?NORMALSIZE ?U)
        (and
            (instance ?U UnitOfMeasure)
            (measure ?BIG
                (MeasureFn ?BIGSIZE ?U))
            (measure ?NORMAL
                (MeasureFn ?NORMALSIZE ?U))
            (greaterThan ?BIGSIZE ?NORMALSIZE))))
Hotel.kif 1172-1184
(=>
    (and
        (immediateInstance ?X ?CLASS)
        (immediateInstance ?Y ?CLASS)
        (attribute ?X ColdTemperature)
        (attribute ?Y HotTemperature))
    (exists (?TEMPX ?TEMPY ?UNIT)
        (and
            (measure ?X
                (MeasureFn ?TEMPX ?UNIT))
            (instance ?UNIT UnitOfTemperature)
            (instance ?TEMPX TemperatureMeasure)
            (measure ?Y
                (MeasureFn ?TEMPY ?UNIT))
            (instance ?TEMPY TemperatureMeasure)
            (greaterThan ?TEMPY ?TEMPX))))
Mid-level-ontology.kif 25722-25737
(=>
    (and
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (equal
            (ProbabilityFn ?FORMULA2) ?NUMBER1)
        (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
    (greaterThan ?NUMBER2 ?NUMBER1))
Merge.kif 2606-2611
(=>
    (and
        (instance ?A Antacid)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))
Mid-level-ontology.kif 9839-9861
(=>
    (and
        (instance ?A ObliqueAngle)
        (angularMeasure ?A ?N))
    (greaterThan ?N 90.0))
Mid-level-ontology.kif 4848-4852
(=>
    (and
        (instance ?A ProtonPumpInhibitor)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))
Mid-level-ontology.kif 9900-9922
(=>
    (and
        (instance ?A1 Automobile)
        (instance ?A2 Automobile)
        (instance ?S1 AutomobileShock)
        (part ?S1 ?A1)
        (not
            (exists (?S2)
                (and
                    (instance ?S2 AutomobileShock)
                    (part ?S2 ?A2))))
        (dampingRatio ?A1 ?R1)
        (dampingRatio ?A2 ?R2))
    (greaterThan ?R2 ?R1))
Cars.kif 853-866
(=>
    (and
        (instance ?ACCELERATE Accelerating)
        (agent ?ACCELERATE ?AGENT))
    (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?ACCELERATE))
                (measure ?AGENT
                    (SpeedFn
                        (MeasureFn ?LENGTH1 ?U1)
                        (MeasureFn ?TIME1 ?U2))))
            (holdsDuring
                (EndFn
                    (WhenFn ?ACCELERATE))
                (measure ?AGENT
                    (SpeedFn
                        (MeasureFn ?LENGTH2 ?U1)
                        (MeasureFn ?TIME2 ?U2))))
            (or
                (greaterThan ?LENGTH2 ?LENGTH1)
                (greaterThan ?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
(=>
    (and
        (instance ?ADULT HumanAdult)
        (height ?ADULT
            (MeasureFn ?HEIGHT Inch)))
    (not
        (greaterThan ?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217
(=>
    (and
        (instance ?AID AppleID)
        (password ?AID ?N)
        (equal ?L
            (StringLengthFn ?N)))
    (greaterThan ?L 7))
ComputingBrands.kif 2018-2023
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryLongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (greaterThan ?LENGTH 3047))))
Transportation.kif 1464-1474
(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationHighPointFn ?AREA) ?AREA)
        (elevation
            (ElevationHighPointFn ?AREA)
            (MeasureFn ?ELEV1 ?UNIT)))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationHighPointFn ?AREA)))
                (elevation ?OTHER
                    (MeasureFn ?ELEV2 ?UNIT))
                (greaterThan ?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (greaterThan ?FRACTION 0.7))
Weather.kif 943-949
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThan ?FRACTION 0.7))))
Weather.kif 933-941
(=>
    (and
        (instance ?Account PersonalAccount)
        (currentInterestRate ?Account ?Date ?Rate)
        (primeInterestRate ?Date ?PrimeRate))
    (greaterThan ?Rate ?PrimeRate))
FinancialOntology.kif 606-611
(=>
    (and
        (instance ?B Braking)
        (patient ?B ?O))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?B))
            (equal
                (MeasureFn ?A1 MilesPerHour)
                (AccelerationFn ?FQ ?T ?O ?D)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?B))
            (equal
                (MeasureFn ?A2 MilesPerHour)
                (AccelerationFn ?FQ ?T ?O ?D)))
        (greaterThan ?A1 ?A2)))
Cars.kif 1252-1267
(=>
    (and
        (instance ?B Brine)
        (measure ?B
            (MeasureFn 1.0 Liter))
        (part ?SALT ?B)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (and
        (greaterThan ?R 35.0)
        (lessThanOrEqualTo ?R 260.0)))
Geography.kif 2873-2884
(=>
    (and
        (instance ?C Cream)
        (part ?C ?O1)
        (instance ?O1 ButterFat)
        (measure ?O1
            (MeasureFn ?X Gram))
        (instance ?M Milk)
        (part ?M ?O2)
        (instance ?O2 ButterFat)
        (measure ?O2
            (MeasureFn ?Y Gram)))
    (greaterThan ?X ?Y))
Food.kif 3124-3136
(=>
    (and
        (instance ?CITY AmericanCity)
        (part ?CITY California)
        (not
            (equal ?CITY LosAngelesCalifornia)))
    (greaterThan
        (CardinalityFn
            (ResidentFn LosAngelesCalifornia))
        (CardinalityFn
            (ResidentFn ?CITY))))
CountriesAndRegions.kif 812-817
(=>
    (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


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