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
lessThan
Sigma KEE - lessThan
lessThan
appearance as argument number 1
(
documentation
lessThan
ChineseLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) 是真的 以防 ?NUMBER1 的
Quantity
比 ?NUMBER2 的
Quantity
要少。")
chinese_format.kif 1729-1730
(
documentation
lessThan
EnglishLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is less than the
Quantity
?NUMBER2.")
Merge.kif 1839-1840
(
documentation
lessThan
JapaneseLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1 が
Quantity
?NUMBER2 より小さい場合に当てはまる。")
japanese_format.kif 337-338
(
domain
lessThan
1
RealNumber
)
Merge.kif 1836-1836
域
少於
, 1 and
RealNumber
(
domain
lessThan
2
RealNumber
)
Merge.kif 1837-1837
域
少於
, 2 and
RealNumber
(
instance
lessThan
BinaryPredicate
)
Merge.kif 1831-1831
例
少於
and
BinaryPredicate
(
instance
lessThan
IrreflexiveRelation
)
Merge.kif 1833-1833
例
少於
and
IrreflexiveRelation
(
instance
lessThan
RelationExtendedToQuantities
)
Merge.kif 1834-1834
例
少於
and
RelationExtendedToQuantities
(
instance
lessThan
TransitiveRelation
)
Merge.kif 1832-1832
例
少於
and
TransitiveRelation
(
trichotomizingOn
lessThan
RealNumber
)
Merge.kif 1835-1835
trichotomizing
少於
and
RealNumber
appearance as argument number 2
(
format
ChineseLanguage
lessThan
"%1 %n 是
lessThan
%2")
chinese_format.kif 141-141
(
format
EnglishLanguage
lessThan
"%1 is %n less than %2")
english_format.kif 142-142
(
format
FrenchLanguage
lessThan
"%1 est %n moins que %2")
french_format.kif 92-92
(
format
ItalianLanguage
lessThan
"%1 è %n meno di%2")
relations-it.txt 163-163
(
format
JapaneseLanguage
lessThan
"%1 は %2 より less では %n")
japanese_format.kif 1919-1919
(
format
PortugueseLanguage
lessThan
"%1 e' %n menos que %2")
portuguese_format.kif 44-44
(
format
cz
lessThan
"%1 %p{je} %n{nen�} men�� ne� %2")
relations-cz.txt 76-76
(
format
de
lessThan
"%1 ist kleinerAls %2 %n{nicht}")
relations-de.txt 172-172
(
format
hi
lessThan
"%1 %2 se kama %n hai")
relations-hindi.txt 202-202
(
format
ro
lessThan
"%1 %n{nu} este less%t{mai mic} decât %2")
relations-ro.kif 111-111
(
format
sv
lessThan
"%1 är %n{inte} mindre än %2")
relations-sv.txt 91-91
(
format
tg
lessThan
"%1 %n ay meno ng %2")
relations-tg.txt 325-325
(
inverse
greaterThan
lessThan
)
Merge.kif 1850-1850
逆
比較多
and
少於
(
termFormat
ChineseLanguage
lessThan
"少于")
chinese_format.kif 142-142
(
termFormat
ChineseTraditionalLanguage
lessThan
"少於")
domainEnglishFormat.kif 34144-34144
(
termFormat
EnglishLanguage
lessThan
"less than")
domainEnglishFormat.kif 34143-34143
(
termFormat
de
lessThan
"kleinerAls")
terms-de.txt 52-52
(
termFormat
tg
lessThan
"meno ng")
relations-tg.txt 326-326
antecedent
(<=>
(
and
(
instance
?LD
LiquidDrop
)
(
approximateDiameter
?LD
(
MeasureFn
?S
Micrometer
))
(
lessThan
500.0 ?S))
(
instance
?LD
Droplet
))
Geography.kif 7524-7530
例
SelfConnectedObject
and
LiquidDrop
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Micrometer
少於
500.0 and
RealNumber
例
SelfConnectedObject
and
Droplet
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3051-3062
金融工具
金融工具
Price and
RealNumber
例
協議
and
看漲期權
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
金融工具
Price and
RealNumber
AutonomousAgent
是
協議
的
out
資兂短缺
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3002-3013
金融工具
金融工具
Price and
RealNumber
例
協議
and
看漲期權
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
RealNumber
and
金融工具
Price
AutonomousAgent
是
協議
的
in
金錢
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3015-3026
金融工具
金融工具
Price and
RealNumber
例
協議
and
放選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
金融工具
Price and
RealNumber
AutonomousAgent
是
協議
的
in
金錢
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3064-3075
金融工具
金融工具
Price and
RealNumber
例
協議
and
放選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
RealNumber
and
金融工具
Price
AutonomousAgent
是
協議
的
out
資兂短缺
(=>
(
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
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 783-788
金融賬戶
對於 %3 的
current
帳戶存款
少於
RealNumber
and 0
等於
RealNumber
and
減法
0 and
RealNumber
金融賬戶
是 對於
Day
的
overdraft
測量
RealNumber
and
美國美元
(=>
(
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
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
UsingAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
)
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Amount ?U))
(
lessThan
?Amount ?Balance))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
date
?Penalty ?Date)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 701-714
例
金融賬戶
and
金融賬戶
金融賬戶
是 對於
測量
RealNumber
and
UnitOfMeasure
的
minimum
金額
使用帳戶
例
UnitOfMeasure
and
UnitOfCurrency
金融賬戶
對於 %3 的
current
帳戶存款
少於
RealNumber
and
RealNumber
Process
例
Process
and
罰款
日期
Process
and
Day
目的地
Process
and
金融賬戶
的
currency
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
minimumPayment
?Account
(
MeasureFn
?MinPayment ?U)
MonthDuration
)
(
instance
?U
UnitOfCurrency
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account
(
MeasureFn
?Amount ?U) ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 759-775
例
責任賬戶
and
責任賬戶
責任賬戶
是 對於
月持續時間
的
minimum
費用
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
Process
TimeInterval
例
TimeInterval
and
Month
目的地
Process
and
責任賬戶
的
currency
責任賬戶
payments
對於
TimeInterval
每周期
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
RealNumber
Process
例
Process
and
罰款
目的地
Process
and
責任賬戶
的
currency
(=>
(
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
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThan
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanYouth
)))
Mid-level-ontology.kif 269-274
例
Entity
and
Human
持有期間
TimePosition
and
年齡
Entity
and
測量
RealNumber
and
年持續時間
少於
RealNumber
and 18
持有期間
TimePosition
and
例
Entity
and
人類青年
(=>
(
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
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13880-13893
例
Entity
and
PureSubstance
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
melting
點
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfTemperature
少於
RealNumber
and
RealNumber
持有期間
TimeInterval
and
attribute
Entity
and
固體
Process
暫時重疊
何時
Process
and
TimeInterval
例
Process
and
Freezing
患者
Process
and
Entity
(=>
(
and
(
instance
?WATERWAY
Waterway
)
(
depth
?OBJ ?WATERWAY
(
MeasureFn
?DEPTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
lessThan
?DRAFT ?DEPTH))
(
navigableForDraft
?WATERWAY
(
MeasureFn
?DRAFT ?UNIT)))
Transportation.kif 2667-2673
例
WaterArea
and
水路
對於
WaterArea
從
Physical
的
depth
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfLength
少於
RealNumber
and
RealNumber
測量
RealNumber
and
UnitOfMeasure
是草案
WaterArea
的
navigable
(=>
(
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
(
processList
@ROW)
(
inList
?Process1
(
ListFn
@ROW))
(
inList
?Process2
(
ListFn
@ROW))
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number1) ?Process1)
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number2) ?Process2)
(
lessThan
?Number1 ?Number2))
(
earlier
(
WhenFn
?Process1)
(
WhenFn
?Process2)))
QoSontology.kif 694-710
@ROW
processes
的
list
在列表中
Physical
and
名單
@ROW
在列表中
Physical
and
名單
@ROW
等於
清單順序
名單
@ROW and
PositiveInteger
and
Physical
等於
清單順序
名單
@ROW and
PositiveInteger
and
Physical
少於
PositiveInteger
and
PositiveInteger
早期
何時
Physical
and
何時
Physical
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
CognitiveAgent
sells
Entity
對於
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
Entity
的
price
從
CognitiveAgent
根據
PricingScheme
是
測量
RealNumber
and
UnitOfMeasure
PricingScheme
是
valid
對於
AutonomousAgent
例
Entity
and
Entity
例
Process
and
Buying
立即實例
AutonomousAgent
and
AutonomousAgent
agent
Process
and
AutonomousAgent
起源
Process
and
CognitiveAgent
少於
RealNumber
and
RealNumber
模態屬性
RealNumber
是
Process
的
transaction
總額 and
容易
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
greaterThan
(
MultiplicationFn
?N2 2.0) ?N)
(
lessThan
?N2
(
MultiplicationFn
0.8 ?N)))
(
holdsDuring
?T
(
attribute
?H
SevereBloodLoss
)))
Medicine.kif 5968-5982
typicalBloodVolume
Mammal
and
測量
RealNumber
and
UnitOfMeasure
持有期間
TimePosition
and
bloodVolume
Entity
and
測量
RealNumber
and
UnitOfMeasure
例
Entity
and
Mammal
比較多
乘法
RealNumber
and 2.0 and
RealNumber
少於
RealNumber
and
乘法
0.8 and
RealNumber
持有期間
TimePosition
and
attribute
Entity
and
SevereBloodLoss
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
lessThan
(
MultiplicationFn
?N2 2.0) ?N))
(
holdsDuring
?T
(
attribute
?H
CatastrophicBloodLoss
)))
Medicine.kif 5950-5962
typicalBloodVolume
Mammal
and
測量
RealNumber
and
UnitOfMeasure
持有期間
TimePosition
and
bloodVolume
Entity
and
測量
RealNumber
and
UnitOfMeasure
例
Entity
and
Mammal
少於
乘法
RealNumber
and 2.0 and
RealNumber
持有期間
TimePosition
and
attribute
Entity
and
CatastrophicBloodLoss
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
持有期間
TimePosition
and
minDeviceOperatingTemp
entity
and
測量
TimePosition
and
entity
例
entity
and
UnitOfTemperature
位於
entity
and
entity
attribute
entity
and
設備上
測量
TimePosition
and
entity
是
entity
的
air
溫度
少於
TimePosition
and
TimePosition
模態屬性
持有期間
眼前的未來
TimePosition
and
attribute
entity
and
DeviceDamaged
and
容易
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
持有期間
TimePosition
and
minDeviceStorageTemp
entity
and
測量
TimePosition
and
entity
例
entity
and
UnitOfTemperature
位於
entity
and
entity
attribute
entity
and
設備關閉
測量
TimePosition
and
entity
是
entity
的
air
溫度
少於
TimePosition
and
TimePosition
模態屬性
持有期間
眼前的未來
TimePosition
and
attribute
entity
and
DeviceDamaged
and
容易
(=>
(
holdsDuring
?T
(
and
(
oxygenSaturation
?H ?N)
(
lessThan
?N 92.0)))
(
holdsDuring
?T
(
attribute
?H
Hypoxia
)))
Medicine.kif 1240-1246
持有期間
TimePosition
and
oxygenSaturation
entity
and
entity
少於
entity
and 92.0
持有期間
TimePosition
and
attribute
entity
and
Hypoxia
consequent
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每一千個生存出生裡的
deaths
and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Birth
體驗者
SymbolicString
and
entity
例
entity
and
Human
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and 1000 and
RealNumber
等於
entity
DEATHCOUNT and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Death
體驗者
SymbolicString
and
entity
例
entity
and
Human
年齡
entity
and
測量
entity
and
年持續時間
少於
entity
and 1
期間
何時
SymbolicString
and
年
等於
哪裡
SymbolicString
and
何時
SymbolicString
and
GeopoliticalArea
等於
部
entity
DEATHCOUNT and
RealNumber
and
RealNumber
(<=>
(
instance
?NUMBER
NegativeRealNumber
)
(
and
(
lessThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1948-1952
例
RealNumber
and
NegativeRealNumber
少於
RealNumber
and 0
例
RealNumber
and
RealNumber
(<=>
(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1867-1871
小於或等於
RealNumber
and
RealNumber
等於
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
attribute
Object
and
Anemia
例
Object
and
Blood
部分
Object
and
Object
attribute
Object
and
女
測量
Object
and
測量
0.1 and
升
例
Object
E and
Hemoglobin
部分
Object
E and
Object
例
Object
E2 and
Hemoglobin
等於
Object
E and
Object
E2
部分
Object
and
Object
測量
Object
E and
測量
RealNumber
and
公克
少於
RealNumber
and 12
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
attribute
Object
and
Anemia
例
Object
and
Blood
部分
Object
and
Object
attribute
Object
and
男
測量
Object
and
測量
0.1 and
升
例
Object
E and
Hemoglobin
部分
Object
E and
Object
例
Object
E2 and
Hemoglobin
等於
Object
E and
Object
E2
部分
Object
and
Object
測量
Object
E and
測量
RealNumber
and
公克
少於
RealNumber
and 13
(=>
(
and
(
attribute
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
lessThan
?T 1))))
Mid-level-ontology.kif 18728-18737
attribute
Position
and
大學新生
佔據位置
Human
,
Position
and
Organization
RealNumber
持有期間
測量
RealNumber
and
年持續時間
and
Human
是
Organization
的
student
少於
RealNumber
and 1
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18743-18753
attribute
Position
and
大學三年級
佔據位置
Human
,
Position
and
Organization
RealNumber
持有期間
測量
RealNumber
and
年持續時間
and
Human
是
Organization
的
student
大於或等於
RealNumber
and 2
少於
RealNumber
and 3
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18759-18769
attribute
Position
and
大學高年級
佔據位置
Human
,
Position
and
Organization
RealNumber
持有期間
測量
RealNumber
and
年持續時間
and
Human
是
Organization
的
student
大於或等於
RealNumber
and 3
少於
RealNumber
and 4
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18775-18785
attribute
Position
and
大學二年級學生
佔據位置
Human
,
Position
and
Organization
RealNumber
持有期間
測量
RealNumber
and
年持續時間
and
Human
是
Organization
的
student
大於或等於
RealNumber
and 1
少於
RealNumber
and 2
(=>
(
and
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
attribute
?X
HeartHealthyFood
) ?NUMBER1)
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
not
(
attribute
?X
HeartHealthyFood
)) ?NUMBER2))
(
lessThan
?NUMBER1 ?NUMBER2))
Dining.kif 1148-1156
條件概率
attribute
entity
and
ComfortFood
,
attribute
entity
and
HeartHealthyFood
and
RealNumber
條件概率
attribute
entity
and
ComfortFood
,
attribute
entity
and
HeartHealthyFood
and
RealNumber
少於
RealNumber
and
RealNumber
(=>
(
and
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Merge.kif 2623-2628
降低可能性
Formula
and
Formula
等於
可能性
Formula
and
RealNumber
條件概率
Formula
,
Formula
and
RealNumber
少於
RealNumber
and
RealNumber
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 13577-13586
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 .5 and
較不可能
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
Object
的
minimum
預期價值是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
模態屬性
entity
RealNumber
UANTITY
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
UnitOfMeasure
少於
RealNumber
UANTITY and
RealNumber
and
較不可能
(=>
(
and
(
defaultMinimumMeasure
?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)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
Object
的
minimum
預期價值是
測量
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
RealNumber
and
較不可能
(=>
(
and
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
Object
的
minimum
預期半徑是
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Object
attribute
Object
and
球
模態屬性
RealNumber
ADIUS
Object
的
radius
是
測量
RealNumber
ADIUS and
UnitOfMeasure
少於
RealNumber
ADIUS and
RealNumber
and
較不可能
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
等於
最不常見的倍數
@ROW and
Integer
等於
Integer
and 0
Integer
少於
Integer
and
Integer
Integer
在列表中
Integer
and
名單
@ROW
等於
剩餘
Integer
and
Integer
and 0
(=>
(
and
(
instance
?A
AcuteAngle
)
(
angularMeasure
?A ?N))
(
lessThan
?N 90.0))
Mid-level-ontology.kif 4868-4872
例
二維角度
and
銳角
RealNumber
是
二維角度
的
angular
量測
少於
RealNumber
and 90.0
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
例
AutonomousAgent
and
AutonomousAgent
CognitiveAgent
是個
potential
customer
對於
AutonomousAgent
模態屬性
例
entity
and
Reserving
目的地
entity
and
AutonomousAgent
and
必要性
條件概率
entity
ES1
例
entity
ES1 and
Reservation
CognitiveAgent
reserves
entity
ES1
AutonomousAgent
fulfills
entity
ES1 ,
AutonomousAgent
是
CognitiveAgent
的
customer
and
RealNumber
條件概率
entity
ES2
例
entity
ES2 and
Reservation
CognitiveAgent
reserves
entity
ES2
AutonomousAgent
fulfills
entity
ES2 ,
AutonomousAgent
是
CognitiveAgent
的
customer
and
RealNumber
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1391-1400
例
Object
and
飛機場
attribute
Object
and
很短的跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
少於
RealNumber
and 914
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
例
GeographicArea
and
GeographicArea
GeographicArea
的
elevation
低點 是
GeographicArea
的
geographic
次要地區
例
UnitOfMeasure
and
UnitOfLength
測量
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
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 892-898
例
Region
and
GeographicArea
例
Process
and
天氣晴朗
Process
是
located
在
Region
NonnegativeRealNumber
Region
少於
NonnegativeRealNumber
and 0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 882-890
例
Region
and
GeographicArea
例
Process
and
天氣晴朗
Process
是
located
在
Region
NonnegativeRealNumber
NonnegativeRealNumber
Region
少於
NonnegativeRealNumber
and 0.3
(=>
(
and
(
instance
?BOTTLE
Bottle
)
(
bottom
?BOTTOM ?BOTTLE)
(
top
?TOP ?BOTTLE)
(
instance
?U
UnitOfLength
)
(
width
?BOTTOM
(
MeasureFn
?WIDTH1 ?U))
(
width
?TOP
(
MeasureFn
?WIDTH2 ?U)))
(
lessThan
?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 4698-4708
例
SelfConnectedObject
and
瓶子
底部
SelfConnectedObject
and
SelfConnectedObject
上
SelfConnectedObject
and
SelfConnectedObject
例
UnitOfMeasure
and
UnitOfLength
寬度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
寬度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?COOL
Cooling
)
(
patient
?COOL ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
lessThan
?QUANT2 ?QUANT1))))
Merge.kif 10961-10974
例
Process
and
Cooling
患者
Process
and
Entity
Entity
RealNumber
and
RealNumber
例
Entity
and
TemperatureMeasure
持有期間
開始
何時
Process
and
等於
測量
Entity
and
Entity
and
RealNumber
持有期間
結束
何時
Process
and
等於
測量
Entity
and
Entity
and
RealNumber
少於
RealNumber
and
RealNumber
(=>
(
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
statement
(
not
(
exists
(?PATH1 ?PATH2)
(
and
(
instance
?PATH1
(
CutSetFn
?GRAPH))
(
instance
?PATH2
(
MinimalCutSetFn
?GRAPH))
(
pathLength
?PATH1 ?NUMBER1)
(
pathLength
?PATH2 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2))))
Merge.kif 6099-6106
GraphPath
GraphPath
例
GraphPath
and
切集
Graph
例
GraphPath
and
最小割集
Graph
路徑長度
GraphPath
and
PositiveInteger
路徑長度
GraphPath
and
PositiveInteger
少於
PositiveInteger
and
PositiveInteger
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