lessThanOrEqualTo
(=>
(
exportPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2530-2532
exportPartnerByFractionInPeriod
地政学的地域
,
地政学的地域
,
正の実数
and
時間間隔
正の実数
は 1.0 より
less
または同等 では %n
(=>
(
highestDecileShareOfHouseholdIncome
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1275-1277
highestDecileShareOfHouseholdIncome
地政学的地域
and
実数
実数
は 1.0 より
less
または同等 では %n
(=>
(
highestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1257-1259
highestDecileShareOfHouseholdIncomeInPeriod
地政学的地域
,
実数
and
時間間隔
実数
は 1.0 より
less
または同等 では %n
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
GoodAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
lessThanOrEqualTo
?I 50))
Weather.kif 3109-3114
GoodAQIAirQuality
は
エンティティー
の
attribute
では %n
airQualityIndex
エンティティー
and
実数
は
時間位置
の
during
holds %n{ない}
実数
は 50 より
less
または同等 では %n
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
ModerateAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 100)
(
greaterThanOrEqualTo
?I 51)))
Weather.kif 3122-3129
ModerateAQIAirQuality
は
エンティティー
の
attribute
では %n
airQualityIndex
エンティティー
and
実数
は
時間位置
の
during
holds %n{ない}
実数
は 100 より
less
または同等 では %n
実数
は 51
greater
では %n
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 200)
(
greaterThanOrEqualTo
?I 151)))
Weather.kif 3150-3157
UnhealthyAQIAirQuality
は
エンティティー
の
attribute
では %n
airQualityIndex
エンティティー
and
実数
は
時間位置
の
during
holds %n{ない}
実数
は 200 より
less
または同等 では %n
実数
は 151
greater
では %n
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 300)
(
greaterThanOrEqualTo
?I 201)))
Weather.kif 3164-3171
UnhealthyAQIAirQuality
は
エンティティー
の
attribute
では %n
airQualityIndex
エンティティー
and
実数
は
時間位置
の
during
holds %n{ない}
実数
は 300 より
less
または同等 では %n
実数
は 201
greater
では %n
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyForSensitiveAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 150)
(
greaterThanOrEqualTo
?I 101)))
Weather.kif 3136-3143
UnhealthyForSensitiveAQIAirQuality
は
エンティティー
の
attribute
では %n
airQualityIndex
エンティティー
and
実数
は
時間位置
の
during
holds %n{ない}
実数
は 150 より
less
または同等 では %n
実数
は 101
greater
では %n
(=>
(
holdsDuring
?TIME
(
and
(
instance
?BABY
HumanBaby
)
(
age
?BABY
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 1))
Mid-level-ontology.kif 375-380
エンティティー
は
HumanBaby
の
instance
では %n
エンティティー
の
age
は
実数
の
YearDuration
(s) では は
時間位置
の
during
holds %n{ない}
実数
は 1 より
less
または同等 では %n
(=>
(
holdsDuring
?TIME
(
and
(
instance
?CHILD
HumanChild
)
(
age
?CHILD
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 14))
Mid-level-ontology.kif 294-299
エンティティー
は
HumanChild
の
instance
では %n
エンティティー
の
age
は
実数
の
YearDuration
(s) では は
時間位置
の
during
holds %n{ない}
実数
は 14 より
less
または同等 では %n
(=>
(
importPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2738-2740
importPartnerByFraction
地政学的地域
,
地政学的地域
and
正の実数
正の実数
は 1.0 より
less
または同等 では %n
(=>
(
importPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2723-2725
importPartnerByFractionInPeriod
地政学的地域
,
地政学的地域
,
正の実数
and
時間間隔
正の実数
は 1.0 より
less
または同等 では %n
(=>
(
incomeDistributionByGiniIndex
?AREA ?INDEX)
(
lessThanOrEqualTo
?INDEX 100.0))
Economy.kif 1313-1315
incomeDistributionByGiniIndex
地政学的地域
and
非負実数
非負実数
は 100.0 より
less
または同等 では %n
(=>
(
incomeDistributionByGiniIndexInPeriod
?AREA ?INDEX ?PERIOD)
(
lessThanOrEqualTo
?INDEX 100.0))
Economy.kif 1300-1302
incomeDistributionByGiniIndexInPeriod
地政学的地域
,
非負実数
and
時間間隔
非負実数
は 100.0 より
less
または同等 では %n
(=>
(
inflationRateOfConsumerPricesInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1341-1343
inflationRateOfConsumerPricesInPeriod
地政学的地域
,
実数
and
時間間隔
実数
は 1.0 より
less
または同等 では %n
(=>
(
instance
?BACTERIUM
Bacterium
)
(
exists
(?NUMBER)
(
and
(
width
?BACTERIUM
(
MeasureFn
?NUMBER
Meter
))
(
greaterThanOrEqualTo
?NUMBER 0.000001)
(
lessThanOrEqualTo
?NUMBER 0.000002))))
WMD.kif 205-211
物理
は
細菌
の
instance
では %n
実数
物理
の
width
は
実数
の
Meter
(s) では %n
実数
は 0.000001
greater
では %n
実数
は 0.000002 より
less
または同等 では %n
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
地政学的地域
は
AmericanCity
の
instance
では %n
ResidentFn
地政学的地域
の
instances
の数 は
ResidentFn
NewYorkCityUnitedStates
の
instances
の数 より
less
または同等 では %n
(=>
(
instance
?DAY
(
DayFn
?NUMBER ?MONTH))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 8599-8601
エンティティー
は
正の整数
day
目 の
instance
では %n
正の整数
は 31 より
less
または同等 では %n
(=>
(
instance
?DRIZZLE
Drizzling
)
(
exists
(?CLTN ?R ?SIZE)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
member
?R ?CLTN)
(
objectTransferred
?DRIZZLE ?CLTN)
(
approximateDiameter
?R
(
MeasureFn
?SIZE
Millimeter
))
(
modalAttribute
(
lessThanOrEqualTo
?SIZE 0.5)
Likely
))))
Weather.kif 2803-2815
移動
は
Drizzling
の
instance
では %n
コレクション
自己接続オブジェクト
and
実数
コレクション
は
コレクション
の
instance
では %n
自己接続オブジェクト
は
水
の
instance
では %n
自己接続オブジェクト
は
LiquidDrop
の
instance
では %n
自己接続オブジェクト
は
コレクション
の
member
では %n
objectTransferred
移動
and
コレクション
approximateDiameter
自己接続オブジェクト
and
実数
の
Millimeter
(s) ステートメント
実数
は 0.5 より
less
または同等 では %n には
Likely
の
modal
force
が ある
(=>
(
instance
?TD
TropicalDepression
)
(
exists
(?PLACE ?WIND)
(
and
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TD ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?PLACE
(
WhenFn
?TD)))
(
lessThanOrEqualTo
?WIND 38.0))))
Weather.kif 660-670
工程
は
TropicalDepression
の
instance
では %n
地理的地域
実数
地理的地域
は
地理的地域
の
instance
では %n
eventLocated
工程
and
地理的地域
実数
の
MilesPerHour
(s) は
Mean1MinuteWindSpeedFn
地理的地域
and
工程
の
time
の existence と
equal
では %n
実数
は 38.0 より
less
または同等 では %n
(=>
(
instance
?TS
TropicalStorm
)
(
exists
(?PLACE ?WIND)
(
and
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TS ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?PLACE
(
WhenFn
?TS)))
(
greaterThanOrEqualTo
?WIND 39.0)
(
lessThanOrEqualTo
?WIND 74.0))))
Weather.kif 716-727
工程
は
TropicalStorm
の
instance
では %n
地理的地域
実数
地理的地域
は
地理的地域
の
instance
では %n
eventLocated
工程
and
地理的地域
実数
の
MilesPerHour
(s) は
Mean1MinuteWindSpeedFn
地理的地域
and
工程
の
time
の existence と
equal
では %n
実数
は 39.0
greater
では %n
実数
は 74.0 より
less
または同等 では %n
(=>
(
laborForceFractionByOccupation
?AREA ?SECTOR ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1415-1417
laborForceFractionByOccupation
地政学的地域
,
属性
and
実数
実数
は 1.0 より
less
または同等 では %n
(=>
(
laborForceFractionByOccupationInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1399-1401
laborForceFractionByOccupationInPeriod
地政学的地域
,
属性
,
実数
and
時間間隔
実数
は 1.0 より
less
または同等 では %n
(=>
(
lowestDecileShareOfHouseholdIncome
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1229-1231
lowestDecileShareOfHouseholdIncome
地政学的地域
and
実数
実数
は 1.0 より
less
または同等 では %n
(=>
(
lowestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1212-1214
lowestDecileShareOfHouseholdIncomeInPeriod
地政学的地域
,
実数
and
時間間隔
実数
は 1.0 より
less
または同等 では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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