greaterThanOrEqualTo
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
)))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 990-1001
如果
选举
是
施事体
的
election
的
instance
和
过程
是
那个 选举
的
voting
的
instance
和
另一个 施事体
是
那个 过程
的
agent
和
实数
年持续时间
是
那个 施事体
的
suffrage
最小年纪,
然后 有存在
另一个 实数
这样
那个 另外 施事体
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
instance
?ELECTION
PopularElection
)
(
electionWinner
?ELECTION ?POSITION ?PERSON1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON1 ?NUMBER1))
(
not
(
exists
(?PERSON2 ?NUMBER2)
(
and
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
(
not
(
equal
?PERSON1 ?PERSON2))
(
greaterThanOrEqualTo
?NUMBER2 ?NUMBER1)))))
Government.kif 1882-1892
如果
选举
是
民众选举
的
instance
和
那个 选举
是 对于
施事体
的
election
赢家
身分
和
那个 选举
是 对于
那个 施事体
和
实数
的
vote
收到部分
那个 身分
,
然后 不存在
另一个 施事体
和
另一个 实数
这样
那个 选举
是 对于
那个 另外 施事体
和
那个 另外 实数
的
vote
收到部分
那个 身分
和
那个 施事体
不
equal
那个 另外 施事体
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2365-2384
如果
过程
是
飓风
的
instance
和
时速级数属性
是
萨菲尔辛普森飓风风力等级
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
那个 测量单位
equal
那个 客体
地区在
那个 过程
出现 的
time
时段的
Mean1MinuteWindSpeedFn
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
如果
协议
是
银行定期贷款
的
instance
和
时距
是
那个 协议
的
agreement
週期 和
那个 时距
的
duration
是
实数
年持续时间
,
然后
那个 实数
是
greaterThanOrEqualTo
1
(=>
(
and
(
instance
?M
Mutton
)
(
part
?M ?S)
(
instance
?S
Sheep
)
(
age
?S
(
MeasureFn
?A
MonthDuration
)))
(
greaterThanOrEqualTo
?A 12))
Economy.kif 4962-4968
如果
客体
是
羊肉
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
羊
的
instance
和
那个 另外 客体
的
age
是
实数
月持续时间
,
然后
那个 实数
是
greaterThanOrEqualTo
12
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2993-3011
如果
客体
是
SemiSkimmedMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2 是
greaterThanOrEqualTo
0.015 和
那个 实数
和
那个 实数
2 是
lessThanOrEqualTo
0.02 和
那个 实数
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3018-3036
如果
客体
是
SkimmedMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2 是
greaterThanOrEqualTo
0.0 和
那个 实数
和
那个 实数
2 是
lessThanOrEqualTo
0.005 和
那个 实数
(=>
(
and
(
instance
?M
WholeMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0325 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.05 ?N)))))
Food.kif 2851-2869
如果
客体
是
WholeMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2 是
greaterThanOrEqualTo
0.0325 和
那个 实数
和
那个 实数
2 是
lessThanOrEqualTo
0.05 和
那个 实数
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
如果
铁路
是
铁路
的
instance
和
那个 铁路
有
标准规
的
attribute
和
实数
仪表
是
那个 铁路
的
track
宽度,
然后
那个 实数
是
greaterThanOrEqualTo
1.435
(=>
(
and
(
instance
?SHIP
MerchantMarineShip
)
(
measure
?SHIP
(
MeasureFn
?GRT
RegistryTon
)))
(
greaterThanOrEqualTo
?GRT 1000))
Transportation.kif 1029-1033
如果
物理
是
商船海运
的
instance
和
那个 物理
的
measure
是
实数
注册表吨
,
然后
那个 实数
是
greaterThanOrEqualTo
1000
(=>
(
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
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account))
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
instance
?Cash
Currency
)
(
patient
?Transaction ?Cash)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableCash
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3838-3852
如果
金融交易
是
金融交易
的
instance
和
金融账户
的
currency
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
实体
是
货币
的
instance
和
那个 实体
是
那个 金融交易
的
patient
和
那个 金融交易
的
date
是
日
,
然后 有存在
另一个 实数
这样
那个 金融账户
在
那个 日
的
available
cash
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThanOrEqualTo
那个 另外 实数
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction ?Account)
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableBalance
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3815-3827
如果
金融交易
是
金融交易
的
instance
和
金融账户
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 金融交易
的
date
是
日
,
然后 有存在
另一个 实数
这样
那个 金融账户
在
那个 日
的
available
balance
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThanOrEqualTo
那个 另外 实数
(=>
(
and
(
instance
?UNIT
UnitOfLength
)
(
lengthOfExpresswaySystem
?AREA
(
MeasureFn
?LENGTH1 ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH2 ?UNIT)))
(
greaterThanOrEqualTo
?LENGTH2 ?LENGTH1))
Transportation.kif 587-592
如果
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
地理区域
的高速公路系统
length
和
另一个 实数
那个 测量单位
是
那个 地理区域
的铺设铁路
length
,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
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
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowerMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
greaterThanOrEqualTo
?AMOUNT 756.0))))
Economy.kif 456-463
如果
时距
是
时距
的
instance
和
中低收入国家
是
地缘政治区域
的
economy
类别 在
那个 时距
holdsDuring
,
然后 有存在
实数
这样
那个 地缘政治区域
是 对于
那个 时距
在周期
那个 实数
美国美元
的
per
人头 GDP 和
那个 实数
是
greaterThanOrEqualTo
756.0
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
UpperMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
greaterThanOrEqualTo
?AMOUNT 2996.0))))
Economy.kif 481-488
如果
时距
是
时距
的
instance
和
中上收入国家
是
地缘政治区域
的
economy
类别 在
那个 时距
holdsDuring
,
然后 有存在
实数
这样
那个 地缘政治区域
是 对于
那个 时距
在周期
那个 实数
美国美元
的
per
人头 GDP 和
那个 实数
是
greaterThanOrEqualTo
2996.0
(=>
(
and
(
meltingPoint
?TYPE
(
MeasureFn
?MELT ?U))
(
boilingPoint
?TYPE
(
MeasureFn
?BOIL ?U)))
(
greaterThanOrEqualTo
?BOIL ?MELT))
Merge.kif 13895-13899
如果
实数
测量单位
是
有点 純物质
的
melting
点 和
另一个 实数
那个 测量单位
是
有点 純物质
的
boiling
点,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
memberCount
?GROUP ?NUMBER1)
(
memberTypeCount
?GROUP ?TYPE ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 22679-22683
如果
整数
是
群体
的
member
计数 和
那个 群体
对于
非负整数
的
member
类别计数
类
,
然后
那个 整数
是
greaterThanOrEqualTo
那个 非负整数
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 852-860
如果
实数
年持续时间
是
地缘政治区域
的
military
年纪 和
那个 地缘政治区域
是
军事组织
的
military
区域 和
物理
是
那个 军事组织
的
member
和
那个 物理
的
age
是
另一个 实数
年持续时间
,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))))
Military.kif 840-850
如果
实数
年持续时间
是
地缘政治区域
的
military
年纪 和
那个 地缘政治区域
是
军事组织
的
military
区域 和
物理
是
那个 军事组织
的
member
,
然后 有存在
另一个 实数
这样
那个 物理
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
minCardinality
?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)
(
greaterThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2174-2187
如果 那里至少有
整数
values
对于
关系
的参数
正整数
和
那个 关系
是
谓语
的
instance
,
然后 有存在
类
,
实体
, and 和 @ARGS 这样
那个 类
是
集或类
的
instance
和
如果
那个 关系
@ARGS 和
那个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 实体
是
那个 类
的
instance
和
那个 类
instance
的数量 是
greaterThanOrEqualTo
那个 整数
(=>
(
and
(
numberSeniorOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?AGE)
(
and
(
instance
?COL
GroupOfPeople
)
(
forall
(?X)
(=>
(
member
?X ?COL)
(
and
(
instance
?X
HumanAdult
)
(
age
?X
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE 60))))
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2925-2940
如果
HotelReservation
是对于
整数
seniors
和
施事体
fulfills
那个 HotelReservation
,
然后 有存在
群体
和
实数
这样
那个 群体
是
一群人
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
人类成人
的
instance
和
那个 物理
的
age
是
那个 实数
年持续时间
和
那个 实数
是
greaterThanOrEqualTo
60
和
那个 整数
是
那个 群体
的
member
计数 和
那个 群体
是个
potential
customer
对于
那个 施事体
(=>
(
and
(
seatsInOrganizationCount
?ORG ?SEATS)
(
memberCount
?ORG ?MEMBERS))
(
greaterThanOrEqualTo
?SEATS ?MEMBERS))
Government.kif 2074-2078
如果
整数
是
机构
在组织 的数量
seats
和
另一个 整数
是
那个 机构
的
member
计数,
然后
那个 整数
是
greaterThanOrEqualTo
那个 另外 整数
(=>
(
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
那个 另外 实数
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