lessThanOrEqualTo
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
例
鐵路
and
鐵路
屬性
鐵路
and
標準規
測量
RealNumber
and
儀表
是
鐵路
的
track
寬度
小於或等於
RealNumber
and 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
例
Object
and
BrackishWater
測量
Object
and
測量
1.0 and
升
部分
Object
and
Object
例
Object
and
鹽
測量
Object
and
測量
RealNumber
and
公克
比較多
RealNumber
and 0.5
小於或等於
RealNumber
and 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
例
Process
and
龍捲風
例
SpeedScaleAttribute
and
EFScaleAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
MilesPerHour
and
測量
RealNumber
and
MilesPerHour
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
ThreeSecondGustSpeedFn
Object
and
何時
Process
(=>
(
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
例
Process
and
風
例
SpeedScaleAttribute
and
BeaufortNumberAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
UnitOfMeasure
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
測量
RealNumber
and
UnitOfMeasure
是
Object
的
surface
風速
(=>
(
and
(
instance
?ZONE
ExclusiveFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1141-1146
例
Physical
and
專屬捕魚區
Physical
的
linear
extent
是
測量
RealNumber
and
海裡
小於或等於
RealNumber
and 200.0
(=>
(
and
(
instance
?ZONE
ExtendedFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1173-1178
例
Physical
and
延伸捕魚區
Physical
的
linear
extent
是
測量
RealNumber
and
海裡
小於或等於
RealNumber
and 200.0
(=>
(
and
(
instance
?ZONE
MaritimeExclusiveEconomicZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1109-1114
例
Physical
and
海上專屬經濟區
Physical
的
linear
extent
是
測量
RealNumber
and
海裡
小於或等於
RealNumber
and 200.0
(=>
(
and
(
instance
?ZONE
MaritimeShelfArea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1068-1073
例
Physical
and
海運貨架區
Physical
的
linear
extent
是
測量
RealNumber
and
海裡
小於或等於
RealNumber
and 200.0
(=>
(
and
(
instance
?ZONE
TerritorialSea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 12.0))
Geography.kif 1214-1219
例
Physical
and
領海
Physical
的
linear
extent
是
測量
RealNumber
and
海裡
小於或等於
RealNumber
and 12.0
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
測量
RealNumber
and
儀表
是
GeographicArea
的原油管線
length
測量
RealNumber
and
儀表
是 在地區
GeographicArea
的
total
管線
小於或等於
RealNumber
and
RealNumber
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
測量
RealNumber
and
儀表
是
GeographicArea
的 天然瓦斯管線的
length
測量
RealNumber
and
儀表
是 在地區
GeographicArea
的
total
管線
小於或等於
RealNumber
and
RealNumber
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
測量
RealNumber
and
儀表
是
GeographicArea
的石油產品管線
length
測量
RealNumber
and
儀表
是 在地區
GeographicArea
的
total
管線
小於或等於
RealNumber
and
RealNumber
(=>
(
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%
例
Relation
and
Predicate
Class
Entity
and @ARGS
例
Class
and
SetOrClass
Relation
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
例
Entity
and
Class
小於或等於
基數
Class
and
Integer
(=>
(
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
StationaryArtifact
能
accommodate
大部分
Integer
的人
例
Entity
and
StationaryArtifact
元件
Entity
and
屬性
AutonomousAgent
模態屬性
entity
entity
例
entity
and
一群人
entity
是
entity
的
member
計數
小於或等於
entity
and
Integer
entity
stays
在
Entity
and
可能性
(=>
(
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
Physical
由
CognitiveAgent
定的
price
根據
PricingScheme
是
FunctionQuantity
等於
FunctionQuantity
and
測量
RealNumber
and
UnitOfMeasure
是
CurrencyMeasure
的
per
例
UnitOfMeasure
and
UnitOfDuration
立即實例
Entity
and
Physical
例
Process
and
租
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
時間
Process
and
RealNumber
INT
TimeInterval
RealNumber
期間
RealNumber
INT and
TimeInterval
例
TimeInterval
and
TimeInterval
持續時間
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
FinancialTransaction
例
FinancialTransaction
and
付款
目的地
FinancialTransaction
and
CognitiveAgent
agent
FinancialTransaction
and
AutonomousAgent
CurrencyMeasure
是
FinancialTransaction
的
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
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
UnitOfMeasure
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
Physical
RealNumber
例
Physical
and
Motion
屬性
Physical
and
SpeedScaleAttribute
測量
Physical
and
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
(=>
(
and
(
subString
?S1 ?S2)
(
equal
?L1
(
StringLengthFn
?S1))
(
equal
?L2
(
StringLengthFn
?S2)))
(
lessThanOrEqualTo
?L1 ?L2))
Mid-level-ontology.kif 24400-24405
SymbolicString
是
SymbolicString
的
sub
-string
等於
NonnegativeInteger
and
SymbolicString
的
length
等於
NonnegativeInteger
and
SymbolicString
的
length
小於或等於
NonnegativeInteger
and
NonnegativeInteger
(=>
(
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
測量
RealNumber
and
年持續時間
是
AutonomousAgent
的
suffrage
最大年紀
例
選舉
and
AutonomousAgent
的
election
能力
選舉
的
voting
,
agent
and
Object
年齡
Object
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and
RealNumber
(=>
(
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
測量
RealNumber
and
年持續時間
是
AutonomousAgent
的
suffrage
最大年紀
例
選舉
and
AutonomousAgent
的
election
能力
選舉
的
voting
,
agent
and
Object
RealNumber
年齡
Object
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and
RealNumber
(=>
(
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
Region
有對於
Integer
的
capacity
根據
Proposition
代表
Region
and
Proposition
模態屬性
entity
entity
例
entity
and
一群人
entity
是
entity
的
member
計數
小於或等於
entity
and
Integer
位於
entity
and
Region
and
可能性
(=>
(
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
溫帶氣候區
是
GeographicArea
地區的
climate
類別
TimeInterval
RealNumber
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
大於或等於
RealNumber
and -3.0
小於或等於
RealNumber
and 18.0
TimeInterval
RealNumber
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
少於
RealNumber
and
RealNumber
(=>
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2051-2053
GeopoliticalArea
is 對於
RealNumber
從來源
發電
的
electricity
分支
小於或等於
RealNumber
and 1.0
(=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2037-2039
GeopoliticalArea
是 對於
RealNumber
和
TimeInterval
在週期
發電
從來源的
electricity
分支
小於或等於
RealNumber
and 1.0
(=>
(
equal
(
MeasureFn
1
MonthDuration
)
(
MeasureFn
?NUMBER
DayDuration
))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 7128-7132
等於
測量
1 and
月持續時間
and
測量
RealNumber
and
一天長度
小於或等於
RealNumber
and 31
(=>
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2545-2547
GeopoliticalArea
對於
PositiveRealNumber
由部分
GeopoliticalArea
export
夥伴
小於或等於
PositiveRealNumber
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