(=>
(and
(instance ?YEAR TimeInterval)
(holdsDuring ?YEAR
(economyType ?AREA LowIncomeCountry)))
(exists (?AMOUNT)
(and
(perCapitaGDPInPeriod ?AREA
(MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
(lessThan ?AMOUNT 756.0)))) |
Economy.kif 440-447 |
|
(=>
(and
(instance ?YEAR TimeInterval)
(holdsDuring ?YEAR
(economyType ?AREA LowerMiddleIncomeCountry)))
(exists (?AMOUNT)
(and
(perCapitaGDPInPeriod ?AREA
(MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
(lessThan ?AMOUNT 2996.0)))) |
Economy.kif 465-472 |
|
(=>
(and
(instance ?YEAR TimeInterval)
(holdsDuring ?YEAR
(economyType ?AREA UpperMiddleIncomeCountry)))
(exists (?AMOUNT)
(and
(perCapitaGDPInPeriod ?AREA
(MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
(lessThan ?AMOUNT 9267.0)))) |
Economy.kif 490-497 |
|
(=>
(angularMeasure AcuteAngle ?N)
(lessThan ?N 90.0)) |
Mid-level-ontology.kif 4867-4869 |
|
(=>
(attribute ?F LongAndThin)
(exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
(and
(side ?S1 ?F)
(side ?S2 ?F)
(meetsSpatially ?S1 ?S2)
(not
(equal ?S1 ?S2))
(instance ?U UnitOfLength)
(length ?F
(MeasureFn ?HF ?U))
(length ?S1
(MeasureFn ?H1 ?U))
(length ?S2
(MeasureFn ?H2 ?U))
(lessThan ?H1
(MultiplicationFn 3.0 ?HF))
(lessThan ?H2
(MultiplicationFn 3.0 ?HF))))) |
Mid-level-ontology.kif 2803-2816 |
- If long and thin is an attribute of a self connected object,
- then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
|
(=>
(climateTypeInArea ?AREA ColdClimateZone)
(exists (?MO ?AMOUNT)
(and
(instance ?MO Month)
(temporalPart ?MO WinterSeason)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT CelsiusDegree))
(lessThan ?AMOUNT -3.0)))) |
Geography.kif 1533-1541 |
|
(=>
(climateTypeInArea ?AREA TemperateClimateZone)
(exists (?MO ?AMOUNT)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?AMOUNT CelsiusDegree))
(greaterThanOrEqualTo ?AMOUNT -3.0)
(lessThanOrEqualTo ?AMOUNT 18.0)
(not
(exists (?M2 ?MT2)
(and
(instance ?M2 Month)
(averageTemperatureForPeriod ?AREA ?M2
(MeasureFn ?MT2 CelsiusDegree))
(lessThan ?MT2 ?AMOUNT))))))) |
Geography.kif 1428-1443 |
|
(=>
(climateTypeInArea ?AREA TropicalClimateZone)
(exists (?MO ?TEMP)
(and
(instance ?MO Month)
(averageTemperatureForPeriod ?AREA ?MO
(MeasureFn ?TEMP CelsiusDegree))
(greaterThan ?TEMP 18.0)
(not
(exists (?M2 ?MT2)
(and
(averageTemperatureForPeriod ?AREA ?M2
(MeasureFn ?MT2 CelsiusDegree))
(lessThan ?MT2 ?TEMP))))))) |
Geography.kif 1285-1298 |
|
(=>
(dayPhone ?Number ?Agent)
(exists (?Phone ?Hour ?Num)
(and
(phoneNumber ?Number ?Phone)
(greaterThan ?Num 6)
(lessThan ?Num 18)
(holdsDuring
(instance ?Hour
(HourFn ?Num Day))
(exists (?T)
(and
(instance ?T Telephoning)
(destination ?T ?Agent)
(patient ?T ?Phone)
(possesses ?Agent ?Phone)
(modalAttribute
(exists (?A)
(and
(instance ?A Answering)
(subProcess ?A ?T)
(agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3691-3711 |
|
(=>
(defaultMinimumHeight ?OBJECT
(MeasureFn ?H ?U))
(modalAttribute
(exists (?INST ?HEIGHT)
(and
(instance ?INST ?OBJECT)
(height ?INST
(MeasureFn ?HEIGHT ?U))
(lessThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 13348-13356 |
|
(=>
(defaultMinimumLength ?OBJECT
(MeasureFn ?L ?U))
(modalAttribute
(exists (?INST ?LENGTH)
(and
(instance ?INST ?OBJECT)
(length ?INST
(MeasureFn ?LENGTH ?U))
(lessThan ?LENGTH ?L))) Unlikely)) |
Mid-level-ontology.kif 13414-13422 |
|
(=>
(defaultMinimumWidth ?OBJECT
(MeasureFn ?W ?U))
(modalAttribute
(exists (?INST ?WIDTH)
(and
(instance ?INST ?OBJECT)
(width ?INST
(MeasureFn ?WIDTH ?U))
(lessThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 13381-13389 |
|
(=>
(diseaseMortality ?DISEASE ?RATE)
(and
(greaterThan ?RATE 0.0)
(lessThan ?RATE 1.0))) |
WMD.kif 902-906 |
|
(=>
(equal
(MinFn ?NUMBER1 ?NUMBER2) ?NUMBER)
(or
(and
(equal ?NUMBER ?NUMBER1)
(lessThan ?NUMBER1 ?NUMBER2))
(and
(equal ?NUMBER ?NUMBER2)
(lessThan ?NUMBER2 ?NUMBER1))
(and
(equal ?NUMBER ?NUMBER1)
(equal ?NUMBER ?NUMBER2)))) |
Merge.kif 5021-5032 |
|
(=>
(eveningPhone ?Number ?Agent)
(exists (?Phone ?Hour ?Num)
(and
(phoneNumber ?Number ?Phone)
(greaterThan ?Num 18)
(lessThan ?Num 6)
(holdsDuring
(instance ?Hour
(HourFn ?Num Day))
(exists (?T)
(and
(instance ?T Telephoning)
(destination ?T ?Agent)
(patient ?T ?Phone)
(possesses ?Agent ?Phone)
(modalAttribute
(exists (?A)
(and
(instance ?A Answering)
(subProcess ?A ?T)
(agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3735-3755 |
|
(=>
(holdsDuring ?T
(attribute ?H LowBodyTemperature))
(holdsDuring ?T
(and
(measure ?H
(MeasureFn ?N FahrenheitDegree))
(lessThan ?N 97)))) |
Medicine.kif 5645-5652 |
|
(=>
(holdsDuring ?TIME
(and
(instance ?TEEN Teenager)
(age ?TEEN
(MeasureFn ?NUMBER YearDuration))))
(and
(greaterThan ?NUMBER 12)
(lessThan ?NUMBER 20))) |
Mid-level-ontology.kif 323-330 |
|
(=>
(holdsDuring ?TIME
(and
(instance ?YOUTH HumanYouth)
(age ?YOUTH
(MeasureFn ?NUMBER YearDuration))))
(lessThan ?NUMBER 18)) |
Mid-level-ontology.kif 252-257 |
|
(=>
(instance ?AR AcidRainfall)
(exists (?RAIN ?PH)
(and
(instance ?RAIN Water)
(patient ?AR ?RAIN)
(measure ?RAIN
(MeasureFn ?PH PHValue))
(lessThan ?PH 5.0)))) |
Geography.kif 2509-2517 |
|
(=>
(instance ?FLOOD FlashFlooding)
(exists (?WATER ?HOUR)
(and
(instance ?WATER WaterMotion)
(causes ?WATER ?FLOOD)
(meetsTemporally
(WhenFn ?WATER)
(WhenFn ?FLOOD))
(duration
(WhenFn ?WATER)
(MeasureFn ?HOUR HourDuration))
(lessThan ?HOUR 6.0)))) |
Weather.kif 1626-1638 |
|
(=>
(instance ?HOUR
(HourFn ?NUMBER ?DAY))
(lessThan ?NUMBER 24)) |
Merge.kif 8647-8649 |
|
(=>
(instance ?INT Integer)
(lessThan ?INT
(SuccessorFn ?INT))) |
Merge.kif 5311-5313 |
|
(=>
(instance ?IV IVBolusTherapy)
(and
(duration
(WhenFn ?IV)
(MeasureFn ?N MinuteDuration))
(lessThan ?N 5.0))) |
Medicine.kif 6162-6168 |
|
(=>
(instance ?MINUTE
(MinuteFn ?NUMBER ?HOUR))
(lessThan ?NUMBER 60)) |
Merge.kif 8674-8676 |
|
(=>
(instance ?PROCESS Blizzard)
(exists (?AREA ?DIST)
(and
(instance ?AREA GeographicArea)
(eventLocated ?PROCESS ?AREA)
(visibilityInMeteorology ?AREA
(WhenFn ?PROCESS)
(MeasureFn ?DIST Meter))
(lessThan ?DIST 400.0)))) |
Weather.kif 2638-2647 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |