lessThan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1729-1730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1849-1850
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 337-338
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1846-1846	The number 1 argument of less than is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1847-1847	The number 2 argument of less than is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1841-1841	less than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1843-1843	less than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1844-1844	less than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1842-1842	less than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1845-1845	less than is trichotomizing on real number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 141-141
No TPTP formula. May not be expressible in strict first order.	english_format.kif 142-142
No TPTP formula. May not be expressible in strict first order.	french_format.kif 92-92
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 163-163
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1919-1919
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 44-44
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 76-76
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 172-172
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 202-202
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 111-111
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 91-91
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 325-325
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1860-1860	greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 142-142	greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34155-34155	greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34154-34154	greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 52-52	greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 326-326	greater than is an inverse of less than

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7828-7834	A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500.0 is less than the real number if and only if the self connected object is an instance of droplet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3068-3079	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3019-3030	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3032-3043	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3081-3092	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 355-373	If an agent breathes at a rate of an integer breaths per a time interval and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and human adult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12, then healthy is not an attribute of the agent holds during the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 785-790	If a financial account current account balance a day for a real number united states dollar(s) and the real number is less than 0 and equal another real number and (0 and the real number), then the financial account is overdraft the other real number united states dollar(s) for the day
No TPTP formula. May not be expressible in strict first order.	Media.kif 3052-3073	If equal a symbolic string and the reverse of another symbolic string and equal a nonnegative integer and 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 equal an integer and the ceiling of (the nonnegative integer and 1) and 2 and equal the other nonnegative integerEW and ((the integer and the other nonnegative integer) and the integer) and equal a third symbolic string and the sub-string of the other symbolic string from the other nonnegative integer to (1 and the other nonnegative integer), then equal the third symbolic string and 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.	FinancialOntology.kif 703-716	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the financial account current account balance a day for another real number the unit of measure(s) and the other real number is less than the real number, then there exists a process such that the process is an instance of penalizing and date of the process is the day and the process ends up at the currency of the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 761-777	If a liability account is an instance of liability account and the liability account is minimum payment a real number an unit of measure(s) for month duration and the unit of measure is an instance of unit of currency and there exist a process and a time interval such that the time interval is an instance of month and the process ends up at the currency of the liability account and the liability account payments per period another real number the unit of measure(s) for the time interval and the other real number is less than the real number, then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the liability account
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.	Mid-level-ontology.kif 262-267	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 less than 18, then the entity is an instance of human youth holds during the time position
No TPTP formula. May not be expressible in strict first order.	Weather.kif 900-912	If a motion is an instance of occluded front and an object is an instance of air mass and the motion originates at the object and a real number celsius degree(s) is an air temperature of the object and another object is an instance of air mass and another real number celsius degree(s) is an air temperature of the other object and the real number is less than the other real number and the other object moves during the motion, then the object is below to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14016-14031	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 unit of temperature 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.	Merge.kif 14033-14046	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a melting point of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of unit of temperature and the other real number is less than the real number, then solid 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 freezing and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2829-2844	If a self connected object is an instance of ship container and a real number an unit of measure(s) is a capacity of the self connected object and the real number is an instance of unit of mass and the self connected object contains another self connected object and another real number the unit of measure(s) is a weight of the other self connected object and the other real number is less than the real number, then the statement there doesn't exist an entity such that the entity is an instance of damaging and the self connected object is a patient of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3198-3204	If a water area is an instance of waterway and the depth from a physical to the water area is a real number an unit of measure(s) and the unit of measure is an instance of unit of length and another real number is less than the real number, then the other real number the unit of measure(s) is a &avigableForDraft$"navigable" for draft of the water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13962-13971	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 13973-13982	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.	QoSontology.kif 803-819	If the list of processes @ROW and a physical is a member of (@ROW) and another physical is a member of (@ROW) and equal another entity element of (@ROW) and the physical and equal a third entity element of (@ROW) and the other physical and a positive integer is less than another positive integer, then the time of existence of the physical happens earlier than the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	If a cognitive agent sells a kind of entity for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the price of a kind of entity from the cognitive agent according to a pricing scheme is another real number the unit of measure(s) and the pricing scheme is valid for a kind of agent and another entity is an instance of the kind of entity and a process is an instance of buying and another agent is an immediate instance of a kind of agent and the other agent is an agent of the process and the process originates at the cognitive agent and the other real number is less than the real number, then the statement the real number is a transaction amount of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5985-5999	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and an entity has the real number2 the unit of measure(s) of blood holds during a time position and the entity is an instance of a kind of mammal and the real number2 and 2.0 is greater than the real number and the real number2 is less than 0.8 and the real number, then severe blood loss is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5967-5979	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and an entity has the real number2 the unit of measure(s) of blood holds during a time position and the entity is an instance of a kind of mammal and the real number2 and 2.0 is less than the real number, then catastrophic blood loss is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3677-3690	If minimum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3703-3716	If minimum device storagqqqe temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely

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.	People.kif 238-264	A year is an instance of the year an integer and equal the deaths per thousand live births of a geopolitical area and the year and a real number if and only if equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and 1000 and another real number and equal a third integer and the number of instances in the class described by another symbolic string and equal the third integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1959-1963	A real number is an instance of negative real number if and only if the real number is less 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 1877-1881	A real number is less than or equal to another real number if and only if equal the real number and the other real number or the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and female is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and equal the objectE and the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and male is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and equal the objectE and the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 13
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20299-20308	If college freshman is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is less than 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20314-20324	If college junior is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 2 and the real number is less than 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20330-20340	If college senior is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 3 and the real number is less than 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20346-20356	If college sophomore is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 1 and the real number is less than 2
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1148-1156	If probability of comfort food is an attribute of an entity provided that heart_healthy food is an attribute of the entity holds is a real number and probability of comfort food is an attribute of the entity provided that heart_healthy food is not an attribute of the entity holds is another real number, then the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2634-2639	If a formula decreases likelihood of another formula and equal the probability of the other formula and a real number and probability of the formula provided that the other formula holds is another real number, then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14916-14925	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 composite unit of measure, 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 less than the real number and 0.5 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14844-14853	If the minimum 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 composite unit of measure, 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 less 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 14855-14866	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure 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 is less 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 14806-14816	If the minimum 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 there exists the real numberADIUS such that the radius of the other object is the real numberADIUS the unit of measure(s) and the real numberADIUS is less than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4986-5000	If equal the least common multiple of @ROW and an integer and equal the integer and 0, then there doesn't exist another integer such that the other integer is less than the integer and for all a third integer if the third integer is a member of (@ROW), then equal the other integer mod the third integer and 0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5493-5498	If equal a two dimensional angle and acute angle and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is less than 90.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5798-5807	If equal an one dimensional figure and Major arc and the size of a geometric figure is the one dimensional figure and equal the geometric figure and circle sector and a two dimensional angle is the angle found in the geometric figure and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 180 and the real number is less than 360
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5782-5791	If equal an one dimensional figure and minor arc and the size of a geometric figure is the one dimensional figure and equal the geometric figure and circle sector and a two dimensional angle is the angle found in the geometric figure and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 0 and the real number is less than 180
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	If an agent is an instance of agent and a cognitive agent is a potential customer for the agent and the statement an entity is an instance of reserving and the entity ends up at the agent has the modal force of necessity and probability of there exists the entityES1 such that the entityES1 is an instance of reservation and the cognitive agent reserves the entityES1 and the agent fulfills the entityES1 provided that the agent is a customer of the cognitive agent holds is a real number and probability of there doesn't exist the entityES2 such that the entityES2 is an instance of reservation and the cognitive agent reserves the entityES2 and the agent fulfills the entityES2 provided that the agent is a customer of the cognitive agent holds is another real number, then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1520-1529	If an object is an instance of airport and very short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is less than 914
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2065-2079	If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and equal the other geographic area and not the elevation low point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1127-1133	If a region is an instance of geographic area and a process is an instance of clear weather and the process is located at the region and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is less than 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1117-1125	If a region is an instance of geographic area and a process is an instance of clear weather and the process is located at the region, then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is less than 0.3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5143-5153	If a self connected object is an instance of bottle and the bottom of the self connected object is another self connected object and the top of the self connected object is a third self connected object and an unit of measure is an instance of unit of length and the width of the other self connected object is a real number the unit of measure(s) and the width of the third self connected object is another real number the unit of measure(s), then the other real number is less than the real number

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 6124-6131

There don't exist a graph path and another graph path such that the graph path is an instance of the set of paths that partition a graph into two separate graphs and the other graph path is an instance of the set of minimal paths that partition the graph into two separate graphs and the length of the graph path is a positive integer and the length of the other graph path is another positive integer and the positive integer is less than the other positive integer

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: