lessThanOrEqualTo
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
Railway
は
Railway
の
instance
では %n
Railway
には
attribute
StandardGauge
%n{ない}
trackWidth
Railway
and
実数
の
Meter
(s)
実数
は 1.44 より
less
または同等 では %n
(=>
(
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
では %n
オブジェクト
の
measure
は 1.0 の
Liter
(s) では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
SodiumChloride
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
実数
は 0.5 より
greater
では %n
実数
は 30.0 より
less
または同等 では %n
(=>
(
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
工程
は
Tornado
の
instance
では %n
SpeedScaleAttribute
は
EFScaleAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
MilesPerHour
(s) and
実数
の
MilesPerHour
(s)
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
ThreeSecondGustSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Wind
の
instance
では %n
SpeedScaleAttribute
は
BeaufortNumberAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
surfaceWindSpeed
オブジェクト
and
実数
の
測定単位
(s) を
believe
s %n{ない}
(=>
(
and
(
instance
?ZONE
ExclusiveFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1141-1146
物理
は
ExclusiveFishingZone
の
instance
では %n
linearExtent
物理
and
実数
の
NauticalMile
(s)
実数
は 200.0 より
less
または同等 では %n
(=>
(
and
(
instance
?ZONE
ExtendedFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1173-1178
物理
は
ExtendedFishingZone
の
instance
では %n
linearExtent
物理
and
実数
の
NauticalMile
(s)
実数
は 200.0 より
less
または同等 では %n
(=>
(
and
(
instance
?ZONE
MaritimeExclusiveEconomicZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1109-1114
物理
は
MaritimeExclusiveEconomicZone
の
instance
では %n
linearExtent
物理
and
実数
の
NauticalMile
(s)
実数
は 200.0 より
less
または同等 では %n
(=>
(
and
(
instance
?ZONE
MaritimeShelfArea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1068-1073
物理
は
MaritimeShelfArea
の
instance
では %n
linearExtent
物理
and
実数
の
NauticalMile
(s)
実数
は 200.0 より
less
または同等 では %n
(=>
(
and
(
instance
?ZONE
TerritorialSea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 12.0))
Geography.kif 1214-1219
物理
は
TerritorialSea
の
instance
では %n
linearExtent
物理
and
実数
の
NauticalMile
(s)
実数
は 12.0 より
less
または同等 では %n
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
lengthOfCrudeOilPipeline
地理的地域
and
実数
の
Meter
(s)
totalPipelineInArea
地理的地域
and
実数
の
Meter
(s)
実数
は
実数
より
less
または同等 では %n
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
lengthOfNaturalGasPipeline
地理的地域
and
実数
の
Meter
(s)
totalPipelineInArea
地理的地域
and
実数
の
Meter
(s)
実数
は
実数
より
less
または同等 では %n
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
lengthOfPetroleumProductPipeline
地理的地域
and
実数
の
Meter
(s)
totalPipelineInArea
地理的地域
and
実数
の
Meter
(s)
実数
は
実数
より
less
または同等 では %n
(=>
(
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
maxCardinality
関係
,
正の整数
and
整数
関係
は
述語
の
instance
では %n
クラス
エンティティー
and @ARGS
クラス
は
同じセットまたはクラス
の
instance
では %n
関係
@ARGS
エンティティー
は (@ARGS) の
正の整数
th
element
と
equal
では %n
エンティティー
は
クラス
の
instance
では %n
クラス
の
instances
の数 は
整数
より
less
または同等 では %n
(=>
(
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
maxRoomCapacity
固定アーチファクト
and
整数
エンティティー
は
固定アーチファクト
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
ステートメント
エンティティー
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では %n
memberCount
エンティティー
and
エンティティー
エンティティー
は
整数
より
less
または同等 では %n
stays
エンティティー
and
エンティティー
には
Possibility
の
modal
force
が ある
(=>
(
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
rentalPrice
物理
,
関数量
,
認識エージェント
and
PricingScheme
関数量
は
PerFn
通貨測定
and
実数
の
measure
は
測定単位
では %n と
equal
では %n
測定単位
は
UnitOfDuration
の
instance
では %n
エンティティー
は
物理
の
immediate
の インスタンス では %n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
実数
INT の
during
exists %n{ない}
時間間隔
実数
実数
INT は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
duration
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
less
または同等 では %n
金融取引
金融取引
は
Payment
の
instance
では %n
金融取引
は
認識エージェント
に
end
s %n{ない}
AutonomousAgent
は
金融取引
の
agent
では %n
transactionAmount
金融取引
and
通貨測定
(=>
(
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
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
物理
実数
物理
は
motion
の
instance
では %n
物理
には
attribute
SpeedScaleAttribute
%n{ない}
物理
の
measure
は
実数
の
測定単位
(s) では %n
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
(=>
(
and
(
subString
?S1 ?S2)
(
equal
?L1
(
StringLengthFn
?S1))
(
equal
?L2
(
StringLengthFn
?S2)))
(
lessThanOrEqualTo
?L1 ?L2))
Mid-level-ontology.kif 24400-24405
subString
記号文字列
and
記号文字列
非負整数
は
StringLengthFn
記号文字列
と
equal
では %n
非負整数
は
StringLengthFn
記号文字列
と
equal
では %n
非負整数
は
非負整数
より
less
または同等 では %n
(=>
(
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
suffrageAgeMaximum
AutonomousAgent
and
実数
の
YearDuration
(s)
Election
は
ElectionFn
AutonomousAgent
の
instance
では %n
オブジェクト
は
VotingFn
Election
を
agent
として行う
capable
では %n
オブジェクト
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
より
less
または同等 では %n
(=>
(
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
suffrageAgeMaximum
AutonomousAgent
and
実数
の
YearDuration
(s)
Election
は
ElectionFn
AutonomousAgent
の
instance
では %n
オブジェクト
は
VotingFn
Election
を
agent
として行う
capable
では %n
実数
オブジェクト
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
より
less
または同等 では %n
(=>
(
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
capacityByArrangement
地域
,
命題
and
整数
地域
は
命題
を
express
es %n{ない}
ステートメント
エンティティー
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では %n
memberCount
エンティティー
and
エンティティー
エンティティー
は
整数
より
less
または同等 では %n
エンティティー
は
地域
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
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
地理的地域
and
TemperateClimateZone
時間間隔
実数
時間間隔
は
月
の
instance
では %n
averageTemperatureForPeriod
地理的地域
,
時間間隔
and
実数
の
CelsiusDegree
(s)
実数
は -3.0
greater
では %n
実数
は 18.0 より
less
または同等 では %n
時間間隔
実数
時間間隔
は
月
の
instance
では %n
averageTemperatureForPeriod
地理的地域
,
時間間隔
and
実数
の
CelsiusDegree
(s)
実数
は
実数
より
less
では %n
(=>
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2051-2053
electricityFractionFromSource
地政学的地域
,
PowerGeneration
and
実数
実数
は 1.0 より
less
または同等 では %n
(=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2037-2039
electricityFractionFromSourceInPeriod
地政学的地域
,
PowerGeneration
,
実数
and
時間間隔
実数
は 1.0 より
less
または同等 では %n
(=>
(
equal
(
MeasureFn
1
MonthDuration
)
(
MeasureFn
?NUMBER
DayDuration
))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 7128-7132
1 の
MonthDuration
(s) は
実数
の
DayDuration
(s) と
equal
では %n
実数
は 31 より
less
または同等 では %n
(=>
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2545-2547
exportPartnerByFraction
地政学的地域
,
地政学的地域
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