greaterThan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1731-1732
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1792-1794
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1788-1788	The number 1 argument of greater than is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1789-1789	The number 2 argument of greater than is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1782-1782	greater than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1785-1785	greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1786-1786	greater than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1783-1783	greater than is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1784-1784	greater than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1790-1790	greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1787-1787	greater than is trichotomizing on real number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4575-4575	Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.	english_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 112-112
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26523-26523
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26522-26522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26521-26521

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7156-7167	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.0 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1375-1382	If desert climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 18.0, then subtropical desert climate zone is a climate type in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	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 an entity is an instance of UnitOfLength and the amplitude the time interval is another real number the entity(s) holds during the time interval1 and the amplitude the time interval is a third real number the entity(s) 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 other real number is greater than the third real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15233-15250	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3206-3213	If a real number is equal to the average of the numbers in a list and length of the list is greater than 0, then the real number is equal to the sum of the list and length of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3187-3197	If a real number is equal to the sum of a list and length of the list is greater than 1, then the real number is equal to (the first of the list and the sum of the sub-list from 2 to length of the list of the list)
No TPTP formula. May not be expressible in strict first order.	Media.kif 3056-3077	If a symbolic string is equal to the reverse of another symbolic string and a nonnegative integer is equal to the length of the other symbolic string and the nonnegative integer is greater than 1 and another nonnegative integer is greater than 0 and the other nonnegative integer is less than the nonnegative integer and an integer is equal to the ceiling of (the nonnegative integer and 1) and 2 and the other nonnegative integerEW is equal to ((the integer and the other nonnegative integer) and the integer) and a third symbolic string is equal to the sub-string of the other symbolic string from the other nonnegative integer to (1 and the other nonnegative integer), then the third symbolic string is equal to the sub-string of the symbolic string from the other nonnegative integerEW to (1 and the other nonnegative integerEW)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3118-3130	If a list is equal to the sub-list from a positive integer to an integer of another list and (the integer and the positive integer) is greater than 1, then the list is equal to the list composed of (the positive integerth element of the other list) and the sub-list from (1 and the positive integer) to the integer of the other list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1452-1464	If a real number is equal to VarianceAverageFn of a list with the mean of a number and length of the list is greater than 1, then the real number is equal to (VarianceAverageFn of 1th element of the list with the mean of the number and VarianceAverageFn of the sub-list from 2 to length of the list of the list with the mean of the number)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1070-1075	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2884-2902	If the maximum speed allowed by a governor is a function quantity and a real number miles per hour(s) is equal to a length measure per a time duration and another real number miles per hour(s) is equal to another length measure per another time duration and the real number is greater than the other real number and the real numberPROB is equal to the probability of the measure of the governor is the real number miles per hour(s) and the other real numberPROB is equal to the probability of the measure of the governor is the other real number miles per hour(s), then the other real numberPROB is greater than the real numberPROB
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1578-1585	If a geographic area is an instance of geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and 10.0 is greater than the real number, then polar climate zone is a climate type in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 437-448	If a process is an instance of auction and an entity is an instance of agent and another entity is an instance of agent and a third entity is an instance of object and an unit of measure is an instance of UnitOfCurrency and the third entity is a patient of the process and the entity bids a real number the unit of measure(s) for the third entity and the other entity bids another real number the unit of measure(s) for the third entity and the real number is greater than the other real number, then the process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8624-8631	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8633-8638	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 335-341	If an entity is an instance of human and the age of the entity is a real number year duration(s) holds during a time position and the real number is greater than 12 and the real number is less than 20, then the entity is an instance of teenager holds during the time position
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2949-2954	If an object is an instance of harbor and the object equipment count ship berth for a real number and the real number is greater than 0, then the object is capable of doing ship berthing as a path
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13616-13631	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 third real number the unit of measure(s) holds during a time interval 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 entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of melting and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1397-1404	If a water area is an instance of surf zone and significantWaveHeight in the water area during the time of existence of the water area is a real number foot length(s). and the real number is greater than 8.0, then RedFlagSwimmingCondition is an attribute of the water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13551-13560	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13562-13571	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13573-13582	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8592-8599	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8601-8606	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 191-199	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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4610-4618	Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a real number nautical mile(s) and the real number is greater than 5.0
No TPTP formula. May not be expressible in strict first order.	People.kif 289-310	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 another real number, the other real numberMINUSONE,, , another positive integer and a third positive integer such that the other real number is greater than 1 and the other real number is less than or equal to length of the other list and the positive integerth element of the other list is equal to the other real number and the other positive integer is a member of the list and the other real number 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 other real numberMINUSONE is equal to (the other real number and 1) and the other real numberMINUSONE 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1825-1829	A real number is greater than or equal to another real number if and only if the real number is equal to the other real number or the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1877-1881	A real number is an instance of positive real number if and only if the real number is greater than 0 and the real number is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7662-7670	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1757-1762	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1769-1774	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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1118-1129	If family-style portions is an attribute of an object and the measure of the object is a real number an unit of measure(s) and family-style portions is not an attribute of another object and the measure of the other object is another real number the unit of measure(s) and the object is an instance of a class and the other object is an instance of the class and the unit of measure is an instance of unit of measure, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-212	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, another entity and a third entity such that the entity is an instance of zakat and a fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth 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 fifth entity the third entity(s) and the third entity is an instance of UnitOfCurrency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1164-1179	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of UnitOfArea and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1549-1555	If a geopolitical area capital expenditures of area in period a real number an unit of measure(s) for a kind of time interval and the geopolitical area annual expenditures of area in period another real number the unit of measure(s) for a kind of time interval, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1526-1534	If cold climate zone is a climate type in area of a geographic area and for all a time interval the time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then 10.0 is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1600-1606	If polar typeF climate zone is a climate type in area of a geographic area and a time position is an instance of time position and an entity celsius degree(s) is an air temperature of the geographic area holds during the time position, then 10.0 is greater than the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	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 an entity is an instance of UnitOfLength and the amplitude the time interval is another real number the entity(s) holds during the time interval1 and the amplitude the time interval is a third real number the entity(s) 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 other real number is greater than the third real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18172-18177	If The defalutMaxValue of a predicate with a positive integer arguments is 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13002-13011	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13013-13024	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the 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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12952-12962	If the maximum expected radius of a kind of object is a real number an unit of measure(s) 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 real numberADIUS the unit of measure(s) and the real numberADIUS is greater than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13032-13041	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18155-18160	If The defaultMinValue of a predicate with a positive integer arguments is 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) 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 internal combustion engine is a part of the 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 internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4778-4792	If the greatest common divisor of @ROW is equal to an integer and the integer is not equal to 0, then there doesn't exist another integer such that the other integer is greater than the integer and for all a third integer if the third integer is a member of (@ROW), then the third integer mod the other integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17728-17742	If an organization is equal to the department of a kind of physical in another organization and the organization2 is a part of the organization the other organization and the organization is not equal to the organization2 and an entity is an instance of a kind of physical and a cognitive agent is interested in the entity and the cognitive agent1 is equal to the probability of the organization is an agent of the cognitive agent and the cognitive agent2 is equal to the probability of the organization2 is an agent of the cognitive agent, then the cognitive agent1 is greater than the cognitive agent2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2884-2902	If the maximum speed allowed by a governor is a function quantity and a real number miles per hour(s) is equal to a length measure per a time duration and another real number miles per hour(s) is equal to another length measure per another time duration and the real number is greater than the other real number and the real numberPROB is equal to the probability of the measure of the governor is the real number miles per hour(s) and the other real numberPROB is equal to the probability of the measure of the governor is the other real number miles per hour(s), then the other real numberPROB is greater than the real numberPROB
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23355-23372	If menopause is an attribute of a human holds during a time interval and a real number is a birthdate of the human and another real number is equal to (year duration 49 and the real number) and a third real number is equal to (year duration 52 and the real number) and a time point is equal to the beginning of the time interval, then the statement the time point is greater than the other real number and the third real number is greater than the time point has the modal force of likely

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

KB Term:			Term intersection

English Word: