TreeView Knowledge Base Browser - greaterThanOrEqualTo

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1735-1736
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1794-1796
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1790-1790	The number 1 argument of greater than or equal to is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1791-1791	The number 2 argument of greater than or equal to is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1786-1786	greater than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1787-1787	greater than or equal to is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1788-1788	greater than or equal to is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1792-1792	greater than or equal to is an inverse of less than or equal to
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1789-1789	greater than or equal to is trichotomizing on real number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 113-113
No TPTP formula. May not be expressible in strict first order.	english_format.kif 113-113
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 114-114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26469-26469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26468-26468

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6928-6938	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 the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1798-1802	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.	Geography.kif 2040-2047	If a number is an arable land area of a geographic area and the number is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea and a constant quantity is equal to the number and the real number the unit of measure(s), then the constant quantity is an arable land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2049-2059	If a number is an arable land area of a geographic area and the number is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea, then there exists another geographic area such that the other geographic area is an instance of arable land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the number and the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2031-2038	If a number is an arable land area of a geographic area and the number is greater than or equal to 0 and another number is a total area of the geographic area and the other number is an instance of area measure and a third number is equal to the number and the other number, then the third number is an arable land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1965-1983	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a currency measure is a limit price of the financial transaction and an agent bids another currency measure for the security and the other currency measure is greater than or equal to the currency measure, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12847-12860	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the measure of the entity is a quantity the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the quantity is greater than or equal to the real number, then gas 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 boiling and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1300-1307	If a geographic area is an instance of tropical climate zone and for all a month and a length measure if the geographic area average rainfall for period the month for the length measure, then the length measure is greater than or equal to 60 one thousandth of a meter(s) , then the geographic area is an instance of wet tropical climate zone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 357-363	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 or equal to 18, then the entity is an instance of human adult holds during the time position
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2130-2137	If a number is an other land use area of a geographic area and the number is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea and a constant quantity is equal to the number and the real number the unit of measure(s), then the constant quantity is an other land use area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2139-2151	If a number is an other land use area of a geographic area and the number is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea, then there exists another geographic area such that the other geographic area is an instance of land area and the other geographic area is not an instance of arable land and the other geographic area is not an instance of permanent crop land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the number and the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2121-2128	If a number is an other land use area of a geographic area and the number is greater than or equal to 0 and another number is a total area of the geographic area and the other number is an instance of area measure and a third number is equal to the number and the other number, then the third number is an other land use area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2088-2095	If a number is a permanent crop land area of a geographic area and the number is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea and a constant quantity is equal to the number and the real number the unit of measure(s), then the constant quantity is a permanent crop land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2097-2107	If a number is a permanent crop land area of a geographic area and the number is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea, then there exists another geographic area such that the other geographic area is an instance of permanent crop land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the number and the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2079-2086	If a number is a permanent crop land area of a geographic area and the number is greater than or equal to 0 and another number is a total area of the geographic area and the other number is an instance of area measure and a third number is equal to the number and the other number, then the third number is a permanent crop land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1136-1147	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a time duration is a suffrage age minimum of the nation and the age of the human is another time duration and the other time duration is greater than or equal to the time duration and an election is an instance of the election of the nation, then there exists a process such that the process is an instance of the voting of the election and the human is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1086-1094	If universal suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a time duration is a suffrage age minimum of the nation and the age of the human is another time duration and the other time duration is greater than or equal to the time duration and an election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1839-1843	A quantity is an instance of nonnegative real number if and only if the quantity is greater than or equal to 0 and the quantity is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6298-6302	A quantity is an instance of the interval from a constant quantity to another constant quantity if and only if the quantity is greater than or equal to the constant quantity and the quantity is less than or equal to the other constant quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16444-16455	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 time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 2 year duration(s) and the time position is less than 3 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16461-16472	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 time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 3 year duration(s) and the time position is less than 4 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16478-16489	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 time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 1 year duration(s) and the time position is less than 2 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Government.kif 1096-1114	If a human is a citizen of a nation and universal suffrage law is a sub-proposition of the regional law of the nation, then the regional law of the nation allows the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity is a suffrage age minimum of the nation and the age of the human is the other entity and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5712-5721	If the lowest cost path between a graph node and another graph node is equal to a graph path and the value of the graph path is equal to a number, then for all the graph path2 if the graph path2 is an instance of the set of paths between the graph node and the other graph node and the value of the graph path2 is equal to another number, then the other number is greater than or equal to the number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1432-1443	If an object is an instance of airport and long runway airport is an attribute of the object, then there exist another object and a quantity 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 quantity and the quantity is greater than or equal to 2438 meter(s) or the quantity is less than or equal to 3047 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1414-1425	If an object is an instance of airport and medium length runway airport is an attribute of the object, then there exist another object and a quantity 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 quantity and the quantity is greater than or equal to 1524 meter(s) or the quantity is less than or equal to 2437 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1396-1407	If an object is an instance of airport and short runway airport is an attribute of the object, then there exist another object and a quantity 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 quantity and the quantity is greater than or equal to 914 meter(s) or the quantity is less than or equal to 1523 meter(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 528-536	If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at 2 and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 517-526	If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at 2, 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 greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7769-7774	If a geopolitical area is an instance of geopolitical area and a group of people is equal to the citizenry of the geopolitical area and another group of people is equal to the resident of the geopolitical area, then the other group of people is greater than or equal to the group of people
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1393-1398	If a geographic area is an instance of temperate 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, then the temperature measure is greater than or equal to -3 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 645-655	If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a currency measure, then there exists a financial transaction such that the financial transaction ends up at the currency of the financial account and another currency measure is a transaction amount of the financial transaction and the other currency measure is greater than or equal to the currency measure and a time point is an agreement effective date of the financial account and date of the financial transaction is the time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12837-12845	If a process is an instance of boiling and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the entity is a patient of the process and the measure of the entity is a quantity the unit of measure(s) holds during the time of existence of the process and the unit of measure is an instance of UnitOfTemperature, then the quantity is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6573-6593	If an object is an instance of crystal and mono crystalline is an attribute of the object and a self connected object is an instance of substance and solid is an attribute of the self connected object and poly crystalline is an attribute of the self connected object and another self connected object is an instance of substance and the other self connected object is a surface of the self connected object and the object is not a part of the other self connected object, then there exists the objectLNT such that the objectLNT is an instance of collection and an integer is a member count of the objectLNT and the integer is greater than or equal to 4 and if another object is a member of the objectLNT, then the other object is a part of the self connected object and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2796-2815	If an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and an entity is an instance of fuel and another entity is an instance of UnitOfVolume and the other object は the entity を contains %n{ない} and the measure of the entity is a third entity the other entity(s) and engine flooded is an attribute of the object holds during a time position, then the other object purpose there doesn't exist the entity2 such that the entity2 is an instance of fuel and the other object は the entity2 を contains %n{ない} and the measure of the entity2 is a fifth entity the other entity(s) and the fifth entity is greater than or equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 983-990	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a time duration is a suffrage age minimum of the agent and the age of the other agent is another time duration, then the other time duration is greater than or equal to the time duration
No TPTP formula. May not be expressible in strict first order.	Government.kif 972-981	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a time duration is a suffrage age minimum of the agent, then there exists another time duration such that the age of the other agent is the other time duration and the other time duration is greater than or equal to the time duration
No TPTP formula. May not be expressible in strict first order.	Government.kif 1836-1846	If an election is an instance of popular election and the election is election winner a social role for an agent and the election is vote fraction received the social role for the agent with a real number, then there don't exist another agent and another real number such that the election is vote fraction received the social role for the other agent with the other real number and the agent is not equal to the other agent and the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1438-1443	If an agreement is an instance of bank term loan and a time interval is an agreement period of the agreement and duration of the time interval is a real number year duration(s), then the real number is greater than or equal to 1
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 423-428	If a railway is an instance of railway and the railway the attribute standard gauge and a length measure is a track width of the railway, then the length measure is greater than or equal to 1.435 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1018-1022	If an object is an instance of merchant marine ship and the measure of the object is a real number registry ton(s), then the real number is greater than or equal to 1000
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3682-3693	If a financial transaction is an instance of financial transaction and the financial transaction originates at the currency of a financial account and a currency measure is a transaction amount of the financial transaction and an entity is an instance of currency and the entity is a patient of the financial transaction and date of the financial transaction is a day, then there exists another currency measure such that the available cash of the financial account on the day is the other currency measure and the currency measure is greater than or equal to the other currency measure

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.	Government.kif 1062-1071	For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then ?AGENT is capable of doing the voting of ?ELECTION as a agent contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order.	Government.kif 1122-1134	For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING contains information compulsory suffrage law
No TPTP formula. May not be expressible in strict first order.	Military.kif 867-876	The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 890-901	The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Media.kif 1967-1967	The number of instances in TwelveApostles is greater than or equal to 11
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6835-6837	A real number month duration(s) is greater than or equal to the real number and 28 day duration(s)

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: