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
FunctionQuantity
等於
測量
RealNumber
and
MilesPerHour
and
速度
LengthMeasure
and
TimeDuration
等於
測量
RealNumber
and
MilesPerHour
and
速度
LengthMeasure
and
TimeDuration
比較多
RealNumber
and
RealNumber
等於
RealNumber
PROB and
可能性
測量
SpeedGovernor
and
測量
RealNumber
and
MilesPerHour
等於
RealNumber
PROB and
可能性
測量
SpeedGovernor
and
測量
RealNumber
and
MilesPerHour
比較多
RealNumber
PROB and
RealNumber
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
持有期間
TimeInterval
and
attribute
Human
and
Menopausal
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
RealNumber
and
加成
49 and
Integer
等於
RealNumber
and
加成
52 and
Integer
等於
TimePoint
and
開始
TimeInterval
模態屬性
比較多
TimePoint
and
RealNumber
比較多
RealNumber
and
TimePoint
and
容易
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
持有期間
TimeInterval
and
attribute
Entity
and
entity
例
Entity
and
ChronicDisease
持續時間
TimeInterval
and
RealNumber
比較多
RealNumber
and
測量
3 and
月持續時間
(=>
(
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
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
例
Object
and
Meal
例
Process
and
Eating
agent
Process
and
AutonomousAgent
資源
Process
and
Object
期間
何時
Process
and
TimeInterval
測量
Object
and
測量
RealNumber
and
卡路里
例
Object
and
Meal
例
Process
and
Eating
agent
Process
and
AutonomousAgent
資源
Process
and
Object
期間
何時
Process
and
TimeInterval
測量
Object
and
測量
RealNumber
and
卡路里
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
and
(
holdsDuring
?TIME
(
capitalExpendituresOfArea
?AREA ?CAPAMOUNT))
(
holdsDuring
?TIME
(
annualExpendituresOfArea
?AREA ?TOTALAMOUNT)))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1558-1562
持有期間
TimePosition
and
RealNumber
是
entity
的
capital
地區支出
持有期間
TimePosition
and
RealNumber
是
entity
在
annual
地區消費
比較多
RealNumber
and
RealNumber
(=>
(
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
立即實例
Object
and
Class
立即實例
Physical
and
Class
attribute
Object
and
Oversized
Object
SIZE
Physical
SIZE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
測量
Object
and
測量
Object
SIZE and
UnitOfMeasure
測量
Physical
and
測量
Physical
SIZE and
UnitOfMeasure
比較多
Object
SIZE and
Physical
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
立即實例
Object
and
Class
立即實例
Object
and
Class
attribute
Object
and
ColdTemperature
attribute
Object
and
HotTemperature
RealNumber
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfTemperature
例
RealNumber
and
TemperatureMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
RealNumber
and
TemperatureMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
greaterThan
?NUMBER2 ?NUMBER1))
Merge.kif 2606-2611
增加可能性
Formula
and
Formula
等於
可能性
Formula
and
RealNumber
條件概率
Formula
,
Formula
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Object
and
Antacid
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
Object
and
胃
部分
Object
and
AutonomousAgent
持有期間
不久的過去
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
持有期間
眼前的未來
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
phMeasure
Object
and
RealNumber
phMeasure
Object
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?A
ObliqueAngle
)
(
angularMeasure
?A ?N))
(
greaterThan
?N 90.0))
Mid-level-ontology.kif 4848-4852
例
二維角度
and
斜角
RealNumber
是
二維角度
的
angular
量測
比較多
RealNumber
and 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
例
Object
and
ProtonPumpInhibitor
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
Object
and
胃
部分
Object
and
AutonomousAgent
持有期間
不久的過去
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
持有期間
眼前的未來
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
phMeasure
Object
and
RealNumber
phMeasure
Object
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
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
例
物理系統
and
汽車
例
物理系統
and
汽車
例
Object
and
AutomobileShock
部分
Object
and
物理系統
Object
例
Object
and
AutomobileShock
部分
Object
and
物理系統
dampingRatio
物理系統
and
RealNumber
dampingRatio
物理系統
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
加速
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
,
RealNumber
,
RealNumber
,
entity
and
entity
持有期間
開始
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
持有期間
結束
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?ADULT
HumanAdult
)
(
height
?ADULT
(
MeasureFn
?HEIGHT
Inch
)))
(
not
(
greaterThan
?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217
例
SelfConnectedObject
and
人類成人
高度
SelfConnectedObject
and
測量
RealNumber
and
英寸
比較多
RealNumber
and 120.0
(=>
(
and
(
instance
?AID
AppleID
)
(
password
?AID ?N)
(
equal
?L
(
StringLengthFn
?N)))
(
greaterThan
?L 7))
ComputingBrands.kif 2018-2023
例
電腦密碼
and
蘋果ID
SymbolicString
有
password
電腦密碼
等於
NonnegativeInteger
and
SymbolicString
的
length
比較多
NonnegativeInteger
and 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
例
Object
and
飛機場
attribute
Object
and
很長的跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
比較多
RealNumber
and 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
例
GeographicArea
and
GeographicArea
GeographicArea
的
elevation
高點 是
GeographicArea
的
geographic
次要地區
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
高點 的
elevation
GeographicArea
RealNumber
GeographicArea
是
GeographicArea
的
geographic
次要地區
等於
GeographicArea
and
GeographicArea
的
elevation
高點
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
greaterThan
?FRACTION 0.7))
Weather.kif 943-949
例
Region
and
GeographicArea
例
Process
and
陰雲密布的天氣
Process
是
located
在
Region
NonnegativeRealNumber
Region
比較多
NonnegativeRealNumber
and 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
例
Region
and
GeographicArea
例
Process
and
陰雲密布的天氣
Process
是
located
在
Region
NonnegativeRealNumber
NonnegativeRealNumber
Region
比較多
NonnegativeRealNumber
and 0.7
(=>
(
and
(
instance
?Account
PersonalAccount
)
(
currentInterestRate
?Account ?Date ?Rate)
(
primeInterestRate
?Date ?PrimeRate))
(
greaterThan
?Rate ?PrimeRate))
FinancialOntology.kif 606-611
例
金融賬戶
and
個人賬戶
金融賬戶
對於 %3 的
current
利息率
RealNumber
是
Day
的
prime
利息率
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
Braking
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
等於
測量
RealNumber
and
MilesPerHour
and
AccelerationFn
entity
,
entity
,
Entity
and
entity
持有期間
眼前的未來
何時
Process
and
等於
測量
RealNumber
and
MilesPerHour
and
AccelerationFn
entity
,
entity
,
Entity
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Object
and
Brine
測量
Object
and
測量
1.0 and
升
部分
Object
and
Object
例
Object
and
鹽
測量
Object
and
測量
RealNumber
and
公克
比較多
RealNumber
and 35.0
小於或等於
RealNumber
and 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
例
Object
and
Cream
部分
Object
and
Object
例
Object
and
ButterFat
測量
Object
and
測量
RealNumber
and
公克
例
Object
and
奶
部分
Object
and
Object
例
Object
and
ButterFat
測量
Object
and
測量
RealNumber
and
公克
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
例
GeopoliticalArea
and
美國城市
部分
GeopoliticalArea
and
加州
等於
GeopoliticalArea
and
洛杉磯加利福尼亞州
比較多
基數
洛杉磯加利福尼亞州
的
resident
and
基數
GeopoliticalArea
的
resident
(=>
(
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
例
Process
and
CPR
例
Motion
and
Compressing
路徑
Motion
and
Object
子過程
Motion
and
Process
length
Object
and
測量
RealNumber
and
厘米
比較多
RealNumber
and 5.0
少於
RealNumber
and 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