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

Formal Language: 



KB Term:  Term intersection
English Word: 

  greaterThan

Sigma KEE - greaterThan
greaterThan

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


(documentation greaterThan ChineseLanguage "(greaterThan ?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的 Quantity 比 ?NUMBER2 的 Quantity 要大。") Merge.kif 1919-1920
(documentation greaterThan EnglishLanguage "(greaterThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than the Quantity ?NUMBER2.") Merge.kif 1916-1918
(domain greaterThan 1 Quantity) Merge.kif 1913-1913
(domain greaterThan 2 Quantity) Merge.kif 1914-1914
(instance greaterThan BinaryPredicate) Merge.kif 1907-1907
(instance greaterThan IrreflexiveRelation) Merge.kif 1910-1910
(instance greaterThan RelationExtendedToQuantities) Merge.kif 1911-1911
(instance greaterThan TotalValuedRelation) Merge.kif 1908-1908
(instance greaterThan TransitiveRelation) Merge.kif 1909-1909
(inverse greaterThan lessThan) Merge.kif 1915-1915
(trichotomizingOn greaterThan RealNumber) Merge.kif 1912-1912

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


(comparativeArea SouthernOcean greaterThan 2 UnitedStates) Geography.kif 4381-4381
(format ChineseLanguage greaterThan "%1 %n 是 greaterThan %2") chinese_format.kif 111-111
(format EnglishLanguage greaterThan "%1 is %n greater than %2") english_format.kif 82-82
(termFormat ChineseLanguage greaterThan "大于") chinese_format.kif 112-112
(termFormat EnglishLanguage greaterThan "greater than") domainEnglishFormat.kif 4843-4843

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


(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 952-956
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))
Geography.kif 6790-6801
(=>
    (and
        (dampingRatio ?P ?R)
        (greaterThan ?R 0)
        (instance ?T Tremor)
        (patient ?T ?P)
        (holdsDuring ?T1
            (physicalAmplitude ?T ?A1))
        (holdsDuring ?T2
            (physicalAmplitude ?T ?A2))
        (during ?T1 ?T)
        (during ?T2 ?T)
        (earlier ?T1 ?T2))
    (greaterThan ?A1 ?A2))
Cars.kif 802-815
(=>
    (and
        (equal
            (EditionFn ?TEXT ?INT1) ?EDITION1)
        (equal
            (EditionFn ?TEXT ?INT2) ?EDITION2)
        (greaterThan ?INT2 ?INT1)
        (instance ?PUB1 Publication)
        (instance ?PUB2 Publication)
        (instance ?CBO1 ?EDITION1)
        (instance ?CBO2 ?EDITION2)
        (patient ?PUB1 ?CBO1)
        (patient ?PUB2 ?CBO2)
        (date ?PUB1 ?DATE1)
        (date ?PUB2 ?DATE2))
    (before
        (EndFn ?DATE1)
        (EndFn ?DATE2)))
Merge.kif 15632-15649
(=>
    (and
        (fOCShipsByOrigin ?MM ?HOME ?COUNT)
        (greaterThan ?COUNT 0)
        (marineInventory ?MM ?REGISTER))
    (instance ?REGISTER FlagOfConvenienceRegister))
Transportation.kif 1044-1049
(=>
    (and
        (governorSpeed ?V ?Q)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (PerFn ?L1 ?T1))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (PerFn ?L2 ?T2))))
        (greaterThan
            (PerFn ?L1 ?T1)
            (PerFn ?L2 ?T2)))
    (greaterThan ?SLOWPROB ?FASTPROB))
Cars.kif 2865-2879
(=>
    (and
        (instance ?AREA DesertClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan ?TEMP
            (MeasureFn 18 CelsiusDegree)))
    (instance ?AREA SubtropicalDesertClimateZone))
Geography.kif 1340-1346
(=>
    (and
        (instance ?AREA GeographicArea)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan
            (MeasureFn 10 CelsiusDegree) ?TEMP))
    (instance ?AREA PolarClimateZone))
Geography.kif 1518-1524
(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?BIDDER1 Agent)
        (instance ?BIDDER2 Agent)
        (instance ?ITEM Object)
        (patient ?AUCTIONING ?ITEM)
        (bidPrice ?ITEM ?OFFER1 ?BIDDER1)
        (bidPrice ?ITEM ?OFFER2 ?BIDDER2)
        (greaterThan ?OFFER1 ?OFFER2))
    (destination ?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 437-447
(=>
    (and
        (instance ?D1
            (DayFn ?N1
                (MonthFn ?M
                    (YearFn ?Y))))
        (instance ?D2
            (DayFn ?N2
                (MonthFn ?M
                    (YearFn ?Y))))
        (equal ?T1
            (BeginFn ?D1))
        (equal ?T2
            (BeginFn ?D2))
        (greaterThan ?N2 ?N1))
    (before ?T1 ?T2))
Merge.kif 8859-8866
(=>
    (and
        (instance ?D1
            (DayFn ?N1
                (MonthFn ?M
                    (YearFn ?Y))))
        (instance ?D2
            (DayFn ?N2
                (MonthFn ?M
                    (YearFn ?Y))))
        (greaterThan ?N2 ?N1))
    (earlier ?D1 ?D2))
Merge.kif 8868-8873
(=>
    (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 492-498
(=>
    (and
        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))
Transportation.kif 2886-2891
(=>
    (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 ?BOIL ?SUBSTANCE)))))
Merge.kif 13854-13869
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan 29.92 ?PRES)
        (boilingPoint ?Y
            (MeasureFn ?BOIL KelvinDegree))
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (greaterThan ?TEMP ?BOIL))
    (attribute ?X Gas))
Merge.kif 13787-13796
(=>
    (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 13798-13807
(=>
    (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 13809-13818
(=>
    (and
        (instance ?Y1
            (YearFn ?N1))
        (instance ?Y2
            (YearFn ?N2))
        (equal ?T1
            (BeginFn ?Y1))
        (equal ?T2
            (BeginFn ?Y2))
        (greaterThan ?N2 ?N1))
    (before ?T1 ?T2))
Merge.kif 8827-8834
(=>
    (and
        (instance ?Y1
            (YearFn ?N1))
        (instance ?Y2
            (YearFn ?N2))
        (greaterThan ?N2 ?N1))
    (earlier ?Y1 ?Y2))
Merge.kif 8836-8841
(=>
    (and
        (lengthOfBroadGaugeRailway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY BroadGaugeRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 188-196
(=>
    (and
        (lengthOfDualGaugeRailway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY DualGaugeRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 216-224
(=>
    (and
        (lengthOfElectrifiedRailway ?AREA ?LENGTH)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY ElectrifiedRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 134-141
(=>
    (and
        (lengthOfExpresswaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY Expressway)
            (located ?HIGHWAY ?AREA))))
Transportation.kif 567-575
(=>
    (and
        (lengthOfMultipleTrackRailway ?AREA ?LENGTH)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY MultipleTrackRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 161-168
(=>
    (and
        (lengthOfNarrowGaugeRailway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY NarrowGaugeRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 243-251

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (attribute ?WATER OpenSea)
    (forall (?LAND)
        (and
            (instance ?AREA SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER ?DIST)
            (greaterThan ?DIST
                (MeasureFn 5 NauticalMile)))))
Geography.kif 4408-4415
(<=>
    (average ?LIST1 ?AVERAGE)
    (exists (?LIST2)
        (and
            (equal
                (ListLengthFn ?LIST2)
                (ListLengthFn ?LIST1))
            (equal
                (ListOrderFn ?LIST2 1)
                (ListOrderFn ?LIST1 1))
            (forall (?ITEMFROM2)
                (=>
                    (inList ?ITEMFROM2 ?LIST2)
                    (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
                        (and
                            (greaterThan ?POSITION 1)
                            (lessThanOrEqualTo ?POSITION
                                (ListLengthFn ?LIST2))
                            (equal
                                (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION)
                            (inList ?ITEMFROM1 ?LIST1)
                            (equal ?POSITION
                                (ListOrderFn ?LIST1 ?ITEMFROM1))
                            (inList ?PRIORFROM2 ?LIST2)
                            (equal ?POSITIONMINUSONE
                                (SubtractionFn ?POSITION 1))
                            (equal ?POSITIONMINUSONE
                                (ListOrderFn ?LIST2 ?PRIORFROM2))
                            (equal ?ITEMFROM2
                                (AdditionFn ?ITEMFROM1 ?PRIORFROM2))))))
            (equal ?LASTPLACE
                (ListLengthFn ?LIST2))
            (equal ?AVERAGE
                (DivisionFn
                    (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 285-306
(<=>
    (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (greaterThan ?NUMBER1 ?NUMBER2)))
Merge.kif 1953-1957
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 2009-2013
(<=>
    (larger ?OBJ1 ?OBJ2)
    (forall (?QUANT1 ?QUANT2 ?UNIT)
        (=>
            (and
                (measure ?OBJ1
                    (MeasureFn ?QUANT1 ?UNIT))
                (measure ?OBJ2
                    (MeasureFn ?QUANT2 ?UNIT))
                (instance ?UNIT UnitOfLength))
            (greaterThan ?QUANT1 ?QUANT2))))
Merge.kif 7963-7971
(=>
    (and
        (attribute ?AREA FlatTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.005 ?SLOPE))
Geography.kif 1695-1700
(=>
    (and
        (attribute ?AREA LowTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.03 ?SLOPE))
Geography.kif 1707-1712
(=>
    (and
        (attribute ?FOOD1 FamilyStylePortion)
        (measure ?FOOD1 ?MEAS1)
        (not
            (attribute ?FOOD2 FamilyStylePortion))
        (measure ?FOOD2 ?MEAS2)
        (instance ?FOOD1 ?CLASS)
        (instance ?FOOD2 ?CLASS))
    (greaterThan ?MEAS1 ?MEAS2))
Dining.kif 1119-1127
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T ?C)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))
ArabicCulture.kif 193-210
(=>
    (and
        (attribute ?ROOM Oversized)
        (immediateInstance ?ROOM ?HOTELUNIT)
        (subclass ?HOTELUNIT HotelUnit))
    (exists (?NORMAL ?AREA1 ?AREA2)
        (and
            (immediateInstance ?NORMAL ?HOTELUNIT)
            (measure ?NORMAL ?AREA1)
            (measure ?ROOM ?AREA2)
            (instance ?AREA1 AreaMeasure)
            (instance ?AREA2 AreaMeasure)
            (greaterThan ?AREA2 ?AREA1))))
Hotel.kif 1136-1148
(=>
    (and
        (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
        (annualExpendituresOfAreaInPeriod ?AREA ?TOTALAMOUNT ?PERIOD))
    (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1544-1548
(=>
    (and
        (dampingRatio ?P ?R)
        (greaterThan ?R 0)
        (instance ?T Tremor)
        (patient ?T ?P)
        (holdsDuring ?T1
            (physicalAmplitude ?T ?A1))
        (holdsDuring ?T2
            (physicalAmplitude ?T ?A2))
        (during ?T1 ?T)
        (during ?T2 ?T)
        (earlier ?T1 ?T2))
    (greaterThan ?A1 ?A2))
Cars.kif 802-815
(=>
    (and
        (defaultMaxValue ?R ?ARG ?N)
        (?R @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?N ?VAL) Likely))
Merge.kif 18835-18840
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (greaterThan ?QUANTITY ?Q))) Unlikely))
Mid-level-ontology.kif 11131-11140
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (greaterThan
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))
Mid-level-ontology.kif 11141-11152
(=>
    (and
        (defaultMaximumSphereRadius ?OBJECT ?R)
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST ?RADIUS)
            (greaterThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 11086-11094
(=>
    (and
        (defaultMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (greaterThan ?QUANTITY
                    (MultiplicationFn ?Q 1.5)))) Unlikely))
Mid-level-ontology.kif 11160-11169
(=>
    (and
        (defaultMinValue ?R ?ARG ?N)
        (?R @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?VAL ?N) Likely))
Merge.kif 18820-18825
(=>
    (and
        (effectiveDose ?AGENT ?NUMBER1)
        (lethalDose ?AGENT ?NUMBER2))
    (greaterThan ?NUMBER2 ?NUMBER1))
WMD.kif 812-816
(=>
    (and
        (engineIdleSpeed ?E
            (RotationFn ?N1 ?M))
        (instance ?A Automobile)
        (instance ?P GasPedal)
        (instance ?P Pushing)
        (destination ?P ?GP)
        (part ?GP ?A)
        (instance ?C Crankshaft)
        (part ?C ?A)
        (measure ?C
            (RotationFn ?N2 ?M)))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))
Cars.kif 2571-2584
(=>
    (and
        (eveningPhone ?Number ?Agent)
        (instance ?Day Day))
    (exists (?Phone)
        (and
            (phoneNumber ?Number ?Phone)
            (holdsDuring
                (HourFn ?Number ?Day)
                (possesses ?Agent ?Phone))
            (greaterThan ?Number 18))))
FinancialOntology.kif 3600-3608
(=>
    (and
        (governorSpeed ?V ?Q)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (PerFn ?L1 ?T1))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (PerFn ?L2 ?T2))))
        (greaterThan
            (PerFn ?L1 ?T1)
            (PerFn ?L2 ?T2)))
    (greaterThan ?SLOWPROB ?FASTPROB))
Cars.kif 2865-2879
(=>
    (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 28798-28819
(=>
    (and
        (holdsDuring ?TIME
            (capitalExpendituresOfArea ?AREA ?CAPAMOUNT))
        (holdsDuring ?TIME
            (annualExpendituresOfArea ?AREA ?TOTALAMOUNT)))
    (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1562-1566
(=>
    (and
        (immediateInstance ?BIG ?CLASS)
        (immediateInstance ?NORMAL ?CLASS)
        (attribute ?BIG Oversized))
    (exists (?BIGSIZE ?NORMALSIZE)
        (and
            (measure ?BIG ?BIGSIZE)
            (measure ?NORMAL ?NORMALSIZE)
            (greaterThan ?BIGSIZE ?NORMALSIZE))))
Hotel.kif 1125-1134

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners