greaterThan
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
凱文度
是
PureSubstance
的
boiling
點
測量
RealNumber
and
凱文度
是
PureSubstance
的
melting
點
測量
Object
and
測量
RealNumber
and
凱文度
比較多
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
attribute
Object
and
液體
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
凱文度
是
PureSubstance
的
melting
點
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
比較多
RealNumber
and 29.92
測量
Object
and
測量
RealNumber
and
凱文度
少於
RealNumber
and
RealNumber
attribute
Object
and
固體
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
?T1
(
BeginFn
?Y1))
(
equal
?T2
(
BeginFn
?Y2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8690-8697
例
TimeInterval
and
年
Integer
例
TimeInterval
and
年
Integer
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
開始
TimeInterval
比較多
Integer
and
Integer
之前
TimePoint
and
TimePoint
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8699-8704
例
TimeInterval
and
年
Integer
例
TimeInterval
and
年
Integer
比較多
Integer
and
Integer
早期
TimeInterval
and
TimeInterval
(=>
(
and
(
lengthOfBroadGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
BroadGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 191-199
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的軌道
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
寬軌鐵路
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfDualGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
DualGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 219-227
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的雙軌規格
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
DualGaugeRailway
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfElectrifiedRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
ElectrifiedRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 135-143
測量
RealNumber
and
英里
是
GeographicArea
的電場軌道
length
比較多
RealNumber
and 0
Physical
例
Physical
and
電氣化鐵路
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfExpresswaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
Expressway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 577-585
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的高速公路系統
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
高速公路
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfMultipleTrackRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
MultipleTrackRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 163-171
測量
RealNumber
and
英里
是
GeographicArea
的多軌鐵路
length
比較多
RealNumber
and 0
Physical
例
Physical
and
多軌鐵路
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfNarrowGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
NarrowGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 246-254
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的短規格鐵路的
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
窄軌鐵路
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
SurfacedRoadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 551-559
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的鋪設鐵路
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
浮出水面的巷道
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfStandardGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
StandardGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 274-282
測量
RealNumber
and
UnitOfMeasure
GeographicArea
的 標準規格管線
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
標準軌距鐵路
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfUnclassifiedGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
Railway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 308-316
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的未分類規格軌道
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
鐵路
位於
Physical
and
GeographicArea
(=>
(
and
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
UnsurfacedRoadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 610-618
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的未鋪設高速公路
length
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
沒有鋪面的巷道
位於
Physical
and
GeographicArea
(=>
(
and
(
measure
?P1
(
MeasureFn
?N1
Lumen
))
(
measure
?P2
(
MeasureFn
?N2
Lumen
))
(
part
?P1 ?O)
(
part
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
greaterThan
?N1 ?N2)
(
equal
(
DivisionFn
?N1 ?N2) ?R)
(
contrastRatio
?O ?R))
(
not
(
exists
(?P3 ?P4 ?N3 ?N4)
(
and
(
measure
?P3
(
MeasureFn
?N3
Lumen
))
(
measure
?P4
(
MeasureFn
?N4
Lumen
))
(
part
?P3 ?O)
(
part
?P4 ?O)
(
not
(
equal
?P3 ?P4))
(
greaterThan
?N3 ?N4)
(
greaterThan
(
DivisionFn
?N3 ?N4) ?R)))))
ComputingBrands.kif 3735-3756
測量
Object
and
測量
RealNumber
and
流明
測量
Object
and
測量
RealNumber
and
流明
部分
Object
and
Object
部分
Object
and
Object
等於
Object
and
Object
比較多
RealNumber
and
RealNumber
等於
部
RealNumber
and
RealNumber
and
RealNumber
contrastRatio
Object
and
RealNumber
Object
Object
,
RealNumber
and
RealNumber
測量
Object
and
測量
RealNumber
and
流明
測量
Object
and
測量
RealNumber
and
流明
部分
Object
and
Object
部分
Object
and
Object
等於
Object
and
Object
比較多
RealNumber
and
RealNumber
比較多
部
RealNumber
and
RealNumber
and
RealNumber
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
測量
RealNumber
and
儀表
是草案
WaterArea
的
navigable
測量
RealNumber
and
儀表
是
水車
的
laden
草案
比較多
RealNumber
and
RealNumber
能力
水車
的
trip
,
路徑
and
WaterArea
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 863-872
方位
Object
,
Region
and
外
例
Object
and
Region
的
perimeter
地區
例
Object
and
均勻的周邊區域
寬度
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Region
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
比較多
減法
RealNumber
and
RealNumber
and 0.0
位於
Object
and
Object
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
協議
是
CognitiveAgent
的
party
協議
例
Process
and
IntentionalProcess
位於
Process
and
GeopoliticalArea
例
GeopoliticalArea
and
Nation
位於
Process
and
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
ageOfMajorityForProcess
測量
RealNumber
and
年持續時間
,
GeopoliticalArea
and
Process
結果
Process
and
內容承載物理
內容承載物理
是
協議
的
record
持有期間
何時
Process
and
年齡
CognitiveAgent
and
測量
entity
and
年持續時間
比較多
entity
and
RealNumber
attribute
協議
and
合法
(=>
(
and
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11082-11092
路徑
Motion
and
Object
起源
Motion
and
Object
目的地
Motion
and
Object
length
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
部分
Object
and
Object
之間
Object
,
Object
and
Object
(=>
(
and
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14624-14638
子類
Series
and
Periodical
等於
系列卷
Series
and
PositiveInteger
and
Text
等於
系列卷
Series
and
PositiveInteger
and
Text
比較多
PositiveInteger
and
PositiveInteger
例
Process
and
Publication
例
Process
and
Publication
例
Entity
and
Text
例
Entity
and
Text
患者
Process
and
Entity
患者
Process
and
Entity
日期
Process
and
Day
日期
Process
and
Day
之前
結束
Day
and
結束
Day
(=>
(
and
(
topSpeed
?V
(
MeasureFn
?Q ?CU))
(
instance
?CU
CompositeUnitOfMeasure
)
(
instance
?UL
UnitOfLength
)
(
instance
?UD
UnitOfDuration
)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L1 ?UL)
(
MeasureFn
?T1 ?UD)))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L2 ?UL)
(
MeasureFn
?T2 ?UD)))))
(
greaterThan
(
SpeedFn
?L1 ?T1) ?Q)
(
greaterThan
?Q
(
SpeedFn
?L2 ?T2)))
(
greaterThan
?SLOWPROB ?FASTPROB))
Transportation.kif 1718-1736
車輛
的
top
speed
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
例
Entity
and
UnitOfLength
例
Entity
and
UnitOfDuration
等於
RealNumber
and
可能性
測量
車輛
and
速度
測量
LengthMeasure
and
Entity
and
測量
TimeDuration
and
Entity
等於
RealNumber
and
可能性
測量
車輛
and
速度
測量
LengthMeasure
and
Entity
and
測量
TimeDuration
and
Entity
比較多
速度
LengthMeasure
and
TimeDuration
and
RealNumber
比較多
RealNumber
and
速度
LengthMeasure
and
TimeDuration
比較多
RealNumber
and
RealNumber
(=>
(
and
(
totalFacilityTypeInArea
?AREA
(
ExtensionFn
AirportWithUnpavedRunway
) ?COUNT)
(
greaterThan
?COUNT 0))
(
exists
(?AIRPORT ?RUNWAY)
(
and
(
instance
?AIRPORT
Airport
)
(
instance
?RUNWAY
UnpavedRunway
)
(
part
?RUNWAY ?AIRPORT)
(
located
?AIRPORT ?AREA))))
Transportation.kif 1482-1491
GeographicArea
是 對於
NonnegativeInteger
在地區
延期
機場有著未鋪砌的跑道
的
total
設施類別
比較多
NonnegativeInteger
and 0
Object
Object
例
Object
and
飛機場
例
Object
and
未鋪砌的跑道
部分
Object
and
Object
位於
Object
and
GeographicArea
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
Roadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 493-501
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
高速公路系統長度
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
巷道
位於
Physical
and
GeographicArea
(=>
(
and
(
totalLengthOfRailwaySystem
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
Railway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 107-115
測量
RealNumber
and
英里
是
GeographicArea
的
total
鐵路系統長度
比較多
RealNumber
and 0
Physical
例
Physical
and
鐵路
位於
Physical
and
GeographicArea
(=>
(
and
(
totalLengthOfWaterways
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?WATERWAY)
(
and
(
instance
?WATERWAY
Waterway
)
(
located
?WATERWAY ?AREA))))
Transportation.kif 665-673
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
水路長路
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and 0
Physical
例
Physical
and
水路
位於
Physical
and
GeographicArea
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