lessThanOrEqualTo
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
如果
铁路
是
铁路
的
instance
和
那个 铁路
有
标准规
的
attribute
和
实数
仪表
是
那个 铁路
的
track
宽度,
然后
那个 实数
是
lessThanOrEqualTo
1.44
(=>
(
and
(
instance
?SW
BrackishWater
)
(
measure
?SW
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?SW)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 0.5)
(
lessThanOrEqualTo
?R 30.0)))
Geography.kif 2855-2866
如果
客体
是
BrackishWater
的
instance
和
那个 客体
的
measure
是 1.0
升
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
盐
的
instance
和
那个 另外 客体
的
measure
是
实数
公克
,
然后
那个 实数
是
greaterThan
0.5 和
那个 实数
是
lessThanOrEqualTo
30.0
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
如果
过程
是
龙卷风
的
instance
和
时速级数属性
是
改良藤田级数
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
英里每小時
和
另一个 实数
英里每小時
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
英里每小時
equal
在
那个 过程
出现 的
time
时间结束以前, 发生在区域
那个 客体
的
ThreeSecondGustSpeedFn
(3秒阵风风速)
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
如果
过程
是
风
的
instance
和
时速级数属性
是
浦福氏风级属性
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
那个 测量单位
是
那个 客体
的
surface
风速
(=>
(
and
(
instance
?ZONE
ExclusiveFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1141-1146
如果
物理
是
专属捕鱼区
的
instance
和
那个 物理
的
linear
extent
是
实数
海里
,
然后
那个 实数
是
lessThanOrEqualTo
200.0
(=>
(
and
(
instance
?ZONE
ExtendedFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1173-1178
如果
物理
是
延伸捕鱼区
的
instance
和
那个 物理
的
linear
extent
是
实数
海里
,
然后
那个 实数
是
lessThanOrEqualTo
200.0
(=>
(
and
(
instance
?ZONE
MaritimeExclusiveEconomicZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1109-1114
如果
物理
是
海上专属经济区
的
instance
和
那个 物理
的
linear
extent
是
实数
海里
,
然后
那个 实数
是
lessThanOrEqualTo
200.0
(=>
(
and
(
instance
?ZONE
MaritimeShelfArea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1068-1073
如果
物理
是
海运货架区
的
instance
和
那个 物理
的
linear
extent
是
实数
海里
,
然后
那个 实数
是
lessThanOrEqualTo
200.0
(=>
(
and
(
instance
?ZONE
TerritorialSea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 12.0))
Geography.kif 1214-1219
如果
物理
是
领海
的
instance
和
那个 物理
的
linear
extent
是
实数
海里
,
然后
那个 实数
是
lessThanOrEqualTo
12.0
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
如果
实数
仪表
是
地理区域
的原油管线
length
和
另一个 实数
仪表
是 在地区
那个 地理区域
的
total
管线,
然后
那个 实数
是
lessThanOrEqualTo
那个 另外 实数
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
如果
实数
仪表
是
地理区域
的 天然瓦斯管线的
length
和
另一个 实数
仪表
是 在地区
那个 地理区域
的
total
管线,
然后
那个 实数
是
lessThanOrEqualTo
那个 另外 实数
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
如果
实数
仪表
是
地理区域
的石油产品管线
length
和
另一个 实数
仪表
是 在地区
那个 地理区域
的
total
管线,
然后
那个 实数
是
lessThanOrEqualTo
那个 另外 实数
(=>
(
and
(
maxCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
lessThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2210-2223
如果 那里能有最多 %3
values
对于 1% 的 参数 2% 和
关系
是
谓语
的
instance
,
然后 有存在
类
,
实体
, and 和 @ARGS 这样
那个 类
是
集或类
的
instance
和
如果
那个 关系
@ARGS 和
那个 实体
equal
(@ARGS) 的第
正整数
几个元素,
然后
那个 实体
是
那个 类
的
instance
和
那个 类
instance
的数量 是
lessThanOrEqualTo
整数
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
如果
有点 固定人工制品
能
accommodate
大部分
整数
的人 和
实体
是
有点 固定人工制品
的
instance
和
那个 实体
是
施事体
的财产 的
element
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
一群人
的
instance
和
那个 第三 实体
是
那个 另外 实体
的
member
计数 和
那个 第三 实体
是
lessThanOrEqualTo
那个 整数
和
那个 另外 实体
stays
在
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
如果
有点 物理
由
有认知的主事
定的
price
根据
PricingScheme
是
函数量
和
那个 函数量
equal
实数
的
measure
是
测量单位
是
货币测量
的
per
和
那个 测量单位
是
UnitOfDuration
的
instance
和
实体
是
有点 物理
的
immediateInstance
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 实数
INT 是 存在,
然后 对所有
另一个 时距
如果 有存在
另一个 实数
这样
那个 实数
INT 在
那个 另外 时距
时段内发生 和
那个 另外 时距
是
时距
的
instance
和
那个 另外 时距
的
duration
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
,
然后 有存在
金融交易
这样
那个 金融交易
是
付款
的
instance
和
那个 金融交易
在
那个 有认知的主事
结束 和
那个 施事体
是
那个 金融交易
的
agent
和
那个 货币测量
是
那个 金融交易
的
transaction
总额
(=>
(
and
(
speedScaleAttributeMinMax
?ATTR
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?X ?SPEED)
(
and
(
instance
?X
Motion
)
(
property
?X ?ATTR)
(
measure
?X
(
MeasureFn
?SPEED ?U))
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX))))
Weather.kif 2130-2143
如果
时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
物理
和
第三 实数
这样
那个 物理
是
运动
的
instance
和
那个 物理
有
那个 时速级数属性
的
attribute
和
那个 物理
的
measure
是
那个 第三 实数
那个 测量单位
和
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
(=>
(
and
(
subString
?S1 ?S2)
(
equal
?L1
(
StringLengthFn
?S1))
(
equal
?L2
(
StringLengthFn
?S2)))
(
lessThanOrEqualTo
?L1 ?L2))
Mid-level-ontology.kif 24400-24405
如果
符号串
是
另一个 符号串
的
sub
-string 和
非负整数
equal
那个 符号串
的
length
和
另一个 非负整数
equal
那个 另外 符号串
的
length
,
然后
那个 非负整数
是
lessThanOrEqualTo
那个 另外 非负整数
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1052-1060
如果
实数
年持续时间
是
施事体
的
suffrage
最大年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
和
那个 客体
的
age
是
另一个 实数
年持续时间
,
然后
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1040-1050
如果
实数
年持续时间
是
施事体
的
suffrage
最大年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
,
然后 有存在
另一个 实数
这样
那个 客体
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
如果
地区
有对于
整数
的
capacity
根据
命题
,
然后
如果
那个 地区
表达
那个 命题
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
一群人
的
instance
和
那个 另外 实体
是
那个 实体
的
member
计数 和
那个 另外 实体
是
lessThanOrEqualTo
那个 整数
和
那个 实体
是
located
在
那个 地区
的声明 has
可能性
的语气
(=>
(
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
如果
温带气候区
是
地理区域
地区的
climate
类别,
然后 有存在
时距
和
实数
这样
那个 时距
是
月
的
instance
和 1 对于 %3 在 %2 周期的
average
温度 和
那个 实数
是
greaterThanOrEqualTo
-3.0 和
那个 实数
是
lessThanOrEqualTo
18.0 和 不存在
另一个 时距
和
另一个 实数
这样
那个 另外 时距
是
月
的
instance
和 1 对于 %3 在 %2 周期的
average
温度 和
那个 另外 实数
是
lessThan
那个 实数
(=>
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2051-2053
如果
地缘政治区域
is 对于
实数
从来源
有点 发电
的
electricity
分支,
然后
那个 实数
是
lessThanOrEqualTo
1.0
(=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2037-2039
如果
地缘政治区域
是 对于
实数
和
有点 时距
在周期
有点 发电
从来源的
electricity
分支,
然后
那个 实数
是
lessThanOrEqualTo
1.0
(=>
(
equal
(
MeasureFn
1
MonthDuration
)
(
MeasureFn
?NUMBER
DayDuration
))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 7128-7132
如果 1
月持续时间
equal
实数
一天长度
,
然后
那个 实数
是
lessThanOrEqualTo
31
(=>
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2545-2547
如果
地缘政治区域
对于
正实数
由部分
另一个 地缘政治区域
export
伙伴,
然后
那个 正实数
是
lessThanOrEqualTo
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