TreeView Knowledge Base Browser - greaterThanOrEqualTo

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 1821-1823
(domain greaterThanOrEqualTo 1 RealNumber)	Merge.kif 1817-1817	The number 1 argument of greater than or equal to is an instance of real number
(domain greaterThanOrEqualTo 2 RealNumber)	Merge.kif 1818-1818	The number 2 argument of greater than or equal to is an instance of real number
(instance greaterThanOrEqualTo BinaryPredicate)	Merge.kif 1813-1813	greater than or equal to is an instance of binary predicate
(instance greaterThanOrEqualTo PartialOrderingRelation)	Merge.kif 1814-1814	greater than or equal to is an instance of partial ordering relation
(instance greaterThanOrEqualTo RelationExtendedToQuantities)	Merge.kif 1815-1815	greater than or equal to is an instance of relation extended to quantities
(inverse greaterThanOrEqualTo lessThanOrEqualTo)	Merge.kif 1819-1819	greater than or equal to is an inverse of less than or equal to
(trichotomizingOn greaterThanOrEqualTo RealNumber)	Merge.kif 1816-1816	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
(termFormat ChineseLanguage greaterThanOrEqualTo "大于或等于")	chinese_format.kif 114-114
(termFormat ChineseTraditionalLanguage greaterThanOrEqualTo "大於或等於")	domainEnglishFormat.kif 26528-26528
(termFormat EnglishLanguage greaterThanOrEqualTo "greater than or equal to")	domainEnglishFormat.kif 26527-26527

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 7185-7195	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
(<=> (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (greaterThan ?NUMBER1 ?NUMBER2)))	Merge.kif 1825-1829	A real number is greater than or equal to another real number if and only if the real number is equal to the other real number or the real number is greater than the other real number
(=> (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 2083-2093	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 2095-2109	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 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 real number and the other real number the unit of measure(s)
(=> (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 13594-13607	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 UnitOfTemperature 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 1321-1328	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 2168-2179	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 UnitOfArea 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 2181-2199	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 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 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 2128-2139	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 UnitOfArea 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 2141-2155	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 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 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 1161-1174	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 1105-1115	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 1866-1870	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 ?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 18094-18104	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 18110-18120	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 18126-18136	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 1117-1137	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 1423-1429	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)) (forall (?PATH2) (=> (and (instance ?PATH2 (GraphPathFn ?NODE1 ?NODE2)) (equal (PathWeightFn ?PATH2) ?NUMBER2)) (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))))	Merge.kif 5920-5929	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, 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 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 1445-1457	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 1426-1438	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 1407-1419	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 917-925	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
(=> (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 906-915	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
(=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))	Mid-level-ontology.kif 7714-7721	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 ?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 13584-13592	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 UnitOfTemperature, then the other real number is greater than or equal to the real number
(=> (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) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?Sub) (meetsSpatially ?C ?MBR))))))	Geography.kif 6830-6850	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
(=> (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) (and (instance ?F2 Fuel) (contains ?CC ?F2) (measure ?F2 (MeasureFn ?N2 ?M)) (greaterThanOrEqualTo ?N2 ?N1))))))	Cars.kif 2811-2830	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 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 doesn't exist the entity2 such that the entity2 is an instance of fuel and the other object contains the entity2 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
(=> (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 988-997	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
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration))) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 975-986	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, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is greater than or equal to the real number
(=> (and (instance ?ELECTION PopularElection) (electionWinner ?ELECTION ?POSITION ?PERSON1) (voteFractionReceived ?ELECTION ?POSITION ?PERSON1 ?NUMBER1)) (not (exists (?PERSON2 ?NUMBER2) (and (voteFractionReceived ?ELECTION ?POSITION ?PERSON2 ?NUMBER2) (not (equal ?PERSON1 ?PERSON2)) (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1)))))	Government.kif 1867-1877	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
(=> (and (instance ?H Hurricane) (instance ?SS SSHWSAttribute) (eventLocated ?H ?AREA) (believes ?A (property ?H ?SS)) (speedScaleAttributeMinMax ?SS (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?WIND) (and (greaterThanOrEqualTo ?WIND ?MIN) (lessThanOrEqualTo ?WIND ?MAX) (believes ?A (equal (MeasureFn ?WIND ?U) (Mean1MinuteWindSpeedFn ?AREA (WhenFn ?H)))))))	Weather.kif 2364-2383	If a process is an instance of hurricane and a speed scale attribute is an instance of Saffir Simpson Hurrican wind scale and the process is located at 2 and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the cognitive agentREA
(=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThanOrEqualTo ?WIDTH 1.435))	Transportation.kif 427-433	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is greater than or equal to 1.435
(=> (and (instance ?SHIP MerchantMarineShip) (measure ?SHIP (MeasureFn ?GRT RegistryTon))) (greaterThanOrEqualTo ?GRT 1000))	Transportation.kif 1029-1033	If a physical is an instance of merchant marine ship and the measure of the physical is a real number registry ton(s), then the real number is greater than or equal to 1000
(=> (and (instance ?T Tornado) (instance ?EF EFScaleAttribute) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF)) (speedScaleAttributeMinMax ?EF (MeasureFn ?MIN MilesPerHour) (MeasureFn ?MAX MilesPerHour))) (exists (?GUST) (and (greaterThanOrEqualTo ?GUST ?MIN) (lessThanOrEqualTo ?GUST ?MAX) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T)))))))	Weather.kif 2095-2113	If a process is an instance of tornado and a speed scale attribute is an instance of enhanced fuijita scale attribute and the process is located at 2 and a cognitive agent believes the process the attribute the speed scale attribute and a real number miles per hour(s) and another real number miles per hour(s) are the min and max speed of the speed scale attribute, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the cognitive agentREA
(=> (and (instance ?UNIT UnitOfLength) (lengthOfExpresswaySystem ?AREA (MeasureFn ?LENGTH1 ?UNIT)) (lengthOfPavedHighway ?AREA (MeasureFn ?LENGTH2 ?UNIT))) (greaterThanOrEqualTo ?LENGTH2 ?LENGTH1))	Transportation.kif 587-592	If an unit of measure is an instance of UnitOfLength and a real number the unit of measure(s) is a length of expressway system of a geographic area and another real number the unit of measure(s) is a length of paved highway of the geographic area, then the other real number is greater than or equal to the real number
(=> (and (instance ?W Wind) (instance ?BN BeaufortNumberAttribute) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN)) (speedScaleAttributeMinMax ?BN (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?SPEED) (and (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED ?U))))))	Weather.kif 349-366	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute and the process is located at 2 and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is a surface wind speed of the cognitive agentREA

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 1077-1088	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 1145-1159	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 872-881	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) (instance ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 895-906	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 1963-1963

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

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

KB Term:			Term intersection

English Word: