greaterThanOrEqualTo - Sigma Knowledge base Browser

appearance as argument number 1

(documentation greaterThanOrEqualTo ChineseLanguage "(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的 Quantity 多于或者等于 ?NUMBER2 的 Quantity。")	chinese_format.kif 1735-1736
(documentation greaterThanOrEqualTo EnglishLanguage "(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than or equal to the Quantity ?NUMBER2.")	Merge.kif 1874-1876
(documentation greaterThanOrEqualTo JapaneseLanguage "(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1が Quantity ?NUMBER2以上の場合に当てはまる。")	japanese_format.kif 343-344
(domain greaterThanOrEqualTo 1 RealNumber)	Merge.kif 1870-1870	The number 1 argument of greater than or equal to is an instance of real number
(domain greaterThanOrEqualTo 2 RealNumber)	Merge.kif 1871-1871	The number 2 argument of greater than or equal to is an instance of real number
(instance greaterThanOrEqualTo BinaryPredicate)	Merge.kif 1866-1866	greater than or equal to is an instance of binary predicate
(instance greaterThanOrEqualTo PartialOrderingRelation)	Merge.kif 1867-1867	greater than or equal to is an instance of partial ordering relation
(instance greaterThanOrEqualTo RelationExtendedToQuantities)	Merge.kif 1868-1868	greater than or equal to is an instance of relation extended to quantities
(inverse greaterThanOrEqualTo lessThanOrEqualTo)	Merge.kif 1872-1872	greater than or equal to is an inverse of less than or equal to
(trichotomizingOn greaterThanOrEqualTo RealNumber)	Merge.kif 1869-1869	greater than or equal to is trichotomizing on real number

appearance as argument number 2

(format ChineseLanguage greaterThanOrEqualTo "%1 %n 是 greaterThanOrEqualTo %2")	chinese_format.kif 113-113
(format EnglishLanguage greaterThanOrEqualTo "%1 is %n greater than or equal to %2")	english_format.kif 113-113
(format FrenchLanguage greaterThanOrEqualTo "%1 est %n plus grand ou �gal � %2")	french_format.kif 78-78
(format ItalianLanguage greaterThanOrEqualTo "%1 è %n più grande di o uguale a %2")	relations-it.txt 122-122
(format JapaneseLanguage greaterThanOrEqualTo "%1 は %2 greater では　%n")	japanese_format.kif 1905-1905
(format PortugueseLanguage greaterThanOrEqualTo "%1 e' %n maior ou igual a %2")	portuguese_format.kif 30-30
(format cz greaterThanOrEqualTo "%1 %p{je} %n{nen�} v�t�� ne� nebo roven %2")	relations-cz.txt 79-79
(format de greaterThanOrEqualTo "%1 ist groesserAlsOderGleich %2 %n{nicht}")	relations-de.txt 130-130
(format hi greaterThanOrEqualTo "%1 %2 se badaa yaa baraabara %n hai")	relations-hindi.txt 162-162
(format ro greaterThanOrEqualTo "%1 %n{nu} este greater%t{mai mare} sau egal decât %2")	relations-ro.kif 97-97
(format sv greaterThanOrEqualTo "%1 är %n{inte} större än eller lika med %2")	relations-sv.txt 77-77
(format tg greaterThanOrEqualTo "%1 %n ay mas malaki sa o pareho sa %2")	relations-tg.txt 250-250
(termFormat ChineseLanguage greaterThanOrEqualTo "大于或等于")	chinese_format.kif 114-114
(termFormat ChineseTraditionalLanguage greaterThanOrEqualTo "大於或等於")	domainEnglishFormat.kif 26565-26565
(termFormat EnglishLanguage greaterThanOrEqualTo "greater than or equal to")	domainEnglishFormat.kif 26564-26564
(termFormat de greaterThanOrEqualTo "groesserAlsOderGleich")	terms-de.txt 38-38
(termFormat tg greaterThanOrEqualTo "mas malaki sa o pareho sa")	relations-tg.txt 251-251

