greaterThan
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
如果
governorSpeed
SpeedGovernor
and
函数量
和
实数
英里每小時
equal
长度测量
除以
持续时间
和
另一个 实数
英里每小時
equal
另一个 长度测量
除以
另一个 持续时间
和
那个 实数
是
greaterThan
那个 另外 实数
和
那个 实数
PROB
equal
那个 SpeedGovernor
的
measure
是
那个 实数
英里每小時
的机率 和
那个 另外 实数
PROB
equal
那个 SpeedGovernor
的
measure
是
那个 另外 实数
英里每小時
的机率,
然后
那个 另外 实数
PROB 是
greaterThan
那个 实数
PROB
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
instance
?B
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?A1
(
AdditionFn
49 ?Y))
(
equal
?A2
(
AdditionFn
52 ?Y))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23916-23932
如果
Menopausal
是
人类
的
attribute
在
时距
holdsDuring
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
和
实数
equal
(49 和
整数
) 和
另一个 实数
equal
(52 和
那个 整数
) 和
时点
equal
那个 时距
的开始,
然后
那个 时点
是
greaterThan
那个 实数
和
那个 另外 实数
是
greaterThan
那个 时点
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
如果
实体
是
另一个 实体
的
attribute
在
时距
holdsDuring
和
那个 另外 实体
是
ChronicDisease
的
instance
和
那个 时距
的
duration
是
实数
,
然后
那个 实数
是
greaterThan
3
月持续时间
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
如果
Dieting
是
施事体
的
attribute
在
时距
holdsDuring
和
Dieting
不 是
那个 施事体
的
attribute
在
另一个 时距
holdsDuring
和
客体
是
Meal
的
instance
和
过程
是
进食
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
resource
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
的
measure
是
实数
卡路里
和
另一个 客体
是
Meal
的
instance
和
另一个 过程
是
进食
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 客体
是
那个 另外 过程
的
resource
和
那个 另外 过程
出现 的
time
在
那个 另外 时距
时段内发生 和
那个 另外 客体
的
measure
是
另一个 实数
卡路里
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?TIME
(
capitalExpendituresOfArea
?AREA ?CAPAMOUNT))
(
holdsDuring
?TIME
(
annualExpendituresOfArea
?AREA ?TOTALAMOUNT)))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1558-1562
如果
实数
是
实体
的
capital
地区支出 在
时间位置
holdsDuring
和
另一个 实数
是
那个 实体
在
annual
地区消费 在
那个 时间位置
holdsDuring
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
immediateInstance
?BIG ?CLASS)
(
immediateInstance
?NORMAL ?CLASS)
(
attribute
?BIG
Oversized
))
(
exists
(?BIGSIZE ?NORMALSIZE ?U)
(
and
(
instance
?U
UnitOfMeasure
)
(
measure
?BIG
(
MeasureFn
?BIGSIZE ?U))
(
measure
?NORMAL
(
MeasureFn
?NORMALSIZE ?U))
(
greaterThan
?BIGSIZE ?NORMALSIZE))))
Hotel.kif 1172-1184
如果
客体
是
类
的
immediateInstance
和
物理
是
那个 类
的
immediateInstance
和
Oversized
是
那个 客体
的
attribute
,
然后 有存在
那个 客体
SIZE,
那个 物理
SIZE, and 和
测量单位
这样
那个 测量单位
是
测量单位
的
instance
和
那个 客体
的
measure
是
那个 客体
SIZE
那个 测量单位
和
那个 物理
的
measure
是
那个 物理
SIZE
那个 测量单位
和
那个 客体
SIZE 是
greaterThan
那个 物理
SIZE
(=>
(
and
(
immediateInstance
?X ?CLASS)
(
immediateInstance
?Y ?CLASS)
(
attribute
?X
ColdTemperature
)
(
attribute
?Y
HotTemperature
))
(
exists
(?TEMPX ?TEMPY ?UNIT)
(
and
(
measure
?X
(
MeasureFn
?TEMPX ?UNIT))
(
instance
?UNIT
UnitOfTemperature
)
(
instance
?TEMPX
TemperatureMeasure
)
(
measure
?Y
(
MeasureFn
?TEMPY ?UNIT))
(
instance
?TEMPY
TemperatureMeasure
)
(
greaterThan
?TEMPY ?TEMPX))))
Mid-level-ontology.kif 25722-25737
如果
客体
是
类
的
immediateInstance
和
另一个 客体
是
那个 类
的
immediateInstance
和
ColdTemperature
是
那个 客体
的
attribute
和
HotTemperature
是
那个 另外 客体
的
attribute
,
然后 有存在
实数
,
另一个 实数
, and 和
测量单位
这样
那个 客体
的
measure
是
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 实数
是
温度测量
的
instance
和
那个 另外 客体
的
measure
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
温度测量
的
instance
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
greaterThan
?NUMBER2 ?NUMBER1))
Merge.kif 2606-2611
如果
公式
增加
另一个 公式
发生的机率 和
那个 另外 公式
的机率
equal
实数
和 如果
那个 另外 公式
是正确, 那
那个 公式
的机率就 是
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
如果
客体
是
Antacid
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
另一个 客体
是
胃
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 客体
contains
第三 客体
和
那个 第三 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
before
holdsDuring
和
那个 另外 客体
contains
第四 客体
和
那个 第四 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
after
holdsDuring
和
phMeasure
那个 第三 客体
and
实数
和
phMeasure
那个 第四 客体
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?A
ObliqueAngle
)
(
angularMeasure
?A ?N))
(
greaterThan
?N 90.0))
Mid-level-ontology.kif 4848-4852
如果
二维角度
是
斜角
的
instance
和
实数
是
那个 二维角度
的
angular
量测,
然后
那个 实数
是
greaterThan
90.0
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
如果
客体
是
ProtonPumpInhibitor
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
另一个 客体
是
胃
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 客体
contains
第三 客体
和
那个 第三 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
before
holdsDuring
和
那个 另外 客体
contains
第四 客体
和
那个 第四 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
after
holdsDuring
和
phMeasure
那个 第三 客体
and
实数
和
phMeasure
那个 第四 客体
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
如果
物理系统
是
汽车
的
instance
和
另一个 物理系统
是
汽车
的
instance
和
客体
是
AutomobileShock
的
instance
和
那个 客体
是
那个 物理系统
的
part
和 不存在
另一个 客体
这样
那个 另外 客体
是
AutomobileShock
的
instance
和
那个 另外 客体
是
那个 另外 物理系统
的
part
和
dampingRatio
那个 物理系统
and
实数
和
dampingRatio
那个 另外 物理系统
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
如果
过程
是
加速
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实数
,
另一个 实数
,, ,
第三 实数
,, ,
第四 实数
,, ,
实体
, and 和
另一个 实体
这样
那个 施事体
的
measure
是
那个 实数
那个 实体
除以
那个 第三 实数
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
的
measure
是
那个 另外 实数
那个 实体
除以
那个 第四 实数
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 另外 实数
是
greaterThan
那个 实数
或
那个 第四 实数
是
greaterThan
那个 第三 实数
(=>
(
and
(
instance
?ADULT
HumanAdult
)
(
height
?ADULT
(
MeasureFn
?HEIGHT
Inch
)))
(
not
(
greaterThan
?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217
如果
自身连接物体
是
人类成人
的
instance
和
那个 自身连接物体
的
height
是
实数
英寸
,
然后
那个 实数
不 是
greaterThan
120.0
(=>
(
and
(
instance
?AID
AppleID
)
(
password
?AID ?N)
(
equal
?L
(
StringLengthFn
?N)))
(
greaterThan
?L 7))
ComputingBrands.kif 2018-2023
如果
电脑密码
是
苹果ID
的
instance
和
符号串
有
password
那个 电脑密码
和
非负整数
equal
那个 符号串
的
length
,
然后
那个 非负整数
是
greaterThan
7
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryLongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
greaterThan
?LENGTH 3047))))
Transportation.kif 1464-1474
如果
客体
是
飞机场
的
instance
和
很长的跑道机场
是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
实数
这样
那个 另外 客体
是
跑道
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
的
length
是
那个 实数
仪表
和
那个 实数
是
greaterThan
3047
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
如果
地理区域
是
地理区域
的
instance
和
那个 地理区域
的
elevation
高点 是
那个 地理区域
的
geographic
次要地区 和
实数
测量单位
是
那个 地理区域
的
elevation
高点 的
elevation
,
然后 不存在
另一个 地理区域
和
另一个 实数
这样
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
不
equal
那个 地理区域
的
elevation
高点 和
那个 另外 实数
那个 测量单位
是
那个 另外 地理区域
的
elevation
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
greaterThan
?FRACTION 0.7))
Weather.kif 943-949
如果
地区
是
地理区域
的
instance
和
过程
是
阴云密布的天气
的
instance
和
那个 过程
是
located
在
那个 地区
和
非负实数
那个 地区
,
然后
那个 非负实数
是
greaterThan
0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThan
?FRACTION 0.7))))
Weather.kif 933-941
如果
地区
是
地理区域
的
instance
和
过程
是
阴云密布的天气
的
instance
和
那个 过程
是
located
在
那个 地区
,
然后 有存在
非负实数
这样
那个 非负实数
那个 地区
和
那个 非负实数
是
greaterThan
0.7
(=>
(
and
(
instance
?Account
PersonalAccount
)
(
currentInterestRate
?Account ?Date ?Rate)
(
primeInterestRate
?Date ?PrimeRate))
(
greaterThan
?Rate ?PrimeRate))
FinancialOntology.kif 606-611
如果
金融账户
是
个人账户
的
instance
和
那个 金融账户
对于 %3 的
current
利息率 和
实数
是
日
的
prime
利息率,
然后
另一个 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
如果
过程
是
Braking
的
instance
和
实体
是
那个 过程
的
patient
,
然后
实数
英里每小時
equal
AccelerationFn
另一个 实体
,
第三 实体
,
那个 实体
and
第四 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
另一个 实数
英里每小時
equal
AccelerationFn
那个 另外 实体
,
那个 第三 实体
,
那个 实体
and
那个 第四 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?B
Brine
)
(
measure
?B
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?B)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 35.0)
(
lessThanOrEqualTo
?R 260.0)))
Geography.kif 2873-2884
如果
客体
是
Brine
的
instance
和
那个 客体
的
measure
是 1.0
升
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
盐
的
instance
和
那个 另外 客体
的
measure
是
实数
公克
,
然后
那个 实数
是
greaterThan
35.0 和
那个 实数
是
lessThanOrEqualTo
260.0
(=>
(
and
(
instance
?C
Cream
)
(
part
?C ?O1)
(
instance
?O1
ButterFat
)
(
measure
?O1
(
MeasureFn
?X
Gram
))
(
instance
?M
Milk
)
(
part
?M ?O2)
(
instance
?O2
ButterFat
)
(
measure
?O2
(
MeasureFn
?Y
Gram
)))
(
greaterThan
?X ?Y))
Food.kif 3124-3136
如果
客体
是
Cream
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
的
measure
是
实数
公克
和
第三 客体
是
乳
的
instance
和
那个 第三 客体
是
第四 客体
的
part
和
那个 第四 客体
是
ButterFat
的
instance
和
那个 第四 客体
的
measure
是
另一个 实数
公克
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
如果
地缘政治区域
是
美国城市
的
instance
和
那个 地缘政治区域
是
加州
的
part
和
那个 地缘政治区域
不
equal
洛杉矶加利福尼亚州
,
然后
洛杉矶加利福尼亚州
的
resident
instance
的数量 是
greaterThan
那个 地缘政治区域
的
resident
instance
的数量
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 620-630
如果
过程
是
CPR
的
instance
和
运动
是
Compressing
的
instance
和
客体
%n是
那个 运动
发生的
path
和
那个 运动
%n是
那个 过程
的
subProcess
和
那个 客体
的
length
是
实数
厘米
,
然后
那个 实数
是
greaterThan
5.0 和
那个 实数
是
lessThan
6.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