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 1764-1766
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1760-1760	The number 1 argument of greater than is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1761-1761	The number 2 argument of greater than is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1754-1754	greater than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1757-1757	greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1758-1758	greater than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1755-1755	greater than is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1756-1756	greater than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1762-1762	greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1759-1759	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 4479-4479	Southern ocean comparative area greater than for 2 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 26530-26530
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26529-26529
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26528-26528

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 961-965	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6996-7007	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
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 a quantity the entity(s) holds during the time interval1 and the amplitude the time interval is another quantity 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 quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14396-14413	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 3165-3172	If a number is equal to the average of the numbers in a list and length of the list is greater than 0, then the 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 3146-3156	If a number is equal to the sum of a list and length of the list is greater than 1, then the 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 3038-3059	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 3082-3094	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 number is equal to variance average function another number and a list and length of the list is greater than 1, then the number is equal to (variance average function the other number and 1th element of the list and variance average function the other number and the sub-list from 2 to length of the list of the list)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1059-1064	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 2898-2916	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 1360-1367	If a geographic area is an instance of desert climate zone and a class is a subclass of month and the geographic area average temperature for period the class for a real number celsius degree(s) and the real number is greater than 18, then the geographic area is an instance of subtropical desert climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1546-1553	If a geographic area is an instance of geographic area and a class is a subclass of month and the geographic area average temperature for period the class for a real number celsius degree(s) and 10 is greater than the real number, then the geographic area is an instance of polar climate zone
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8211-8218	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 8220-8225	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 491-497	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2920-2925	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12884-12899	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 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 1396-1404	If a water area is an instance of surf zone and a real number is an instance of length measure and significantWaveHeight in the water area during the time of existence of the water area is the real number foot length(s). and the real number is greater than 8, then RedFlagSwimmingCondition is an attribute of the water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12819-12828	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 12830-12839	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 12841-12850	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 8179-8186	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 8188-8193	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

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 4506-4514	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 NaticalMile(s) and the real number is greater than 5
No TPTP formula. May not be expressible in strict first order.	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 number, the numberMINUSONE,, , another positive integer and a third positive integer such that the number is greater than 1 and the 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 number and the other positive integer is a member of the list and the 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 numberMINUSONE is equal to (the number and 1) and the 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 1797-1801	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1849-1853	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7384-7392	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 1725-1730	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 1737-1742	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 1151-1166	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 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
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 a quantity the entity(s) holds during the time interval1 and the amplitude the time interval is another quantity 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 quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17125-17130	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 11164-11173	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 11174-11185	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 11119-11127	If the maximum expected radius 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11193-11202	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 17109-17114	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.	WMD.kif 816-820	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2599-2617	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.	Mid-level-ontology.kif 16070-16084	If an organization is equal to the department of a kind of physical in another organization and the organization2 は組織 the other organization の一部では %n 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.	FinancialOntology.kif 3649-3657	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2898-2916	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 28839-28860	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
No TPTP formula. May not be expressible in strict first order.	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

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: