lessThanOrEqualTo
(=>
(
exportPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2530-2532
GeopoliticalArea
對
PositiveRealNumber
和
TimeInterval
在週期
GeopoliticalArea
由部分
export
夥伴
小於或等於
PositiveRealNumber
and 1.0
(=>
(
highestDecileShareOfHouseholdIncome
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1275-1277
RealNumber
是
GeopoliticalArea
的
highest
平分家庭收入
小於或等於
RealNumber
and 1.0
(=>
(
highestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1257-1259
RealNumber
是對於
GeopoliticalArea
在週期
RealNumber
的
highest
平分家庭收入
小於或等於
RealNumber
and 1.0
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
GoodAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
lessThanOrEqualTo
?I 50))
Weather.kif 3109-3114
持有期間
TimePosition
and
attribute
entity
and
GoodAQIAirQuality
airQualityIndex
entity
and
RealNumber
小於或等於
RealNumber
and 50
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
ModerateAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 100)
(
greaterThanOrEqualTo
?I 51)))
Weather.kif 3122-3129
持有期間
TimePosition
and
attribute
entity
and
ModerateAQIAirQuality
airQualityIndex
entity
and
RealNumber
小於或等於
RealNumber
and 100
大於或等於
RealNumber
and 51
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 200)
(
greaterThanOrEqualTo
?I 151)))
Weather.kif 3150-3157
持有期間
TimePosition
and
attribute
entity
and
UnhealthyAQIAirQuality
airQualityIndex
entity
and
RealNumber
小於或等於
RealNumber
and 200
大於或等於
RealNumber
and 151
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 300)
(
greaterThanOrEqualTo
?I 201)))
Weather.kif 3164-3171
持有期間
TimePosition
and
attribute
entity
and
UnhealthyAQIAirQuality
airQualityIndex
entity
and
RealNumber
小於或等於
RealNumber
and 300
大於或等於
RealNumber
and 201
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyForSensitiveAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 150)
(
greaterThanOrEqualTo
?I 101)))
Weather.kif 3136-3143
持有期間
TimePosition
and
attribute
entity
and
UnhealthyForSensitiveAQIAirQuality
airQualityIndex
entity
and
RealNumber
小於或等於
RealNumber
and 150
大於或等於
RealNumber
and 101
(=>
(
holdsDuring
?TIME
(
and
(
instance
?BABY
HumanBaby
)
(
age
?BABY
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 1))
Mid-level-ontology.kif 375-380
持有期間
TimePosition
and
例
entity
and
人類寶貝
年齡
entity
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and 1
(=>
(
holdsDuring
?TIME
(
and
(
instance
?CHILD
HumanChild
)
(
age
?CHILD
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 14))
Mid-level-ontology.kif 294-299
持有期間
TimePosition
and
例
entity
and
人類的孩子
年齡
entity
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and 14
(=>
(
importPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2738-2740
GeopoliticalArea
對於
PositiveRealNumber
由一部分
GeopoliticalArea
import
夥伴
小於或等於
PositiveRealNumber
and 1.0
(=>
(
importPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2723-2725
GeopoliticalArea
對
PositiveRealNumber
和
TimeInterval
在週期
GeopoliticalArea
由一部分
import
夥伴
小於或等於
PositiveRealNumber
and 1.0
(=>
(
incomeDistributionByGiniIndex
?AREA ?INDEX)
(
lessThanOrEqualTo
?INDEX 100.0))
Economy.kif 1313-1315
NonnegativeRealNumber
是
GeopoliticalArea
基於基尼指數的
income
分配
小於或等於
NonnegativeRealNumber
and 100.0
(=>
(
incomeDistributionByGiniIndexInPeriod
?AREA ?INDEX ?PERIOD)
(
lessThanOrEqualTo
?INDEX 100.0))
Economy.kif 1300-1302
GeopoliticalArea
對於
TimeInterval
在週期
NonnegativeRealNumber
基於基尼指數
income
分配
小於或等於
NonnegativeRealNumber
and 100.0
(=>
(
inflationRateOfConsumerPricesInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1341-1343
GeopoliticalArea
是 對於
TimeInterval
在週期
RealNumber
的顧客價格的
inflation
速率
小於或等於
RealNumber
and 1.0
(=>
(
instance
?BACTERIUM
Bacterium
)
(
exists
(?NUMBER)
(
and
(
width
?BACTERIUM
(
MeasureFn
?NUMBER
Meter
))
(
greaterThanOrEqualTo
?NUMBER 0.000001)
(
lessThanOrEqualTo
?NUMBER 0.000002))))
WMD.kif 205-211
例
Physical
and
Bacterium
RealNumber
寬度
Physical
and
測量
RealNumber
and
儀表
大於或等於
RealNumber
and 0.000001
小於或等於
RealNumber
and 0.000002
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
例
GeopoliticalArea
and
美國城市
小於或等於
基數
GeopoliticalArea
的
resident
and
基數
紐約市美國
的
resident
(=>
(
instance
?DAY
(
DayFn
?NUMBER ?MONTH))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 8599-8601
例
Entity
and
天
PositiveInteger
and
Month
小於或等於
PositiveInteger
and 31
(=>
(
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
例
Transfer
and
Drizzling
Collection
SelfConnectedObject
and
RealNumber
例
Collection
and
Collection
例
SelfConnectedObject
and
Water
例
SelfConnectedObject
and
LiquidDrop
會員
SelfConnectedObject
and
Collection
objectTransferred
Transfer
and
Collection
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
模態屬性
小於或等於
RealNumber
and 0.5 and
容易
(=>
(
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
例
Process
and
TropicalDepression
GeographicArea
RealNumber
例
GeographicArea
and
GeographicArea
Process
是
located
在
GeographicArea
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
GeographicArea
and
何時
Process
小於或等於
RealNumber
and 38.0
(=>
(
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
例
Process
and
TropicalStorm
GeographicArea
RealNumber
例
GeographicArea
and
GeographicArea
Process
是
located
在
GeographicArea
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
GeographicArea
and
何時
Process
大於或等於
RealNumber
and 39.0
小於或等於
RealNumber
and 74.0
(=>
(
laborForceFractionByOccupation
?AREA ?SECTOR ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1415-1417
(=>
(
laborForceFractionByOccupationInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1399-1401
按職業期間劃分的勞動力比例
GeopoliticalArea
,
Attribute
,
RealNumber
and
TimeInterval
小於或等於
RealNumber
and 1.0
(=>
(
lowestDecileShareOfHouseholdIncome
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1229-1231
RealNumber
是
GeopoliticalArea
lowest
平分家庭收入
小於或等於
RealNumber
and 1.0
(=>
(
lowestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1212-1214
GeopoliticalArea
對於
TimeInterval
在週期
RealNumber
的
lowest
平分家庭收入
小於或等於
RealNumber
and 1.0
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