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
MeasureFn
Sigma KEE - MeasureFn
MeasureFn
appearance as argument number 1
(
documentation
MeasureFn
ChineseLanguage
"这个
BinaryFunction
把一个
RealNumber
和一个
UnitOfMeasure
联系成这个
Number
的单位。 这是用来表达
PhysicalQuantity
的某种分量的实例。 例如:三米可以这样来表示 (
MeasureFn
3
Meter
)。")
chinese_format.kif 2434-2436
(
documentation
MeasureFn
EnglishLanguage
"This
BinaryFunction
maps a
RealNumber
and a
UnitOfMeasure
to that
Number
of units. It is used to express `measured' instances of
PhysicalQuantity
. Example: the concept of three meters is represented as (
MeasureFn
3
Meter
).")
Merge.kif 6352-6356
(
documentation
MeasureFn
JapaneseLanguage
"この
BinaryFunction
は、
RealNumber
と
UnitOfMeasure
をその
Number
単位にマップする。 これは、
PhysicalQuantity
の「測定された」 インスタンスを表すために使用される。例: 3メートルの概念は(
MeasureFn
3
Meter
) として表され る。")
japanese_format.kif 1125-1128
(
domain
MeasureFn
1
RealNumber
)
Merge.kif 6348-6348
计量函数
的 1 数量 是
实数
的
instance
(
domain
MeasureFn
2
UnitOfMeasure
)
Merge.kif 6349-6349
计量函数
的 2 数量 是
测量单位
的
instance
(
instance
MeasureFn
BinaryFunction
)
Merge.kif 6346-6346
计量函数
是
二元函数
的
instance
(
instance
MeasureFn
TotalValuedRelation
)
Merge.kif 6347-6347
计量函数
是
总值关系
的
instance
(
range
MeasureFn
PhysicalQuantity
)
Merge.kif 6350-6350
计量函数
的
range
是
物理量
的实例
appearance as argument number 2
(
format
ChineseLanguage
MeasureFn
"%1 %2")
chinese_format.kif 633-633
(
format
EnglishLanguage
MeasureFn
"%1 %2(s)")
english_format.kif 636-636
(
format
FrenchLanguage
MeasureFn
"%1 %2(s)")
french_format.kif 383-383
(
format
ItalianLanguage
MeasureFn
"%1 %2(s")
relations-it.txt 178-178
(
format
JapaneseLanguage
MeasureFn
"%1 の %2(s)")
japanese_format.kif 2113-2113
(
format
PortugueseLanguage
MeasureFn
"%1 %2(s)")
portuguese_format.kif 335-335
(
format
cz
MeasureFn
"%1 %2(s)")
relations-cz.txt 392-392
(
format
de
MeasureFn
"%1 %2(s)")
relations-de.txt 829-829
(
format
hi
MeasureFn
"%1 %2(")
relations-hindi.txt 216-216
(
format
ro
MeasureFn
"%1 %2(s)")
relations-ro.kif 405-405
(
format
sv
MeasureFn
"%1 %2(s)")
relations-sv.txt 426-426
(
termFormat
ChineseLanguage
MeasureFn
"测量")
domainEnglishFormat.kif 36671-36671
(
termFormat
ChineseLanguage
MeasureFn
"计量函数")
chinese_format.kif 634-634
(
termFormat
ChineseTraditionalLanguage
MeasureFn
"測量")
domainEnglishFormat.kif 36670-36670
(
termFormat
EnglishLanguage
MeasureFn
"measure")
domainEnglishFormat.kif 36669-36669
(
termFormat
tg
MeasureFn
"tungkulin ng sukatan")
relations-tg.txt 353-353
antecedent
(<=>
(
and
(
instance
?LD
LiquidDrop
)
(
approximateDiameter
?LD
(
MeasureFn
?S
Micrometer
))
(
lessThan
500.0 ?S))
(
instance
?LD
Droplet
))
Geography.kif 7524-7530
自身连接物体
是
液体滴
的
instance
和 1 的
approximate
diameter
是 %2 和 500.0 是
lessThan
实数
若且唯若
那个 自身连接物体
是
小滴液体
的
instance
(<=>
(
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
客体
是
悬浮颗粒
的
instance
和
自身连接物体
是
那个 客体
的
part
和 1 的
approximate
diameter
是 %2 和 10.0 是
greaterThan
实数
和
那个 实数
是
greaterThan
2.5 若且唯若 有存在
那个 客体
10 这样
那个 客体
10 是
粗悬浮颗粒
的
instance
和
那个 客体
10 是
那个 客体
的
part
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThanOrEqualTo
?S 2.5))
(
exists
(?PM25)
(
and
(
instance
?PM25
FineParticulateMatter
)
(
part
?PM25 ?PM))))
Geography.kif 7469-7479
客体
是
悬浮颗粒
的
instance
和
自身连接物体
是
那个 客体
的
part
和 1 的
approximate
diameter
是 %2 和
实数
是
greaterThanOrEqualTo
2.5 若且唯若 有存在
那个 客体
25 这样
那个 客体
25 是
细悬浮颗粒
的
instance
和
那个 客体
25 是
那个 客体
的
part
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
0.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
North
))
Geography.kif 3731-3733
客体
对于 %3
courseWRT
实际北 若且唯若
那个 客体
在
另一个 客体
的
北
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
135.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Southeast
))
Geography.kif 3755-3757
客体
对于 %3
courseWRT
实际北 若且唯若
那个 客体
在
另一个 客体
的
东南
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
180.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
South
))
Geography.kif 3739-3741
客体
对于 %3
courseWRT
实际北 若且唯若
那个 客体
在
另一个 客体
的
南
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
225.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Southwest
))
Geography.kif 3759-3761
客体
对于 %3
courseWRT
实际北 若且唯若
那个 客体
在
另一个 客体
的
西南
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
270.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
West
))
Geography.kif 3743-3745
客体
对于 %3
courseWRT
实际北 若且唯若
那个 客体
在
另一个 客体
的
西方
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
315.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Northwest
))
Geography.kif 3763-3765
客体
对于 %3
courseWRT
实际北 若且唯若
那个 客体
在
另一个 客体
的
西北
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
360.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
North
))
Geography.kif 3747-3749
客体
对于 %3
courseWRT
实际北 若且唯若
那个 客体
在
另一个 客体
的
北
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
45.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Northeast
))
Geography.kif 3751-3753
客体
对于 %3
courseWRT
实际北 若且唯若
那个 客体
在
另一个 客体
的
东北
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
90.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
East
))
Geography.kif 3735-3737
客体
对于 %3
courseWRT
实际北 若且唯若
那个 客体
在
另一个 客体
的
东
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 1702-1708
函数量
equal
实数
英里每小時
若且唯若
那个 函数量
equal
那个 实数
英里
除以 1
小时
(<=>
(
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 和
另一个 实数
这样
协议
是
看涨期权
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 金融工具
Price 是
lessThan
那个 另外 实数
若且唯若
那个 施事体
是
那个 协议
的
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 和
另一个 实数
这样
协议
是
看涨期权
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 另外 实数
是
lessThan
那个 金融工具
Price 若且唯若
那个 施事体
是
那个 协议
的
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 和
另一个 实数
这样
协议
是
放选项
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 金融工具
Price 是
lessThan
那个 另外 实数
若且唯若
那个 施事体
是
那个 协议
的
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 和
另一个 实数
这样
协议
是
放选项
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 另外 实数
是
lessThan
那个 金融工具
Price 若且唯若
那个 施事体
是
那个 协议
的
out
资兂短缺
(<=>
(
hearingAcuity
?H
(
MeasureFn
-10
Decibel
)
(
MeasureFn
15
Decibel
))
(
attribute
?H
NormalHearingSensitivity
))
Medicine.kif 1783-1787
hearingAcuity
人类
, -10
Decibel
and 15
Decibel
若且唯若
NormalHearingSensitivity
是
那个 人类
的
attribute
(<=>
(
hearingAcuity
?H
(
MeasureFn
16
Decibel
)
(
MeasureFn
25
Decibel
))
(
attribute
?H
BorderlineHearingSensitivity
))
Medicine.kif 1794-1798
hearingAcuity
人类
, 16
Decibel
and 25
Decibel
若且唯若
BorderlineHearingSensitivity
是
那个 人类
的
attribute
(<=>
(
hearingAcuity
?H
(
MeasureFn
26
Decibel
)
(
MeasureFn
40
Decibel
))
(
attribute
?H
MildHearingLoss
))
Medicine.kif 1805-1809
hearingAcuity
人类
, 26
Decibel
and 40
Decibel
若且唯若
MildHearingLoss
是
那个 人类
的
attribute
(<=>
(
hearingAcuity
?H
(
MeasureFn
41
Decibel
)
(
MeasureFn
55
Decibel
))
(
attribute
?H
ModerateHearingLoss
))
Medicine.kif 1815-1819
hearingAcuity
人类
, 41
Decibel
and 55
Decibel
若且唯若
ModerateHearingLoss
是
那个 人类
的
attribute
(<=>
(
hearingAcuity
?H
(
MeasureFn
56
Decibel
)
(
MeasureFn
70
Decibel
))
(
attribute
?H
ModeratelySevereHearingLoss
))
Medicine.kif 1826-1830
hearingAcuity
人类
, 56
Decibel
and 70
Decibel
若且唯若
ModeratelySevereHearingLoss
是
那个 人类
的
attribute
(<=>
(
hearingAcuity
?H
(
MeasureFn
71
Decibel
)
(
MeasureFn
90
Decibel
))
(
attribute
?H
SevereHearingLoss
))
Medicine.kif 1837-1841
hearingAcuity
人类
, 71
Decibel
and 90
Decibel
若且唯若
SevereHearingLoss
是
那个 人类
的
attribute
(<=>
(
hearingAcuity
?H
(
MeasureFn
91
Decibel
)
(
MeasureFn
200
Decibel
))
(
attribute
?H
ProfoundHearingLoss
))
Medicine.kif 1848-1852
hearingAcuity
人类
, 91
Decibel
and 200
Decibel
若且唯若
ProfoundHearingLoss
是
那个 人类
的
attribute
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13605-13611
物理
的
measure
是
实数
公吨
若且唯若
那个 物理
的
measure
是
那个 实数
和 2205.0
磅质量
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?X
Region
)
(
holdsDuring
?T
(
property
?X
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
and
(
airTemperature
?X
(
MeasureFn
298.15
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
29.530
InchMercury
)))))
Weather.kif 2680-2690
实体
是
地区
的
instance
和
那个 实体
有
标准状况
的
attribute
在
时间位置
holdsDuring
若且唯若 298.15
凯文度
是
那个 实体
的
air
温度 和 29.530
英寸汞
是
那个 实体
的
barometric
压力 在
那个 时间位置
holdsDuring
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 357-390
年
是
那个 年
EAR
year
的
instance
和
地缘政治区域
和
那个 年
的
male
出生估计寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
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
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千个生存出生里的
deaths
equal
实数
若且唯若
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和 1000
equal
另一个 实数
和
第三 整数
equal
另一个 符号串
所描述的类别
instance
的数量 和
那个 第三 整数
和
那个 另外 实数
equal
那个 实数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 403-436
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的
female
出生预期寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 310-342
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的出生预期
life
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
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
若且唯若 有存在
物理
和
实数
这样
那个 客体
是
盐水区
的
instance
和
那个 客体
不 是
内陆水域
的
instance
和
那个 物理
和
那个 客体
的
distance
是
那个 实数
海里
和
那个 实数
是
greaterThan
5.0
(<=>
(
compressionRatio
?E ?R)
(
and
(
minCylinderVolume
?E
(
MeasureFn
?MIN ?M))
(
maxCylinderVolume
?E
(
MeasureFn
?MAX ?M))
(
equal
?R
(
DivisionFn
?MIN ?MAX))))
Cars.kif 1928-1933
compressionRatio
发动机
and
实数
若且唯若
minCylinderVolume
那个 发动机
and
另一个 实数
测量单位
和
maxCylinderVolume
那个 发动机
and
那个 测量单位
AX
那个 测量单位
和
那个 实数
equal
那个 另外 实数
和
那个 测量单位
AX
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 1702-1708
函数量
equal
实数
英里每小時
若且唯若
那个 函数量
equal
那个 实数
英里
除以 1
小时
(<=>
(
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
客体
larger
另一个 客体
若且唯若 对所有
实数
,
另一个 实数
, and 和
测量单位
如果
那个 客体
的
measure
是
那个 实数
那个 测量单位
和
那个 另外 客体
的
measure
是
那个 另外 实数
那个 测量单位
和
那个 测量单位
是
UnitOfLength
的
instance
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13605-13611
物理
的
measure
是
实数
公吨
若且唯若
那个 物理
的
measure
是
那个 实数
和 2205.0
磅质量
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
物理
的
measure
是
实数
圆周角度
若且唯若
那个 物理
的
measure
是 60.0 和
那个 实数
弧分
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
物理
的
measure
是
实数
弧分
若且唯若
那个 物理
的
measure
是 60.0 和
那个 实数
弧秒
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 13326-13331
物理
的
measure
是
实数
OunceMass
若且唯若
那个 物理
的
measure
是
那个 实数
和 16.0
磅质量
(<=>
(
sectorValueOfGDPInPeriod
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT) ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
sectorValueOfGDP
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT))))))
Economy.kif 1129-1137
地缘政治区域
是
实数
测量单位
和
有点 时距
在 周期
行业属性
的
sector
GDP 价值 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 地缘政治区域
是 对于
那个 实数
那个 测量单位
的
sector
GDP 价值
那个 行业属性
在
那个 时间位置
holdsDuring
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
如果
amount
有点 物质
,
躯体性物体
and
实数
UnitOfMass
和
有点 物质
I 是
那个 有点 物质
的
instance
和
那个 有点 物质
I 的
measure
是
那个 实数
2
那个 UnitOfMass
和
那个 有点 物质
I 是
那个 躯体性物体
的
part
,
然后 有存在
串列
这样
那个 实数
2
那个 UnitOfMass
是
那个 串列
的
member
和
那个 串列
equal
AmountsFn
那个 有点 物质
,
那个 躯体性物体
and
那个 UnitOfMass
和
那个 实数
equal
ListSumFn
那个 串列
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
如果
实数
测量单位
是
地理区域
的
arable
土地 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 另外 实数
是
面积测量
的
instance
和
第三 实数
equal
那个 实数
和
那个 另外 实数
,
然后
那个 第三 实数
那个 测量单位
是
那个 地理区域
的
arable
土地
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
如果
实数
测量单位
是
地理区域
的
arable
土地 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 测量单位
是
UnitOfArea
的
instance
,
然后 有存在
另一个 地理区域
这样
那个 另外 地理区域
是
耕地
的
instance
和
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
的
measure
是
那个 实数
和
那个 另外 实数
那个 测量单位
(=>
(
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
和 属于
那个 施事体
的资产值
equal
货币测量
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
, and 和
第五 实体
这样
那个 实体
是
天课
的
instance
和
那个 第四 实体
是
年
的
instance
和
那个 第四 实体
在
那个 施事体
出现 的
time
时段内发生 和
完全成型
是
那个 施事体
的
attribute
在
那个 第四 实体
holdsDuring
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
的价值 是
那个 第五 实体
那个 第三 实体
和
那个 第三 实体
是
UnitOfCurrency
的
instance
和
那个 第五 实体
是
greaterThan
那个 货币测量
和 0.025 的声明 has
义务
的语气
(=>
(
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
和
人类
在
机构
任职
那个 地位
,
然后 有存在
实数
这样
那个 人类
是
那个 机构
的
student
在
那个 实数
年持续时间
holdsDuring
和
那个 实数
是
lessThan
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
和
人类
在
机构
任职
那个 地位
,
然后 有存在
实数
这样
那个 人类
是
那个 机构
的
student
在
那个 实数
年持续时间
holdsDuring
和
那个 实数
是
greaterThanOrEqualTo
2 和
那个 实数
是
lessThan
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
和
人类
在
机构
任职
那个 地位
,
然后 有存在
实数
这样
那个 人类
是
那个 机构
的
student
在
那个 实数
年持续时间
holdsDuring
和
那个 实数
是
greaterThanOrEqualTo
3 和
那个 实数
是
lessThan
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
和
人类
在
机构
任职
那个 地位
,
然后 有存在
实数
这样
那个 人类
是
那个 机构
的
student
在
那个 实数
年持续时间
holdsDuring
和
那个 实数
是
greaterThanOrEqualTo
1 和
那个 实数
是
lessThan
2
(=>
(
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
如果
Oversized
是
客体
的
attribute
和
那个 客体
是
类
的
immediateInstance
和
那个 类
是
HotelUnit
的
subclass
,
然后 有存在
物理
,
实数
,, ,
另一个 实数
, and 和
测量单位
这样
那个 物理
是
那个 类
的
immediateInstance
和
那个 测量单位
是
UnitOfArea
的
instance
和
那个 物理
的
measure
是
那个 实数
那个 测量单位
和
那个 客体
的
measure
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
面积测量
的
instance
和
那个 另外 实数
是
面积测量
的
instance
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1132-1152
如果
人类
是
国家
的
citizen
和
普选法
是
那个 国家
的
regional
法律 的
subProposition
,
然后
那个 国家
的
regional
法律 允许
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
and
(
comparativeArea
?REGION1 ?RELATION ?FACTOR ?REGION2)
(
instance
?UNIT
UnitOfArea
)
(
measure
?REGION1
(
MeasureFn
?NUM1 ?UNIT))
(
measure
?REGION2
(
MeasureFn
?NUM2 ?UNIT)))
(?RELATION
(
MeasureFn
?NUM1 ?UNIT)
(
MeasureFn
(
MultiplicationFn
?FACTOR ?NUM2) ?UNIT)))
Geography.kif 659-669
如果
地理区域
comparative
地区
BinaryRelationExtendedToQuantities
对于
正实数
跟
另一个 地理区域
在一起 和
测量单位
是
UnitOfArea
的
instance
和
那个 地理区域
的
measure
是
实数
那个 测量单位
和
那个 另外 地理区域
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 BinaryRelationExtendedToQuantities
那个 实数
那个 测量单位
and
那个 正实数
和
那个 另外 实数
那个 测量单位
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
boilingPoint
Actinium
(
MeasureFn
3470.0
KelvinDegree
))
Mid-level-ontology.kif 29358-29358
3470.0
凯文度
是
锕
的
boiling
点
(
boilingPoint
Aluminum
(
MeasureFn
2740.0
KelvinDegree
))
Mid-level-ontology.kif 29206-29206
2740.0
凯文度
是
铝
的
boiling
点
(
boilingPoint
Americium
(
MeasureFn
2880.0
KelvinDegree
))
Mid-level-ontology.kif 29370-29370
2880.0
凯文度
是
銤
的
boiling
点
(
boilingPoint
Antimony
(
MeasureFn
2023.0
KelvinDegree
))
Mid-level-ontology.kif 29282-29282
2023.0
凯文度
是
锑
的
boiling
点
(
boilingPoint
Argon
(
MeasureFn
87.29
KelvinDegree
))
Mid-level-ontology.kif 29216-29216
87.29
凯文度
是
氩
的
boiling
点
(
boilingPoint
Arsenic
(
MeasureFn
886.0
KelvinDegree
))
Mid-level-ontology.kif 29246-29246
886.0
凯文度
是
砷
的
boiling
点
(
boilingPoint
Astatine
(
MeasureFn
610.0
KelvinDegree
))
Mid-level-ontology.kif 29350-29350
610.0
凯文度
是
砹
的
boiling
点
(
boilingPoint
Barium
(
MeasureFn
1913.0
KelvinDegree
))
Mid-level-ontology.kif 29292-29292
1913.0
凯文度
是
钡
的
boiling
点
(
boilingPoint
Beryllium
(
MeasureFn
3243.0
KelvinDegree
))
Mid-level-ontology.kif 29188-29188
3243.0
凯文度
是
铍
的
boiling
点
(
boilingPoint
Bismuth
(
MeasureFn
1833.0
KelvinDegree
))
Mid-level-ontology.kif 29346-29346
1833.0
凯文度
是
铋
的
boiling
点
(
boilingPoint
Boron
(
MeasureFn
2823.0
KelvinDegree
))
Mid-level-ontology.kif 29190-29190
2823.0
凯文度
是
硼
的
boiling
点
(
boilingPoint
Bromine
(
MeasureFn
331.93
KelvinDegree
))
Mid-level-ontology.kif 29250-29250
331.93
凯文度
是
溴
的
boiling
点
(
boilingPoint
Cadmium
(
MeasureFn
1038.0
KelvinDegree
))
Mid-level-ontology.kif 29276-29276
1038.0
凯文度
是
镉
的
boiling
点
(
boilingPoint
Caesium
(
MeasureFn
963.0
KelvinDegree
))
Mid-level-ontology.kif 29290-29290
963.0
凯文度
是
铯
的
boiling
点
(
boilingPoint
Calcium
(
MeasureFn
1760.0
KelvinDegree
))
Mid-level-ontology.kif 29220-29220
1760.0
凯文度
是
钙
的
boiling
点
(
boilingPoint
Carbon
(
MeasureFn
5100.0
KelvinDegree
))
Mid-level-ontology.kif 29192-29192
5100.0
凯文度
是
碳
的
boiling
点
(
boilingPoint
Cerium
(
MeasureFn
3530.0
KelvinDegree
))
Mid-level-ontology.kif 29296-29296
3530.0
凯文度
是
铈
的
boiling
点
(
boilingPoint
Chlorine
(
MeasureFn
238.55
KelvinDegree
))
Mid-level-ontology.kif 29214-29214
238.55
凯文度
是
氯
的
boiling
点
(
boilingPoint
Chromium
(
MeasureFn
2755.0
KelvinDegree
))
Mid-level-ontology.kif 29228-29228
2755.0
凯文度
是
铬
的
boiling
点
(
boilingPoint
Cobalt
(
MeasureFn
3143.0
KelvinDegree
))
Mid-level-ontology.kif 29234-29234
3143.0
凯文度
是
钴
的
boiling
点
(
boilingPoint
Copper
(
MeasureFn
2868.0
KelvinDegree
))
Mid-level-ontology.kif 29238-29238
2868.0
凯文度
是
铜
的
boiling
点
(
boilingPoint
Dysprosium
(
MeasureFn
2608.0
KelvinDegree
))
Mid-level-ontology.kif 29312-29312
2608.0
凯文度
是
镝
的
boiling
点
(
boilingPoint
Erbium
(
MeasureFn
2783.0
KelvinDegree
))
Mid-level-ontology.kif 29316-29316
2783.0
凯文度
是
铒
的
boiling
点
(
boilingPoint
Europium
(
MeasureFn
1870.0
KelvinDegree
))
Mid-level-ontology.kif 29306-29306
1870.0
凯文度
是
铕
的
boiling
点
(
boilingPoint
Fluorine
(
MeasureFn
85.01
KelvinDegree
))
Mid-level-ontology.kif 29198-29198
85.01
凯文度
是
氟
的
boiling
点
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