Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - greaterThanOrEqualTo
greaterThanOrEqualTo

appearance as argument number 1
-------------------------


(instance greaterThanOrEqualTo BinaryPredicate) Merge.kif 1976-1976 greater than or equal to is an instance of binary predicate
(instance greaterThanOrEqualTo PartialOrderingRelation) Merge.kif 1977-1977 greater than or equal to is an instance of partial ordering relation
(instance greaterThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1978-1978 greater than or equal to is an instance of relation extended to quantities
(trichotomizingOn greaterThanOrEqualTo RealNumber) Merge.kif 1979-1979 greater than or equal to is trichotomizing on real number
(domain greaterThanOrEqualTo 1 RealNumber) Merge.kif 1980-1980 The number 1 argument of greater than or equal to is an instance of real number
(domain greaterThanOrEqualTo 2 RealNumber) Merge.kif 1981-1981 The number 2 argument of greater than or equal to is an instance of real number
(inverse greaterThanOrEqualTo lessThanOrEqualTo) Merge.kif 1982-1982 greater than or equal to is an inverse of less than or equal to
(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 1984-1986 greater than or equal to is an inverse of less than or equal to

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage greaterThanOrEqualTo "greater than or equal to") domainEnglishFormat.kif 26540-26540
(termFormat ChineseTraditionalLanguage greaterThanOrEqualTo "大於或等於") domainEnglishFormat.kif 26541-26541
(termFormat ChineseLanguage greaterThanOrEqualTo "大于或等于") domainEnglishFormat.kif 26542-26542
(format EnglishLanguage greaterThanOrEqualTo "%1 is %n greater than or equal to %2") english_format.kif 113-113

antecedent
-------------------------


(=>
    (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 14150-14163 If X Y(s) is a boiling point of Z, W is an instance of Z, the measure of W is V Y(s) holds during U, Y is an instance of unit of temperature, and V is greater than or equal to X, then gas is an attribute of W holds during U or there exists T such that U overlaps the time of existence of T, T is an instance of boiling, and W is a patient of T
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThanOrEqualTo ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanAdult)))		 Mid-level-ontology.kif 202-208 If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is greater than or equal to 18, then X is an instance of human adult holds during Z
(=>
    (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 ?Broker
        (exists (?Sell)
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Sell) ?SellingTime)
                (overlapsTemporally ?SellingTime ?Time)))))		 FinancialOntology.kif 2079-2099 If All of the following hold: (1) limit order is an attribute of X (2) Y is a party to agreement of X (3) broker is an attribute of Y (4) X is order for selling for Z (5) the measure of Z is W (6) V U(s) is a limit price of X (7) T bids S U(s) for Z (8) U is an instance of unit of currency (9) S is greater than or equal to V, then Y is obliged to perform tasks of type there exists R such that R is an instance of selling, Z is a patient of R, the measure of Z is W, equal the time of existence of R, Q, and T overlaps Q
(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))		 Geography.kif 2773-2780 If tropical climate zone is a climate type in area of X, Y is an instance of month, X average rainfall for period Y for Z one thousandth of a meter(s), and Z is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of X
(=>
    (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 3535-3545 If X Y(s) is an arable land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, W is an instance of area measure, and equal V, X, and W, then V Y(s) is an arable land area of Z
(=>
    (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 3547-3561 If X Y(s) is an arable land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, and Y is an instance of unit of area, then there exists V such that V is an instance of arable land and V is a geographic subregion of Z and the measure of V is X and W Y(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 3580-3591 If X Y(s) is a permanent crop land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, Y is an instance of unit of area, and equal V, X, and W, then V Y(s) is a permanent crop land area of Z
(=>
    (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 3593-3607 If X Y(s) is a permanent crop land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, and Y is an instance of unit of area, then there exists V such that V is an instance of permanent crop land and V is a geographic subregion of Z and the measure of V is X and W Y(s)
(=>
    (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 3620-3631 If X Y(s) is an other land use area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, Y is an instance of unit of area, and equal V, X, and W, then V Y(s) is an other land use area of Z
(=>
    (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 3633-3651 If X Y(s) is an other land use area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, and Y is an instance of unit of area, then there exists V such that V is an instance of land area and V is not an instance of arable land and V is not an instance of permanent crop land and V is a geographic subregion of Z and the measure of V is X and W Y(s)
(<=>
    (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 9070-9080 X is an instance of PM and Y is a part of X and the approximate diameter of Y is Z micrometer(s) and Z is greater than or equal to 2.5 if and only if there exists W such that W is an instance of PM2.5 and W is a part of X
(=>
    (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 1091-1101 If All of the following hold: (1) universal suffrage law is a sub-proposition of the regional law of X (2) Y is a citizen of X (3) Z year duration(s) is a suffrage age minimum of X (4) the age of Y is W year duration(s) (5) W is greater than or equal to Z (6) V is an instance of the election of X, then Y is capable of doing the voting of V as a agent
(=>
    (and
        (duration ?T
            (MeasureFn ?P MonthDuration))
        (greaterThanOrEqualTo ?P 5)
        (holdsDuring ?T
            (and
                (equal ?D
                    (SubtractionFn ?S ?L))
                (equal
                    (MeasureFn ?S CelsiusDegree)
                    (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
                (equal
                    (MeasureFn ?L CelsiusDegree)
                    (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
                (greaterThan ?D 0.5))))
    (holdsDuring ?T
        (exists (?EL ?A)
            (and
                (instance ?EL ElNinoPhase)
                (instance ?A GeographicArea)
                (eventLocated ?EL ?A)))))		 Weather.kif 528-549 If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is greater than 0.5 holds during X, then there exist S, R such that S is an instance of El Nino phase, R is an instance of geographic area, and S is located at R holds during X
(=>
    (and
        (duration ?T
            (MeasureFn ?P MonthDuration))
        (greaterThanOrEqualTo ?P 5)
        (holdsDuring ?T
            (and
                (equal ?D
                    (SubtractionFn ?S ?L))
                (equal
                    (MeasureFn ?S CelsiusDegree)
                    (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
                (equal
                    (MeasureFn ?L CelsiusDegree)
                    (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
                (lessThan ?D -0.5))))
    (holdsDuring ?T
        (exists (?LA ?A)
            (and
                (instance ?LA LaNinaPhase)
                (instance ?A GeographicArea)
                (eventLocated ?LA ?A)))))		 Weather.kif 563-584 If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is less than -0.5 holds during X, then there exist S, R such that S is an instance of La Nina phase, R is an instance of geographic area, and S is located at R holds during X
(=>
    (holdsDuring ?T
        (and
            (equal ?D
                (SubtractionFn ?S ?L))
            (equal
                (MeasureFn ?S CelsiusDegree)
                (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
            (equal
                (MeasureFn ?L CelsiusDegree)
                (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
            (greaterThanOrEqualTo ?D -0.5)
            (lessThanOrEqualTo ?D 0.5)))
    (holdsDuring ?T
        (exists (?N ?A)
            (and
                (instance ?N ENSONeutralPhase)
                (instance ?A GeographicArea)
                (eventLocated ?N ?A)))))		 Weather.kif 592-610 If equal X and (Y and Z) and equal Y celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month W year V in region Nino 3.4 and equal Z celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month W in year V of region Nino 3.4 and X is greater than or equal to -0.5 and X is less than or equal to 0.5 holds during U, then there exist T, S such that T is an instance of Enso neutral phase, S is an instance of geographic area, and T is located at S holds during U
(=>
    (and
        (equal ?TEMP
            (ThirtyYearAverageSSTForMonthFn ?W ?M ?Y))
        (instance ?Y
            (YearFn ?I))
        (equal ?YEAR
            (SubtractionFn ?I ?N))
        (greaterThanOrEqualTo ?N 0)
        (lessThan ?N 30)
        (instance ?U UnitOfTemperature)
        (equal
            (MeasureFn ?X ?U)
            (MeanMonthSSTFn ?W ?M
                (YearFn ?YEAR)))
        (inList ?X ?L))
    (equal ?TEMP
        (MeasureFn
            (AverageFn ?L) ?U)))		 Weather.kif 822-839 If All of the following hold: (1) equal X and ThirtyYearAverageSSTForMonthFn for month Y in year Z of region W (2) Z is an instance of the year V (3) equal U and (V and T) (4) T is greater than or equal to 0 (5) T is less than 30 (6) S is an instance of unit of temperature (7) equal R S(s) and MeanMonthSSTFn for Y in region W (8) R is a member of Q, then equal X and the average of the numbers in Q S(s)

consequent
-------------------------


(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 2030-2034 X is an instance of nonnegative real number if, only if X is greater than or equal to 0, and X is an instance of real number
(=>
    (and
        (equal
            (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1)
        (instance ?PATH2
            (GraphPathFn ?NODE1 ?NODE2))
        (equal
            (PathWeightFn ?PATH2) ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))		 Merge.kif 6141-6147 If equal the lowest cost path between X, Y, and Z, equal the value of Z and W, V is an instance of the set of paths between X and Y, and equal the value of V and U, then U is greater than or equal to W
(=>
    (equal
        (MeasureFn 1 MonthDuration)
        (MeasureFn ?NUMBER DayDuration))
    (greaterThanOrEqualTo ?NUMBER 28))		 Merge.kif 7241-7245 If equal 1 month duration(s) and X day duration(s), then X is greater than or equal to 28
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (and
        (greaterThanOrEqualTo ?NUMBER 0.0)
        (lessThanOrEqualTo ?NUMBER 360.0)))		 Merge.kif 7509-7513 If the measure of X is Y angular degree(s), then Y is greater than or equal to 0.0 and Y is less than or equal to 360.0
(=>
    (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 14140-14148 If All of the following hold: (1) X is an instance of boiling (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) V is a patient of X (5) the measure of V is U Z(s) holds during the time of existence of X (6) Z is an instance of unit of temperature, then U is greater than or equal to Y
(=>
    (and
        (meltingPoint ?TYPE
            (MeasureFn ?MELT ?U))
        (boilingPoint ?TYPE
            (MeasureFn ?BOIL ?U)))
    (greaterThanOrEqualTo ?BOIL ?MELT))		 Merge.kif 14204-14208 If X Y(s) is a melting point of Z and W Y(s) is a boiling point of Z, then W is greater than or equal to X
(=>
    (holdsDuring ?TIME
        (and
            (instance ?ADULT HumanAdult)
            (age ?ADULT
                (MeasureFn ?NUMBER YearDuration))))
    (greaterThanOrEqualTo ?NUMBER 18))		 Mid-level-ontology.kif 176-182 If X is an instance of human adult and the age of X is Y year duration(s) holds during Z, then Y is greater than or equal to 18
(=>
    (instance ?X RadiatingXRay)
    (exists (?M)
        (and
            (wavelength ?X
                (MeasureFn ?M Nanometer))
            (greaterThanOrEqualTo ?M 0.01)
            (lessThan 10.0 ?M))))		 Mid-level-ontology.kif 593-600 If X is an instance of X ray radiation, then there exists Y such that the wavelength of X is Y nanometer(s) and Y is greater than or equal to 0.01 and 10.0 is less than Y
(=>
    (potentialOfHydrogen ?S ?N)
    (and
        (greaterThanOrEqualTo ?N 0.0)
        (lessThanOrEqualTo ?N 14.0)))		 Mid-level-ontology.kif 3915-3919 If X is a potential of hydrogen of Y, then X is greater than or equal to 0.0 and X is less than or equal to 14.0
(=>
    (instance ?P Polyhedron)
    (greaterThanOrEqualTo
        (CardinalityFn
            (KappaFn ?F
                (faceOfFigure ?F ?P))) 4))		 Mid-level-ontology.kif 5469-5474 If X is an instance of polyhedron, then the number of instances in the class described by Y is greater than or equal to 4
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CardinalityFn
                (CitizenryFn ?AREA)))
        (equal ?POPULATION
            (CardinalityFn
                (ResidentFn ?AREA))))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))		 Mid-level-ontology.kif 9366-9373 If X is an instance of geopolitical area, equal Y and the number of instances in the citizenry of X, and equal Z and the number of instances in the resident of X, then Z is greater than or equal to Y
(=>
    (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 20665-20675 If college junior is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 2 and W 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 20681-20691 If college senior is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 3 and W 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 20697-20707 If college sophomore is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 1 and W is less than 2
(=>
    (and
        (memberCount ?GROUP ?NUMBER1)
        (memberTypeCount ?GROUP ?TYPE ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2))		 Mid-level-ontology.kif 24957-24961 If X is a member count of Y and Y is member type count Z for W, then X is greater than or equal to W
(=>
    (equipmentType ?O ?T)
    (exists (?C ?D)
        (and
            (instance ?D ?T)
            (greaterThanOrEqualTo ?C 1)
            (equipmentCount ?O ?T ?C))))		 Mid-level-ontology.kif 26642-26648 If X is an equipment type of Y, then there exist Z, W such that W is an instance of X, Z is greater than or equal to 1, and Y equipment count X for Z
(=>
    (and
        (instance ?X HighRise)
        (memberType ?LEVELS BuildingLevel)
        (part ?FLR ?X)
        (member ?FLR ?LEVELS)
        (instance ?LEVELS CollectionOfObjects)
        (memberCount ?LEVELS ?NUM))
    (greaterThanOrEqualTo ?NUM 10))		 Mid-level-ontology.kif 29106-29114 If All of the following hold: (1) X is an instance of high rise (2) building level is a member type of Y (3) Z is a part of X (4) Z is a member of Y (5) Y is an instance of collection (6) W is a member count of Y, then W is greater than or equal to 10
(=>
    (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 2649-2668 If All of the following hold: (1) X is an instance of internal combustion engine (2) Y is an instance of combustion chamber (3) Y is a part of X (4) Z is an instance of fuel (5) W is an instance of unit of volume (6) Y contains Z and the measure of Z is V W(s) and engine flooded is an attribute of X holds during U, then Y has the purpose there don't exist T and S such that T is an instance of fuel and Y contains T and the measure of T is S W(s) and S is greater than or equal to V
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (greaterThanOrEqualTo ?AMOUNT 756.0))))		 Economy.kif 456-463 If X is an instance of timeframe and lower middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is greater than or equal to 756.0
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (greaterThanOrEqualTo ?AMOUNT 2996.0))))		 Economy.kif 481-488 If X is an instance of timeframe and upper middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is greater than or equal to 2996.0
(=>
    (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 4978-4991 If All of the following hold: (1) X is an instance of coffee arabica (2) the measure of X is Y gram(s) (3) Z is an instance of caffeine (4) Z is a part of X (5) the measure of Z is W gram(s) (6) equal V, W, and Y, then V is greater than or equal to 0.008 and V 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 5002-5015 If All of the following hold: (1) X is an instance of coffee robusta (2) the measure of X is Y gram(s) (3) Z is an instance of caffeine (4) Z is a part of X (5) the measure of Z is W gram(s) (6) equal V, W, and Y, then V is greater than or equal to 0.017 and V is less than or equal to 0.04
(=>
    (and
        (instance ?M Mutton)
        (part ?M ?S)
        (instance ?S Sheep)
        (age ?S
            (MeasureFn ?A MonthDuration)))
    (greaterThanOrEqualTo ?A 12))		 Economy.kif 5310-5316 If X is an instance of mutton, X is a part of Y, Y is an instance of sheep, and the age of Y is Z month duration(s), then Z is greater than or equal to 12
(=>
    (and
        (instance ?FBACCOUNT FacebookAccount)
        (hasAccount ?USER ?FBACCOUNT))
    (and
        (age ?USER
            (MeasureFn ?NUMBER YearDuration))
        (modalAttribute
            (not
                (greaterThanOrEqualTo ?NUMBER 13)) Prohibition)))		 Facebook.kif 143-151 If X is an instance of Facebook account and Y has account X, then the age of Y is Z year duration(s) and the statement Z is not greater than or equal to 13 has the modal force of prohibition
(=>
    (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 708-721 If X is an instance of financial account, X is minimum balance opening an account for Y Z(s), and Z is an instance of unit of currency, then there exist W, V and U such that W ends up at the currency of X and U Z(s) is a transaction amount of W and U is greater than or equal to Y and V is an agreement effective date of X and date of W is V

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(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 1136-1145 equal the available for military service male of X and the number of instances in the class described by Y
(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 1159-1170 equal the fit for military service male of X and the number of instances in the class described by Y