greaterThan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1896-1897
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1893-1895
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1890-1890	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 1891-1891	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 1884-1884	greater than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1887-1887	greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1888-1888	greater than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1885-1885	greater than is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1886-1886	greater than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1892-1892	greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1889-1889	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 4382-4382	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 82-82
No TPTP formula. May not be expressible in strict first order.	french_format.kif 77-77
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 121-121
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 29-29
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 27-27
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 77-77
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 127-127
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 161-161
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 248-248
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 112-112	"大于" is the printable form of greater than in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4843-4843	"greater than" is the printable form of greater than in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 477-477	"«أكْبَر من»" is the printable form of greater than in ar
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 249-249	"mas malaki sa" is the printable form of greater than in tg

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 952-956	A financial account is an instance of personal account and the number of instances in the class described by a cognitive agent is greater than 1 if and only if the financial account is an instance of joint account
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6821-6830	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 843-856	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a tremor is an instance of tremor and the physical system is a patient of the tremor and the amplitude the tremor is a length measure holds during the tremor1 and the amplitude the tremor is another length measure holds during the tremor2 and the tremor1 takes place during the tremor and the tremor2 takes place during the tremor and the tremor1 happens earlier than the tremor2, then the length measure is greater than the other length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15495-15512	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.	Transportation.kif 1017-1022	If a merchant marine fOC ships by origin a geopolitical area for a nonnegative integer and the nonnegative integer is greater than 0 and an entity is a marine inventory of the merchant marine, then the entity is an instance of flag of convenience register
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2906-2920	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 438-448	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.	Mid-level-ontology.kif 492-498	If an object is an instance of human and the age of the object is a real number year duration(s) holds during an entity and the real number is greater than 12 and the real number is less than 20, then the object is an instance of teenager holds during the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2858-2863	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.	Robot.kif 27-45	If a CarryBot is an instance of CarryBot and an object is an instance of another kind of object and another kind of object is a subclass of object and the CarryBot can carry things a length measure wide and the maximum expected length of the other kind of object is another length measure and the maximum expected width of the other kind of object is a third length measure and the maximum expected height of the other kind of object is a fourth length measure and the other length measure is greater than the length measure and the third length measure is greater than the length measure and the fourth length measure is greater than the length measure or the maximum expected radium of the other kind of object is a fifth length measure and the fifth length measure and 2 is greater than the length measure, then not the CarryBot can carry the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13717-13732	If an object 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 object 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 object 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 object is a patient of a process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13650-13659	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 13661-13670	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 13672-13681	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.	Robot.kif 54-78	If a CarryBot can carry objects up to a length measure long and an object is an instance of another kind of object and another kind of object is a subclass of object and the maximum expected length of the other kind of object is another length measure and the maximum expected width of the other kind of object is a third length measure and the maximum expected height of the other kind of object is a fourth length measure or the other length measure is greater than the length measure and the third length measure is greater than the length measure or the other length measure is greater than the length measure and the fourth length measure is greater than the length measure or the third length measure is greater than the length measure and the fourth length measure is greater than the length measure or the maximum expected radium of the other kind of object is a fifth length measure and the fifth length measure and 2 is greater than the length measure and 2, then not the CarryBot can carry the object
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 540-548	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 514-522	If a real number an unit of measure(s) is a length of paved highway 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 surfaced roadway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 271-279	If a real number an unit of measure(s) is a length of standard 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 standard 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 4409-4416	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)
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 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1930-1934	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 1986-1990	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 7914-7922	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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 a process and a physical such that the process is an instance of zakat and a time interval is an instance of year and the time interval takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the time interval and the agent is an agent of the process and the physical is a patient of the process and value of the physical is another currency measure and the other currency measure 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 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
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 843-856	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a tremor is an instance of tremor and the physical system is a patient of the tremor and the amplitude the tremor is a length measure holds during the tremor1 and the amplitude the tremor is another length measure holds during the tremor2 and the tremor1 takes place during the tremor and the tremor2 takes place during the tremor and the tremor1 happens earlier than the tremor2, then the length measure is greater than the other length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18693-18698	If defaultMaxValue an entity, a positive integer and a quantity and the entity @ARGS and another quantity is equal to the positive integerth element of (@ARGS), then the statement the quantity is greater than the other quantity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 213-222	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 another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object 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.	DimensioningAmenities.kif 223-234	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 another object, the real numberUANTITY and another unit of measure such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the other unit of measure(s) and the other unit of measure is an instance of the set or class and the real numberUANTITY the other unit of measure(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.	DimensioningAmenities.kif 168-176	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
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 242-251	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 another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object 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 18679-18684	If defaultMinValue an entity, a positive integer and a quantity and the entity @ARGS and another quantity is equal to the positive integerth element of (@ARGS), then the statement the other quantity is greater than the quantity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2612-2625	If the idle speed of an internal combustion engine is the rotation of a quantity 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 quantity during the time duration, then the statement the other quantity is greater than the quantity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2906-2920	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28357-28378	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 currency measure is a capital expenditures of area of a geopolitical area holds during an entity and another currency measure is an annual expenditures of area of the geopolitical area holds during the entity, then the other currency measure is greater than the currency measure
No TPTP formula. May not be expressible in strict first order.	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: