greaterThan - Sigma Knowledge base Browser

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	The number 1 argument of greater than is an instance of quantity
(domain greaterThan 2 Quantity)	Merge.kif 1914-1914	The number 2 argument of greater than is an instance of quantity
(instance greaterThan BinaryPredicate)	Merge.kif 1907-1907	greater than is an instance of binary predicate
(instance greaterThan IrreflexiveRelation)	Merge.kif 1910-1910	greater than is an instance of irreflexive relation
(instance greaterThan RelationExtendedToQuantities)	Merge.kif 1911-1911	greater than is an instance of relation extended to quantities
(instance greaterThan TotalValuedRelation)	Merge.kif 1908-1908	greater than is an instance of total valued relation
(instance greaterThan TransitiveRelation)	Merge.kif 1909-1909	greater than is an instance of transitive relation
(inverse greaterThan lessThan)	Merge.kif 1915-1915	greater than is an inverse of less than
(trichotomizingOn greaterThan RealNumber)	Merge.kif 1912-1912	greater than is trichotomizing on real number

appearance as argument number 2

(comparativeArea SouthernOcean greaterThan 2 UnitedStates)	Geography.kif 4381-4381	Southern ocean comparative area greater than for 2 with united states
(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	"大于" is the printable form of greater than in ChineseLanguage
(termFormat EnglishLanguage greaterThan "greater than")	domainEnglishFormat.kif 4843-4843	"greater than" is the printable form of greater than in english language

antecedent

(<=> (and (instance ?Account PersonalAccount) (greaterThan (CardinalityFn (KappaFn ?Agent (accountHolder ?Account ?Agent))) 1)) (instance ?Account JointAccount))	FinancialOntology.kif 952-956	An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account
(<=> (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	An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
(=> (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	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a time interval is an instance of tremor and the physical system is a patient of the time interval and the amplitude the time interval is a quantity holds during the time interval1 and the amplitude the time interval is another quantity holds during the time interval2 and the time interval1 takes place during the time interval and the time interval2 takes place during the time interval and the time interval1 happens earlier than the time interval2, then the quantity is greater than the other quantity
(=> (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	If edition a positive integer of a kind of content bearing object is equal to another kind of content bearing object and edition another positive integer of a kind of content bearing object is equal to a third kind of content bearing object and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of another kind of content bearing object and another entity is an instance of a third kind of content bearing object and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
(=> (and (fOCShipsByOrigin ?MM ?HOME ?COUNT) (greaterThan ?COUNT 0) (marineInventory ?MM ?REGISTER)) (instance ?REGISTER FlagOfConvenienceRegister))	Transportation.kif 1044-1049	If a merchant marine fOC ships by origin a geopolitical area for a nonnegative integer and the nonnegative integer is greater than 0 and a ship register is a marine inventory of the merchant marine, then the ship register is an instance of flag of convenience register
(=> (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	If the maximum speed allowed by a governor is a function quantity and a real number is equal to the probability of the measure of the governor is the per of a physical quantity and another physical quantity and another real number is equal to the probability of the measure of the governor is the per of a third physical quantity and a fourth physical quantity and the per of the physical quantity and the other physical quantity is greater than the per of the third physical quantity and the fourth physical quantity, then the other real number is greater than the real number
(=> (and (instance ?AREA DesertClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP) (greaterThan ?TEMP (MeasureFn 18 CelsiusDegree))) (instance ?AREA SubtropicalDesertClimateZone))	Geography.kif 1340-1346	If a geographic area is an instance of desert climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure and the temperature measure is greater than 18 celsius degree(s), then the geographic area is an instance of subtropical desert climate zone
(=> (and (instance ?AREA GeographicArea) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP) (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP)) (instance ?AREA PolarClimateZone))	Geography.kif 1518-1524	If a geographic area is an instance of geographic area and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure and 10 celsius degree(s) is greater than the temperature measure, then the geographic area is an instance of polar climate zone
(=> (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	If a process is an instance of auction and an agent is an instance of agent and another agent is an instance of agent and an object is an instance of object and the object is a patient of the process and the agent bids a currency measure for the object and the other agent bids another currency measure for the object and the currency measure is greater than the other currency measure, then the process ends up at the agent
(=> (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	If a time interval is an instance of the day a positive integer and another time interval is an instance of the day another positive integer and a time point is equal to the beginning of the time interval and another time point is equal to the beginning of the other time interval and the other positive integer is greater than the positive integer, then the time point happens before the other time point
(=> (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	If a time interval is an instance of the day a positive integer and another time interval is an instance of the day another positive integer and the other positive integer is greater than the positive integer, then the time interval happens earlier than the other time interval
(=> (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	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity is greater than 12 and the quantity is less than 20, then the entity is an instance of teenager holds during the time position
(=> (and (instance ?HARBOR Harbor) (equipmentCount ?HARBOR ShipBerth ?NUM) (greaterThan ?NUM 0)) (capability ShipBerthing path ?HARBOR))	Transportation.kif 2886-2891	If an object is an instance of harbor and the object equipment count ship berth for a quantity and the quantity is greater than 0, then the object is capable of doing ship berthing as a path
(=> (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	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a boiling point of a kind of pure substance and another real number the unit of measure(s) is a melting point of the kind of pure substance and the unit of measure is an instance of UnitOfTemperature and the measure of the entity is a quantity the unit of measure(s) holds during a time interval and the quantity is greater than the other real number and the quantity is less than the real number, then liquid is an attribute of the entity holds during the time interval or there exists a physical such that the time interval overlaps the time of existence of the physical and the physical is an instance of melting and the entity is a patient of a process
(=> (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	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number inch mercury(s) is a barometric pressure of the object and 29.92 is greater than the real number and another real number kelvin degree(s) is a boiling point of the kind of pure substance and the measure of the object is a third real number kelvin degree(s) and the third real number is greater than the other real number, then gas is an attribute of the object
(=> (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	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number kelvin degree(s) is a boiling point of the kind of pure substance and another real number kelvin degree(s) is a melting point of the kind of pure substance and the measure of the object is a third real number kelvin degree(s) and the third real number is greater than the other real number and the third real number is less than the real number, then liquid is an attribute of the object
(=> (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	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number kelvin degree(s) is a melting point of the kind of pure substance and another real number inch mercury(s) is a barometric pressure of the object and the other real number is greater than 29.92 and the measure of the object is a third real number kelvin degree(s) and the third real number is less than the real number, then solid is an attribute of the object
(=> (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	If a time interval is an instance of the year an integer and another time interval is an instance of the year another integer and a time point is equal to the beginning of the time interval and another time point is equal to the beginning of the other time interval and the other integer is greater than the integer, then the time point happens before the other time point
(=> (and (instance ?Y1 (YearFn ?N1)) (instance ?Y2 (YearFn ?N2)) (greaterThan ?N2 ?N1)) (earlier ?Y1 ?Y2))	Merge.kif 8836-8841	If a time interval is an instance of the year an integer and another time interval is an instance of the year another integer and the other integer is greater than the integer, then the time interval happens earlier than the other time interval
(=> (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	If a real number an unit of measure(s) is a length of broad gauge railway of a geographic area and the unit of measure is an instance of UnitOfLength and the real number is greater than 0, then there exists a physical such that the physical is an instance of broad gauge railway and the physical is located at the geographic area
(=> (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	If a real number an unit of measure(s) is a length of dual gauge railway of a geographic area and the unit of measure is an instance of UnitOfLength and the real number is greater than 0, then there exists a physical such that the physical is an instance of dual gauge railway and the physical is located at the geographic area
(=> (and (lengthOfElectrifiedRailway ?AREA ?LENGTH) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY ElectrifiedRailway) (located ?RAILWAY ?AREA))))	Transportation.kif 134-141	If a length measure is a length of electrified railway of a geographic area and the length measure is greater than 0, then there exists a physical such that the physical is an instance of electrified railway and the physical is located at the geographic area
(=> (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	If a real number an unit of measure(s) is a length of expressway system of a geographic area and the unit of measure is an instance of UnitOfLength and the real number is greater than 0, then there exists a physical such that the physical is an instance of expressway and the physical is located at the geographic area
(=> (and (lengthOfMultipleTrackRailway ?AREA ?LENGTH) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY MultipleTrackRailway) (located ?RAILWAY ?AREA))))	Transportation.kif 161-168	If a length measure is a length of multiple track railway of a geographic area and the length measure is greater than 0, then there exists a physical such that the physical is an instance of multiple track railway and the physical is located at the geographic area
(=> (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	If a real number an unit of measure(s) is a length of narrow gauge railway of a geographic area and the unit of measure is an instance of UnitOfLength and the real number is greater than 0, then there exists a physical such that the physical is an instance of narrow gauge railway and the physical is located at the geographic area

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	Open sea is an attribute of an object if and only if for all a physical an entity is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is a length measure and the length measure is greater than 5 nautical mile(s)
(<=> (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	A real number is an average of a list if and only if there exists another list such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all a positive integer if the positive integer is a member of the other list, then there exist a quantity, the quantityMINUSONE,, , another positive integer and a third positive integer such that the quantity is greater than 1 and the quantity is less than or equal to length of the other list and the positive integerth element of the other list is equal to the quantity and the other positive integer is a member of the list and the quantity is equal to the other positive integerth element of the list and the third positive integer is a member of the other list and the quantityMINUSONE is equal to (the quantity and 1) and the quantityMINUSONE is equal to the third positive integerth element of the other list and the positive integer is equal to (the other positive integer and the third positive integer) and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer
(<=> (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (greaterThan ?NUMBER1 ?NUMBER2)))	Merge.kif 1953-1957	A quantity is greater than or equal to another quantity if and only if the quantity is equal to the other quantity or the quantity is greater than the other quantity
(<=> (instance ?NUMBER PositiveRealNumber) (and (greaterThan ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 2009-2013	A quantity is an instance of positive real number if and only if the quantity is greater than 0 and the quantity is an instance of real number
(<=> (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	An object is larger than another object if and only if for all a real number, another real number and an unit of measure if the measure of the object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the unit of measure is an instance of UnitOfLength, then the real number is greater than the other real number
(=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE))	Geography.kif 1695-1700	If flat terrain is an attribute of an object and a land area is a part of the object and a nonnegative real number is a slope gradient of the land area, then 0.005 is greater than the nonnegative real number
(=> (and (attribute ?AREA LowTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.03 ?SLOPE))	Geography.kif 1707-1712	If low terrain is an attribute of an object and a land area is a part of the object and a nonnegative real number is a slope gradient of the land area, then 0.03 is greater than the nonnegative real number
(=> (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	If family-style portions is an attribute of an object and the measure of the object is a physical quantity and family-style portions is not an attribute of another object and the measure of the other object is another physical quantity and the object is an instance of a set or class and the other object is an instance of the set or class, then the physical quantity is greater than the other physical quantity
(=> (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	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist an entity and another entity such that the entity is an instance of zakat and a third entity is an instance of year and the third entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the third entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is a fourth entity and the fourth entity is greater than the currency measure and 0.025 has the modal force of obligation
(=> (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	If oversized is an attribute of an object and the object is an immediate instance of a set or class and the set or class is a subclass of hotel unit, then there exist another object, a physical quantity and another physical quantity such that the other object is an immediate instance of the set or class and the measure of the other object is the physical quantity and the measure of the object is the other physical quantity and the physical quantity is an instance of area measure and the other physical quantity is an instance of area measure and the other physical quantity is greater than the physical quantity
(=> (and (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD) (annualExpendituresOfAreaInPeriod ?AREA ?TOTALAMOUNT ?PERIOD)) (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))	Economy.kif 1544-1548	If a geopolitical area capital expenditures of area in period a currency measure for a kind of time interval and the geopolitical area annual expenditures of area in period another currency measure for a kind of time interval, then the other currency measure is greater than the currency measure
(=> (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	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a time interval is an instance of tremor and the physical system is a patient of the time interval and the amplitude the time interval is a quantity holds during the time interval1 and the amplitude the time interval is another quantity holds during the time interval2 and the time interval1 takes place during the time interval and the time interval2 takes place during the time interval and the time interval1 happens earlier than the time interval2, then the quantity is greater than the other quantity
(=> (and (defaultMaxValue ?R ?ARG ?N) (?R @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) Likely))	Merge.kif 18835-18840	If defaultMaxValue a predicate, a positive integer and a quantity and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the statement the quantity is greater than the other entity has the modal force of likely
(=> (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	If the maximum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number has the modal force of unlikely
(=> (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	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitMeasure and the unit of measure is an instance of the set or class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the set or class and the real numberUANTITY the third entity(s) is greater than the real number the unit of measure(s) has the modal force of unlikely
(=> (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	If the maximum expected radium of a kind of object is a length measure and another object is an instance of a kind of object and sphere is an attribute of the other object, then the statement the radius of the other object is the length measureADIUS and the length measureADIUS is greater than the length measure has the modal force of unlikely
(=> (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	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number and 1.5 has the modal force of unlikely
(=> (and (defaultMinValue ?R ?ARG ?N) (?R @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely))	Merge.kif 18820-18825	If defaultMinValue a predicate, a positive integer and a quantity and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the statement the other entity is greater than the quantity has the modal force of likely
(=> (and (effectiveDose ?AGENT ?NUMBER1) (lethalDose ?AGENT ?NUMBER2)) (greaterThan ?NUMBER2 ?NUMBER1))	WMD.kif 812-816	If a function quantity is an effective dose of a kind of biochemical agent and another function quantity is a lethal dose of a kind of biochemical agent, then the other function quantity is greater than the function quantity
(=> (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	If the idle speed of an internal combustion engine is the rotation of a rotating during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the other object is a part of the object and a third object is an instance of Crankshaft and the third object is a part of the object and the measure of the third object is the rotation of another rotating during the time duration, then the statement the other rotating is greater than the rotating has the modal force of likely
(=> (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	If an agent is an evening phone of a symbolic string and a kind of day is an instance of day, then there exists a telephone such that the telephone is a phone number of the symbolic string and the agent possesses the telephone holds during the hour the symbolic string and the symbolic string is greater than 18
(=> (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	If the maximum speed allowed by a governor is a function quantity and a real number is equal to the probability of the measure of the governor is the per of a physical quantity and another physical quantity and another real number is equal to the probability of the measure of the governor is the per of a third physical quantity and a fourth physical quantity and the per of the physical quantity and the other physical quantity is greater than the per of the third physical quantity and the fourth physical quantity, then the other real number is greater than the real number
(=> (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	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
(=> (and (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)) (holdsDuring ?TIME (annualExpendituresOfArea ?AREA ?TOTALAMOUNT))) (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))	Economy.kif 1562-1566	If a quantity is a capital expenditures of area of an entity holds during a time position and another quantity is an annual expenditures of area of the entity holds during the time position, then the other quantity is greater than the quantity
(=> (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	If an object is an immediate instance of an entity and another object is an immediate instance of the entity and oversized is an attribute of the object, then there exist the objectSIZE and the other objectSIZE such that the measure of the object is the objectSIZE and the measure of the other object is the other objectSIZE and the objectSIZE is greater than the other objectSIZE

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: