Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
DeactivatingAnAccount
Sigma KEE - greaterThan
greaterThan
appearance as argument number 1
(
documentation
greaterThan
ChineseLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的
Quantity
比 ?NUMBER2 的
Quantity
要大。")
chinese_format.kif 1731-1732
(
documentation
greaterThan
EnglishLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is greater than the
Quantity
?NUMBER2.")
Merge.kif 1852-1854
(
documentation
greaterThan
JapaneseLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1 が
Quantity
?NUMBER2よりも大きい場合に当てはまる。")
japanese_format.kif 339-340
(
domain
greaterThan
1
RealNumber
)
Merge.kif 1848-1848
域
比較多
, 1 and
RealNumber
(
domain
greaterThan
2
RealNumber
)
Merge.kif 1849-1849
域
比較多
, 2 and
RealNumber
(
instance
greaterThan
BinaryPredicate
)
Merge.kif 1842-1842
例
比較多
and
BinaryPredicate
(
instance
greaterThan
IrreflexiveRelation
)
Merge.kif 1845-1845
例
比較多
and
IrreflexiveRelation
(
instance
greaterThan
RelationExtendedToQuantities
)
Merge.kif 1846-1846
例
比較多
and
RelationExtendedToQuantities
(
instance
greaterThan
TotalValuedRelation
)
Merge.kif 1843-1843
例
比較多
and
TotalValuedRelation
(
instance
greaterThan
TransitiveRelation
)
Merge.kif 1844-1844
例
比較多
and
TransitiveRelation
(
inverse
greaterThan
lessThan
)
Merge.kif 1850-1850
逆
比較多
and
少於
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1847-1847
trichotomizing
比較多
and
RealNumber
appearance as argument number 2
(
comparativeArea
SouthernOcean
greaterThan
2.0
UnitedStates
)
Geography.kif 4676-4676
南部海洋
comparative
地區
比較多
對於 2.0 跟
美國
在一起
(
format
ChineseLanguage
greaterThan
"%1 %n 是
greaterThan
%2")
chinese_format.kif 111-111
(
format
EnglishLanguage
greaterThan
"%1 is %n greater than %2")
english_format.kif 111-111
(
format
FrenchLanguage
greaterThan
"%1 est %n plus grand que %2")
french_format.kif 77-77
(
format
ItalianLanguage
greaterThan
"%1 è %n più grande di %2")
relations-it.txt 121-121
(
format
JapaneseLanguage
greaterThan
"%1 は %2 より greater では %n")
japanese_format.kif 1904-1904
(
format
PortugueseLanguage
greaterThan
"%1 e' %n maior que %2")
portuguese_format.kif 29-29
(
format
cz
greaterThan
"%1 %p{je} %n{nen�} v�t�� ne� %2")
relations-cz.txt 77-77
(
format
de
greaterThan
"%1 ist groesserAls %2 %n{nicht}")
relations-de.txt 127-127
(
format
hi
greaterThan
"%1 %2 se badaa %n hai")
relations-hindi.txt 161-161
(
format
ro
greaterThan
"%1 %n{nu} este greater%t{mai mare} decât %2")
relations-ro.kif 96-96
(
format
sv
greaterThan
"%1 är %n{inte} större än %2")
relations-sv.txt 76-76
(
format
tg
greaterThan
"%1 %n ay mas malaki sa %2")
relations-tg.txt 248-248
(
termFormat
ChineseLanguage
greaterThan
"大于")
chinese_format.kif 112-112
(
termFormat
ChineseLanguage
greaterThan
"比较多")
domainEnglishFormat.kif 26532-26532
(
termFormat
ChineseTraditionalLanguage
greaterThan
"比較多")
domainEnglishFormat.kif 26531-26531
(
termFormat
EnglishLanguage
greaterThan
"greater than")
domainEnglishFormat.kif 26530-26530
(
termFormat
de
greaterThan
"groesserAls")
terms-de.txt 37-37
(
termFormat
tg
greaterThan
"mas malaki sa")
relations-tg.txt 249-249
antecedent
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1007-1011
例
Entity
and
個人賬戶
比較多
基數
卡帕
SymbolicString
and
SymbolicString
持有
account
Entity
and 1
例
Entity
and
聯名賬戶
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
10.0 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 7440-7451
例
Object
and
ParticulateMatter
部分
SelfConnectedObject
and
Object
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Micrometer
比較多
10.0 and
RealNumber
比較多
RealNumber
and 2.5
Object
0
例
Object
0 and
CoarseParticulateMatter
部分
Object
0 and
Object
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
TimeInterval
and
Integer
例
TimeInterval
and
Minute
Integer
例
Integer
and
RecreationOrExercise
agent
Integer
and
AutonomousAgent
期間
TimeInterval
and
何時
Integer
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
人類成人
比較多
Integer
and 16
少於
Integer
and 12
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Healthy
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
沙漠氣候區
是
GeographicArea
地區的
climate
類別
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
RealNumber
and 18.0
亞熱帶沙漠氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
dampingRatio
物理系統
and
RealNumber
比較多
RealNumber
and 0
例
TimeInterval
and
震
患者
TimeInterval
and
物理系統
例
Entity
and
UnitOfLength
持有期間
TimeInterval
and
physicalAmplitude
TimeInterval
and
測量
RealNumber
and
Entity
持有期間
TimeInterval
and
physicalAmplitude
TimeInterval
and
測量
RealNumber
and
Entity
期間
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
比較多
RealNumber
and
RealNumber
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15515-15532
等於
版
ContentBearingObject
and
PositiveInteger
and
ContentBearingObject
等於
版
ContentBearingObject
and
PositiveInteger
and
ContentBearingObject
比較多
PositiveInteger
and
PositiveInteger
例
Process
and
Publication
例
Process
and
Publication
例
Entity
and
ContentBearingObject
例
Entity
and
ContentBearingObject
患者
Process
and
Entity
患者
Process
and
Entity
日期
Process
and
Day
日期
Process
and
Day
之前
結束
Day
and
結束
Day
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3277-3284
等於
RealNumber
and
AverageFn
List
比較多
列表長度
List
and 0
等於
RealNumber
and
部
ListSumFn
List
and
列表長度
List
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3258-3268
等於
RealNumber
and
ListSumFn
List
比較多
列表長度
List
and 1
等於
RealNumber
and
加成
List
的
first
and
ListSumFn
SubListFn
2,
列表長度
List
and
List
(=>
(
and
(
equal
?OUT
(
ReverseFn
?IN))
(
equal
?LEN
(
StringLengthFn
?IN))
(
greaterThan
?LEN 1)
(
greaterThan
?N 0)
(
lessThan
?N ?LEN)
(
equal
?PIVOT
(
CeilingFn
(
DivisionFn
(
SubtractionFn
?LEN 1) 2)))
(
equal
?NEW
(
AdditionFn
(
SubtractionFn
?PIVOT ?N) ?PIVOT))
(
equal
?S
(
SubstringFn
?IN ?N
(
AdditionFn
1 ?N))))
(
equal
?S
(
SubstringFn
?OUT ?NEW
(
AdditionFn
1 ?NEW))))
Media.kif 3068-3089
等於
SymbolicString
and
ReverseFn
SymbolicString
等於
NonnegativeInteger
and
SymbolicString
的
length
比較多
NonnegativeInteger
and 1
比較多
NonnegativeInteger
and 0
少於
NonnegativeInteger
and
NonnegativeInteger
等於
Integer
and
天花板
部
減法
NonnegativeInteger
and 1 and 2
等於
NonnegativeInteger
EW and
加成
減法
Integer
and
NonnegativeInteger
and
Integer
等於
SymbolicString
and
SymbolicString
的
sub
-string 從
NonnegativeInteger
對於
加成
1 and
NonnegativeInteger
等於
SymbolicString
and
SymbolicString
的
sub
-string 從
NonnegativeInteger
EW 對於
加成
1 and
NonnegativeInteger
EW
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3190-3202
等於
List
and
SubListFn
PositiveInteger
,
Integer
and
List
比較多
減法
Integer
and
PositiveInteger
and 1
等於
List
and
列表連接
名單
清單順序
List
and
PositiveInteger
and
SubListFn
加成
1 and
PositiveInteger
,
Integer
and
List
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?VA
(
AdditionFn
(
VarianceAverageFn
?M
(
ListOrderFn
?L 1))
(
VarianceAverageFn
?M
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Weather.kif 1453-1465
等於
RealNumber
and
VarianceAverageFn
Number
and
List
比較多
列表長度
List
and 1
等於
RealNumber
and
加成
VarianceAverageFn
Number
and
清單順序
List
and 1 and
VarianceAverageFn
Number
and
SubListFn
2,
列表長度
List
and
List
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
商船
對
NonnegativeInteger
由來源
GeopoliticalArea
fOC
船隻
比較多
NonnegativeInteger
and 0
船舶登記
是
商船
的
marine
庫存
例
船舶登記
and
便利登記的旗幟
(=>
(
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
(
instance
?AGENT ?CLASS)
(
lethalDose
?CLASS
(
MeasureFn
?NUMBER ?UNIT))
(
greaterThan
?NUMBER 0.0))
(
instance
?AGENT
LifeThreateningAgent
))
WMD.kif 1017-1023
例
Entity
and
生化劑
測量
RealNumber
and
UnitOfMeasure
是
生化劑
的
lethal
劑量
比較多
RealNumber
and 0.0
例
Entity
and
危及生命的特工
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1575-1582
例
GeographicArea
and
GeographicArea
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
10.0 and
RealNumber
極地氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 354-365
例
Process
and
Auctioning
例
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
例
Object
and
Object
例
UnitOfMeasure
and
UnitOfCurrency
患者
Process
and
Object
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
Object
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
Object
比較多
RealNumber
and
RealNumber
目的地
Process
and
AutonomousAgent
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8722-8729
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
開始
TimeInterval
比較多
PositiveInteger
and
PositiveInteger
之前
TimePoint
and
TimePoint
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
greaterThan
?N2 ?N1))
(
earlier
?D1 ?D2))
Merge.kif 8731-8736
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
PositiveInteger
and
PositiveInteger
早期
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThan
?N 12)
(
lessThan
?N 20))
(
holdsDuring
?T1
(
instance
?H
Teenager
)))
Mid-level-ontology.kif 342-348
例
Entity
and
Human
持有期間
TimePosition
and
年齡
Entity
and
測量
RealNumber
and
年持續時間
比較多
RealNumber
and 12
少於
RealNumber
and 20
持有期間
TimePosition
and
例
Entity
and
青少年
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
例
Object
and
港口
Object
對於
RealNumber
equipment
記數
船泊位
比較多
RealNumber
and 0
能力
船靠泊
,
路徑
and
Object
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
例
音調
and
音調
音調
的
frequency
是
測量
RealNumber
and
赫茲
loudness
音調
and
測量
RealNumber
and
Decibel
位於
音調
and
哪裡
Human
and
開始
何時
音調
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and 250
比較多
8000 and
RealNumber
例
Human
and
Human
例
Process
and
聽
agent
Process
and
Human
hearingAcuity
Human
,
測量
RealNumber
and
Decibel
and
測量
RealNumber
and
Decibel
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13863-13878
例
Entity
and
PureSubstance
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
boiling
點
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
melting
點
例
UnitOfMeasure
and
UnitOfTemperature
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
持有期間
TimeInterval
and
attribute
Entity
and
液體
Process
暫時重疊
何時
Process
and
TimeInterval
例
Process
and
Melting
患者
Process
and
Entity
(=>
(
and
(
instance
?SZ
SurfZone
)
(
significantWaveHeight
?SZ
(
WhenFn
?SZ)
(
MeasureFn
?X
FootLength
))
(
greaterThan
?X 8.0))
(
attribute
?SZ
RedFlagSwimmingCondition
))
Weather.kif 1398-1405
例
WaterArea
and
SurfZone
significantWaveHeight
WaterArea
,
何時
WaterArea
and
測量
RealNumber
and
腳長
比較多
RealNumber
and 8.0
attribute
WaterArea
and
RedFlagSwimmingCondition
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
例
TimeInterval
and
TimePeriod
持續時間
TimeInterval
and
測量
RealNumber
and
分鐘
比較多
RealNumber
and 5.0
例
Entity
and
Human
Process
例
Process
and
Breathing
期間
何時
Process
and
TimeInterval
患者
Process
and
Entity
模態屬性
entity
例
entity
and
Death
體驗者
entity
and
Entity
短暫相遇
TimeInterval
and
何時
entity
and
容易
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13798-13807
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
比較多
29.92 and
RealNumber
測量
RealNumber
and
凱文度
是
PureSubstance
的
boiling
點
測量
Object
and
測量
RealNumber
and
凱文度
比較多
RealNumber
and
RealNumber
attribute
Object
and
加油站
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
attribute
?WATER
OpenSea
)
(
exists
(?LAND ?DIST)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0))))
Geography.kif 4711-4720
attribute
Object
and
公海
Physical
RealNumber
例
Object
and
SaltWaterArea
例
Object
and
內陸水域
距離
Physical
,
Object
and
測量
RealNumber
and
海裡
比較多
RealNumber
and 5.0
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 272-293
RealNumber
是
List
的
average
List
PositiveInteger
等於
列表長度
List
and
列表長度
List
等於
清單順序
List
and 1 and
清單順序
List
and 1
PositiveInteger
在列表中
PositiveInteger
and
List
RealNumber
RealNumber
MINUSONE,
PositiveInteger
and
PositiveInteger
比較多
RealNumber
and 1
小於或等於
RealNumber
and
列表長度
List
等於
清單順序
List
and
PositiveInteger
and
RealNumber
在列表中
PositiveInteger
and
List
等於
RealNumber
and
清單順序
List
and
PositiveInteger
在列表中
PositiveInteger
and
List
等於
RealNumber
MINUSONE and
減法
RealNumber
and 1
等於
RealNumber
MINUSONE and
清單順序
List
and
PositiveInteger
等於
PositiveInteger
and
加成
PositiveInteger
and
PositiveInteger
等於
PositiveInteger
and
列表長度
List
等於
RealNumber
and
部
清單順序
List
and
PositiveInteger
and
PositiveInteger
(<=>
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
greaterThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1885-1889
大於或等於
RealNumber
and
RealNumber
等於
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1937-1941
例
RealNumber
and
PositiveRealNumber
比較多
RealNumber
and 0
例
RealNumber
and
RealNumber
(<=>
(
larger
?OBJ1 ?OBJ2)
(
forall
(?QUANT1 ?QUANT2 ?UNIT)
(=>
(
and
(
measure
?OBJ1
(
MeasureFn
?QUANT1 ?UNIT))
(
measure
?OBJ2
(
MeasureFn
?QUANT2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
greaterThan
?QUANT1 ?QUANT2))))
Merge.kif 7758-7766
更大
Object
and
Object
RealNumber
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and
RealNumber
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1754-1759
attribute
Object
and
平坦的地形
部分
LandArea
and
Object
NonnegativeRealNumber
是
LandArea
的
slope
梯度
比較多
0.005 and
NonnegativeRealNumber
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1766-1771
attribute
Object
and
低地形
部分
LandArea
and
Object
NonnegativeRealNumber
是
LandArea
的
slope
梯度
比較多
0.03 and
NonnegativeRealNumber
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
attribute
Object
and
FamilyStylePortion
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
attribute
Object
and
FamilyStylePortion
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Class
例
Object
and
Class
例
UnitOfMeasure
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
attribute
AutonomousAgent
and
穆斯林
等於
財富
AutonomousAgent
and
CurrencyMeasure
模態屬性
entity
entity
,
entity
,
entity
and
entity
例
entity
and
天課
例
entity
and
年
期間
entity
and
何時
AutonomousAgent
持有期間
entity
and
attribute
AutonomousAgent
and
完全成型
agent
entity
and
AutonomousAgent
患者
entity
and
entity
貨幣價值
entity
and
測量
entity
and
entity
例
entity
and
UnitOfCurrency
比較多
entity
and
乘法
CurrencyMeasure
and 0.025 and
義務
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
attribute
AutonomousAgent
and
ADHD
attribute
AutonomousAgent
and
ADHD
等於
AutonomousAgent
and
AutonomousAgent
例
Process
and
Class
例
Process
and
Class
子類
Class
and
IntentionalPsychologicalProcess
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
持續時間
何時
Process
and
TimeDuration
持續時間
何時
Process
and
TimeDuration
模態屬性
比較多
TimeDuration
and
TimeDuration
and
容易
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
attribute
Object
and
Oversized
立即實例
Object
and
Class
子類
Class
and
HotelUnit
Physical
RealNumber
,
RealNumber
and
UnitOfMeasure
立即實例
Physical
and
Class
例
UnitOfMeasure
and
UnitOfArea
測量
Physical
and
測量
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
RealNumber
and
AreaMeasure
例
RealNumber
and
AreaMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Day
Integer
Human
的
birthday
是
Day
子類
Day
and
Day
例
Integer
and
Integer
等於
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
Integer
and
Integer
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1538-1544
GeopoliticalArea
在週期
測量
RealNumber
and
UnitOfMeasure
對於
TimeInterval
的
capital
地區支出
GeopoliticalArea
對於
TimeInterval
在週期
測量
RealNumber
and
UnitOfMeasure
的
annual
地區消費
比較多
RealNumber
and
RealNumber
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1522-1530
寒冷氣候帶
是
GeographicArea
地區的
climate
類別
TimeInterval
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
10.0 and
RealNumber
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
極地型F氣候區
是
GeographicArea
地區的
climate
類別
例
TimePosition
and
TimePosition
持有期間
TimePosition
and
測量
entity
and
攝氏度
是
GeographicArea
的
air
溫度
持有期間
TimePosition
and
比較多
10.0 and
entity
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
dampingRatio
物理系統
and
RealNumber
比較多
RealNumber
and 0
例
TimeInterval
and
震
患者
TimeInterval
and
物理系統
例
Entity
and
UnitOfLength
持有期間
TimeInterval
and
physicalAmplitude
TimeInterval
and
測量
RealNumber
and
Entity
持有期間
TimeInterval
and
physicalAmplitude
TimeInterval
and
測量
RealNumber
and
Entity
期間
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
比較多
RealNumber
and
RealNumber
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18446-18451
defaultMaxValue
Predicate
,
PositiveInteger
and
Quantity
Predicate
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
模態屬性
比較多
Quantity
and
Entity
and
容易
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13536-13545
Object
的
maximum
預期價值是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
模態屬性
entity
RealNumber
UANTITY
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
UnitOfMeasure
比較多
RealNumber
UANTITY and
RealNumber
and
較不可能
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13547-13558
Object
的
maximum
預期價值是
測量
RealNumber
and
UnitOfMeasure
子類
Class
and
NonCompositeUnitOfMeasure
例
UnitOfMeasure
and
Class
模態屬性
entity
RealNumber
UANTITY and
entity
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
entity
例
entity
and
Class
比較多
測量
RealNumber
UANTITY and
entity
and
測量
RealNumber
and
UnitOfMeasure
and
較不可能
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13486-13497
Object
的
maximum
預期半徑是
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Object
attribute
Object
and
球
模態屬性
RealNumber
ADIUS
Object
的
radius
是
測量
RealNumber
ADIUS and
UnitOfMeasure
比較多
RealNumber
ADIUS and
RealNumber
and
較不可能
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 13566-13575
Object
的預期
value
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
模態屬性
entity
RealNumber
UANTITY
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
UnitOfMeasure
比較多
RealNumber
UANTITY and
乘法
RealNumber
and 1.5 and
較不可能
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18429-18434
defaultMinValue
Predicate
,
PositiveInteger
and
Quantity
Predicate
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
模態屬性
比較多
Entity
and
Quantity
and
容易
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
內燃機
and
RotationFn
測量
RealNumber
and
MilesPerHour
and
TimeDuration
例
Object
and
汽車
例
Process
and
GasPedal
例
Process
and
Pushing
目的地
Process
and
Object
部分
內燃機
and
Object
部分
Object
and
Object
例
Object
and
Crankshaft
部分
Object
and
內燃機
持有期間
何時
Process
and
測量
Object
and
RotationFn
測量
entity
and
MilesPerHour
and
TimeDuration
模態屬性
比較多
entity
and
RealNumber
and
容易
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
等於
最大公約數
@ROW and
Integer
等於
Integer
and 0
Integer
比較多
Integer
and
Integer
Integer
在列表中
Integer
and
名單
@ROW
等於
剩餘
Integer
and
Integer
and 0
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
等於
Organization
and
DepartmentOfFn
Organization
and
Physical
子組織
Organization
and
Organization
等於
Organization
and
Organization
例
Entity
and
Physical
在感興趣的範圍內
Organization
and
Entity
等於
RealNumber
and
可能性
agent
entity
and
Organization
等於
entity
and
可能性
agent
entity
and
Organization
比較多
RealNumber
and
entity
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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