antecedent

(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThanOrEqualTo ?S 2.5)) (exists (?PM25) (and (instance ?PM25 FineParticulateMatter) (part ?PM25 ?PM))))	Geography.kif 7537-7547	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
(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?TOTAL AreaMeasure) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (arableLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 2068-2078	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the other real number is an instance of area measure and a third real number is equal to the real number and the other real number, then the third real number the unit of measure(s) is an arable land area of the geographic area
(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?ARABLE) (and (instance ?ARABLE ArableLand) (geographicSubregion ?ARABLE ?REGION) (measure ?ARABLE (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2080-2094	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, 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 real number and the other real number the unit of measure(s)
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (bidPrice ?Object (MeasureFn ?Price ?U) ?Time) (instance ?U UnitOfCurrency) (greaterThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 2045-2066	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 real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of unit of currency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=> (and (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Gas)) (exists (?BOIL) (and (overlapsTemporally (WhenFn ?BOIL) ?TIME) (instance ?BOIL Boiling) (patient ?BOIL ?SUBSTANCE)))))	Merge.kif 13915-13928	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 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 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
(=> (and (climateTypeInArea ?AREA TropicalClimateZone) (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0)) (climateTypeInArea ?AREA WetTropicalClimateZone))	Geography.kif 1310-1317	If tropical climate zone is a climate type in area of a geographic area and a month is an instance of month and the geographic area average rainfall for period the month for a real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of the geographic area
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (greaterThanOrEqualTo ?N 18)) (holdsDuring ?T1 (instance ?H HumanAdult)))	Mid-level-ontology.kif 212-218	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 or equal to 18, then the entity is an instance of human adult holds during the time position
(=> (and (otherLandUseArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (otherLandUseArea ?REGION (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 2153-2164	If a real number an unit of measure(s) is an other land use area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area and a third real number is equal to the real number and the other real number, then the third real number the unit of measure(s) is an other land use area of the geographic area
(=> (and (otherLandUseArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?OTHER) (and (instance ?OTHER LandArea) (not (instance ?OTHER ArableLand)) (not (instance ?OTHER PermanentCropLand)) (geographicSubregion ?OTHER ?REGION) (measure ?OTHER (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2166-2184	If a real number an unit of measure(s) is an other land use area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, 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 real number and the other real number the unit of measure(s)
(=> (and (permanentCropLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (permanentCropLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 2113-2124	If a real number an unit of measure(s) is a permanent crop land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area and a third real number is equal to the real number and the other real number, then the third real number the unit of measure(s) is a permanent crop land area of the geographic area
(=> (and (permanentCropLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?PERMCROP) (and (instance ?PERMCROP PermanentCropLand) (geographicSubregion ?PERMCROP ?REGION) (measure ?PERMCROP (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2126-2140	If a real number an unit of measure(s) is a permanent crop land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, 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 real number and the other real number the unit of measure(s)
(=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))	Government.kif 1138-1151	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 real number year duration(s) is a suffrage age minimum of the nation and the age of the human is another real number year duration(s) and the other real number is greater than or equal to the real number 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
(=> (and (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))	Government.kif 1082-1092	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 real number year duration(s) is a suffrage age minimum of the nation and the age of the human is another real number year duration(s) and the other real number is greater than or equal to the real number 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

(<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1920-1924	A real number is an instance of nonnegative real number if and only if the real number is greater than or equal to 0 and the real number is an instance of real number
(=> (and (attribute ?H Healthy) (restingBreathingRate ?H ?R)) (and (greaterThanOrEqualTo ?R 12) (greaterThanOrEqualTo 16 ?R)))	Medicine.kif 347-353	If healthy is an attribute of a mammal and the resting breathing rate of the mammal is an integer, then the integer is greater than or equal to 12 and 16 is greater than or equal to the integer
(=> (and (attribute ?P CollegeJunior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 2) (lessThan ?T 3))))	Mid-level-ontology.kif 19832-19842	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
(=> (and (attribute ?P CollegeSenior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 3) (lessThan ?T 4))))	Mid-level-ontology.kif 19848-19858	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
(=> (and (attribute ?P CollegeSophomore) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 1) (lessThan ?T 2))))	Mid-level-ontology.kif 19864-19874	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
(=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1094-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 year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) 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
(=> (and (climateTypeInArea ?AREA TemperateClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))) (greaterThanOrEqualTo ?TEMP -3.0))	Geography.kif 1413-1419	If temperate climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then the real number is greater than or equal to -3.0
(=> (and (equal (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH) (equal (PathWeightFn ?PATH) ?NUMBER1) (instance ?PATH2 (GraphPathFn ?NODE1 ?NODE2)) (equal (PathWeightFn ?PATH2) ?NUMBER2)) (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))	Merge.kif 6013-6019	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 real number and 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 real number, then the other real number is greater than or equal to the real number
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT LongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 2438) (lessThanOrEqualTo ?LENGTH 3047)))))	Transportation.kif 1574-1586	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 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 greater than or equal to 2438 or the real number is less than or equal to 3047
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT MediumLengthRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 1524) (lessThanOrEqualTo ?LENGTH 2437)))))	Transportation.kif 1555-1567	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 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 greater than or equal to 1524 or the real number is less than or equal to 2437
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT ShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 914) (lessThanOrEqualTo ?LENGTH 1523)))))	Transportation.kif 1536-1548	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 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 greater than or equal to 914 or the real number is less than or equal to 1523
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (and (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7)))	Weather.kif 901-909	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 the region 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
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7))))	Weather.kif 890-899	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 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 greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7
(=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))	Mid-level-ontology.kif 8818-8825	If a geopolitical area is an instance of geopolitical area and an integer is equal to the number of instances in the citizenry of the geopolitical area and another integer is equal to the number of instances in the resident of the geopolitical area, then the other integer is greater than or equal to the integer
(=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account OpeningAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency)) (exists (?Payment ?Date ?Amount) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment (MeasureFn ?Amount ?U)) (greaterThanOrEqualTo ?Amount ?Balance) (agreementEffectiveDate ?Account ?Date) (date ?Payment ?Date))))	FinancialOntology.kif 686-699	If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency, then there exist a financial transaction, a time point and another real number such that the financial transaction ends up at the currency of the financial account and the other real number the unit of measure(s) is a transaction amount of the financial transaction and the other real number is greater than or equal to the real number and the time point is an agreement effective date of the financial account and date of the financial transaction is the time point
(=> (and (instance ?B CoffeeBean) (attribute ?B DarkRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 225) (lessThanOrEqualTo ?T 245)))	Food.kif 571-578	If a food is an instance of coffee bean and dark roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the real number is greater than or equal to 225 and the real number is less than or equal to 245
(=> (and (instance ?B CoffeeBean) (attribute ?B LightRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 196) (lessThanOrEqualTo ?T 205)))	Food.kif 495-502	If a food is an instance of coffee bean and light roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the real number is greater than or equal to 196 and the real number is less than or equal to 205
(=> (and (instance ?B CoffeeBean) (attribute ?B MediumRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 210) (lessThanOrEqualTo ?T 219)))	Food.kif 533-540	If a food is an instance of coffee bean and medium roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the real number is greater than or equal to 210 and the real number is less than or equal to 219
(=> (and (instance ?BOILING Boiling) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (patient ?BOILING ?SUBSTANCE) (holdsDuring (WhenFn ?BOILING) (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature)) (greaterThanOrEqualTo ?TEMP2 ?TEMP1))	Merge.kif 13905-13913	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 another real number the unit of measure(s) holds during the time of existence of the process and the unit of measure is an instance of unit of temperature, then the other real number is greater than or equal to the real number
(=> (and (instance ?C CoffeeArabica) (measure ?C (MeasureFn ?X Gram)) (instance ?CC Caffeine) (part ?CC ?C) (measure ?CC (MeasureFn ?Y Gram)) (equal ?Z (DivisionFn ?Y ?X))) (and (greaterThanOrEqualTo ?Z 0.008) (lessThanOrEqualTo ?Z 0.014)))	Economy.kif 4855-4868	If an object is an instance of coffee arabica and the measure of the object is a real number gram(s) and the objectC is an instance of caffeine and the objectC is a part of the object and the measure of the objectC is another real number gram(s) and a third real number is equal to the other real number and the real number, then the third real number is greater than or equal to 0.008 and the third real number is less than or equal to 0.014
(=> (and (instance ?C CoffeeRobusta) (measure ?C (MeasureFn ?X Gram)) (instance ?CC Caffeine) (part ?CC ?C) (measure ?CC (MeasureFn ?Y Gram)) (equal ?Z (DivisionFn ?Y ?X))) (and (greaterThanOrEqualTo ?Z 0.017) (lessThanOrEqualTo ?Z 0.04)))	Economy.kif 4879-4892	If an object is an instance of coffee robusta and the measure of the object is a real number gram(s) and the objectC is an instance of caffeine and the objectC is a part of the object and the measure of the objectC is another real number gram(s) and a third real number is equal to the other real number and the real number, then the third real number is greater than or equal to 0.017 and the third real number is less than or equal to 0.04
(=> (and (instance ?C Crystal) (attribute ?C MonoCrystalline) (instance ?SUB Substance) (attribute ?SUB Solid) (attribute ?SUB PolyCrystalline) (instance ?S Substance) (surface ?S ?SUB) (not (part ?C ?S))) (exists (?CLNT ?X ?MBR) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?SUB) (meetsSpatially ?C ?MBR))))))	Geography.kif 7210-7230	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 exist the objectLNT, an integer and another object such that the objectLNT is an instance of collection and the integer is a member count of the objectLNT and the integer is greater than or equal to 4 and if the other 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
(=> (and (instance ?C FlatWhite) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (part ?B ?E) (top ?B ?M) (instance ?B Bubble) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15) (greaterThanOrEqualTo ?L 1.0) (lessThanOrEqualTo ?L 20.0)))	Food.kif 1367-1385	If an object is an instance of flat white and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is a part of the substance and the top of the other substance is the self connected object and the self connected object is an instance of bubble and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the third real number is greater than or equal to 1.0 and the third real number is less than or equal to 20.0
(=> (and (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (instance ?F Fuel) (instance ?M UnitOfVolume) (holdsDuring ?T (and (contains ?CC ?F) (measure ?F (MeasureFn ?N1 ?M)) (attribute ?E EngineFlooded)))) (hasPurpose ?CC (not (exists (?F2 ?N2) (and (instance ?F2 Fuel) (contains ?CC ?F2) (measure ?F2 (MeasureFn ?N2 ?M)) (greaterThanOrEqualTo ?N2 ?N1))))))	Cars.kif 2795-2814	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 unit of volume and the other object contains the entity 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 has the purpose there don't exist the entity2 and a fifth entity such that the entity2 is an instance of fuel and the other object contains the entity2 and the measure of the entity2 is the fifth entity the other entity(s) and the fifth entity is greater than or equal to the third entity
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 965-974	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 real number year duration(s) is a suffrage age minimum of the agent and the age of the other agent is another real number year duration(s), then the other real number is greater than or equal to the real number

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)	Government.kif 1054-1065	For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE year duration(s) 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
(containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?VOTER (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)	Government.kif 1122-1136	For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE year duration(s) 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
(equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 930-939	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
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 953-964	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

(greaterThanOrEqualTo
(CardinalityFn TwelveApostles) 11)

Media.kif 1965-1965

The number of instances in Twelve apostles is greater than or equal to 11

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: