(<=>
(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 |
