Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
greaterThan
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 1839-1841
(
documentation
greaterThan
JapaneseLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1 が
Quantity
?NUMBER2よりも大きい場合に当てはまる。")
japanese_format.kif 339-340
(
domain
greaterThan
1
RealNumber
)
Merge.kif 1835-1835
大于
的 1 数量 是
实数
的
instance
(
domain
greaterThan
2
RealNumber
)
Merge.kif 1836-1836
大于
的 2 数量 是
实数
的
instance
(
instance
greaterThan
BinaryPredicate
)
Merge.kif 1829-1829
大于
是
二元谓语
的
instance
(
instance
greaterThan
IrreflexiveRelation
)
Merge.kif 1832-1832
大于
是
非自反关系
的
instance
(
instance
greaterThan
RelationExtendedToQuantities
)
Merge.kif 1833-1833
大于
是
延伸数量关系
的
instance
(
instance
greaterThan
TotalValuedRelation
)
Merge.kif 1830-1830
大于
是
总值关系
的
instance
(
instance
greaterThan
TransitiveRelation
)
Merge.kif 1831-1831
大于
是
传递关系
的
instance
(
inverse
greaterThan
lessThan
)
Merge.kif 1837-1837
大于
是
少于
的
inverse
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1834-1834
大于
是
实数
的
trichotomizingOn
appearance as argument number 2
(
comparativeArea
SouthernOcean
greaterThan
2.0
UnitedStates
)
Geography.kif 4579-4579
南部海洋
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 26541-26541
(
termFormat
ChineseTraditionalLanguage
greaterThan
"比較多")
domainEnglishFormat.kif 26540-26540
(
termFormat
EnglishLanguage
greaterThan
"greater than")
domainEnglishFormat.kif 26539-26539
(
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
实体
是
个人账户
的
instance
和
符号串
所描述的类别
instance
的数量 是
greaterThan
1 若且唯若
那个 实体
是
联名账户
的
instance
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
如果
沙漠气候区
是
地理区域
地区的
climate
类别 和
时距
是
月
的
instance
和 1 对于 %3 在 %2 周期的
average
温度 和
实数
是
greaterThan
18.0,
然后
亚热带沙漠气候区
是
那个 地理区域
地区的
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
实数
和
那个 实数
是
greaterThan
0 和
时距
是
震
的
instance
和
那个 物理系统
是
那个 时距
的
patient
和
实体
是
UnitOfLength
的
instance
和
physicalAmplitude
那个 时距
and
另一个 实数
那个 实体
在
那个 时距
1
holdsDuring
和
physicalAmplitude
那个 时距
and
第三 实数
那个 实体
在
那个 时距
2
holdsDuring
和
那个 时距
1 在
那个 时距
时段内发生 和
那个 时距
2 在
那个 时距
时段内发生 和
那个 时距
1 比
那个 时距
2发生的
earlier
,
然后
那个 另外 实数
是
greaterThan
那个 第三 实数
(=>
(
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 15399-15416
如果 ?TEXT的第
另一个 正整数
版
equal
有点 有内用物体
和 ?TEXT的第
正整数
版
equal
另一个 有点 有内用物体
和
那个 正整数
是
greaterThan
那个 另外 正整数
和
过程
是
出版
的
instance
和
另一个 过程
是
出版
的
instance
和
第三 实体
是
有点 有内用物体
的
instance
和
第四 实体
是
另一个 有点 有内用物体
的
instance
和
那个 第三 实体
是
那个 过程
的
patient
和
那个 第四 实体
是
那个 另外 过程
的
patient
和
那个 过程
的
date
是
日
和
那个 另外 过程
的
date
是
另一个 日
,
然后
那个 日
的结束%n在
那个 另外 日
的结束
before
发生
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3264-3271
如果
实数
equal
AverageFn
串列
和
那个 串列
的长度 是
greaterThan
0,
然后
那个 实数
equal
ListSumFn
那个 串列
和
那个 串列
的长度
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3245-3255
如果
实数
equal
ListSumFn
串列
和
那个 串列
的长度 是
greaterThan
1,
然后
那个 实数
equal
(
那个 串列
的
first
和
ListSumFn
SubListFn
2,
那个 串列
的长度 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
如果
符号串
equal
ReverseFn
另一个 符号串
和
非负整数
equal
那个 另外 符号串
的
length
和
那个 非负整数
是
greaterThan
1 和
另一个 非负整数
是
greaterThan
0 和
那个 另外 非负整数
是
lessThan
那个 非负整数
和
整数
equal
取(
那个 非负整数
和 1) 和 2 的顶整数 和
那个 另外 非负整数
EW
equal
((
那个 整数
和
那个 另外 非负整数
) 和
那个 整数
) 和
第三 符号串
equal
那个 另外 符号串
的
sub
-string 从
那个 另外 非负整数
对于 (1 和
那个 另外 非负整数
) ,
然后
那个 第三 符号串
equal
那个 符号串
的
sub
-string 从
那个 另外 非负整数
EW 对于 (1 和
那个 另外 非负整数
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 3177-3189
如果
串列
equal
SubListFn
正整数
,
整数
and
另一个 串列
和 (
那个 整数
和
那个 正整数
) 是
greaterThan
1,
然后
那个 串列
equal
List
包含 (
那个 另外 串列
的第
那个 正整数
几个元素) 和
SubListFn
(1 和
那个 正整数
),
那个 整数
and
那个 另外 串列
(=>
(
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
如果
实数
equal
方差均差函数
数字
and
串列
和
那个 串列
的长度 是
greaterThan
1,
然后
那个 实数
equal
(
方差均差函数
那个 数字
and
那个 串列
的第 1 几个元素 和
方差均差函数
那个 数字
and
SubListFn
2,
那个 串列
的长度 and
那个 串列
)
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
如果
商船
对
非负整数
由来源
地缘政治区域
fOC
船只 和
那个 非负整数
是
greaterThan
0 和
船舶登记
是
那个 商船
的
marine
库存,
然后
那个 船舶登记
是
便利登记的旗帜
的
instance
(=>
(
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
函数量
和
实数
英里每小時
equal
长度测量
除以
持续时间
和
另一个 实数
英里每小時
equal
另一个 长度测量
除以
另一个 持续时间
和
那个 实数
是
greaterThan
那个 另外 实数
和
那个 实数
PROB
equal
那个 SpeedGovernor
的
measure
是
那个 实数
英里每小時
的机率 和
那个 另外 实数
PROB
equal
那个 SpeedGovernor
的
measure
是
那个 另外 实数
英里每小時
的机率,
然后
那个 另外 实数
PROB 是
greaterThan
那个 实数
PROB
(=>
(
and
(
instance
?AGENT ?CLASS)
(
lethalDose
?CLASS
(
MeasureFn
?NUMBER ?UNIT))
(
greaterThan
?NUMBER 0.0))
(
instance
?AGENT
LifeThreateningAgent
))
WMD.kif 1017-1023
如果
实体
是
有点 生化剂
的
instance
和
实数
测量单位
是
有点 生化剂
的
lethal
剂量 和
那个 实数
是
greaterThan
0.0,
然后
那个 实体
是
危及生命的特工
的
instance
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1573-1580
如果
地理区域
是
地理区域
的
instance
和
时距
是
月
的
instance
和 1 对于 %3 在 %2 周期的
average
温度 和 10.0 是
greaterThan
实数
,
然后
极地气候区
是
那个 地理区域
地区的
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 437-448
如果
过程
是
Auctioning
的
instance
和
施事体
是
施事体
的
instance
和
另一个 施事体
是
施事体
的
instance
和
客体
是
客体
的
instance
和
测量单位
是
UnitOfCurrency
的
instance
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
bids
实数
那个 测量单位
對於
那个 客体
和
那个 另外 施事体
bids
另一个 实数
那个 测量单位
對於
那个 客体
和
那个 实数
是
greaterThan
那个 另外 实数
,
然后
那个 过程
在
那个 施事体
结束
(=>
(
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 8706-8713
如果
时距
是
正整数
day
的
instance
和
另一个 时距
是
另一个 正整数
day
的
instance
和
时点
equal
那个 时距
的开始 和
另一个 时点
equal
那个 另外 时距
的开始 和
那个 另外 正整数
是
greaterThan
那个 正整数
,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
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 8715-8720
如果
时距
是
正整数
day
的
instance
和
另一个 时距
是
另一个 正整数
day
的
instance
和
那个 另外 正整数
是
greaterThan
那个 正整数
,
然后
那个 时距
比
那个 另外 时距
发生的
earlier
(=>
(
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
如果
实体
是
人类
的
instance
和
那个 实体
的
age
是
实数
年持续时间
在
时间位置
holdsDuring
和
那个 实数
是
greaterThan
12 和
那个 实数
是
lessThan
20,
然后
那个 实体
是
青少年
的
instance
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
如果
客体
是
港口
的
instance
和
那个 客体
对于
实数
equipment
记数
船泊位
和
那个 实数
是
greaterThan
0,
然后
那个 客体
能够担当
路径
的角色做
船靠泊
(=>
(
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 13754-13769
如果
实体
是
有点 純物质
的
instance
和
实数
测量单位
是
有点 純物质
的
boiling
点 和
另一个 实数
那个 测量单位
是
那个 有点 純物质
的
melting
点 和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 实体
的
measure
是
第三 实数
那个 测量单位
在
时距
holdsDuring
和
那个 第三 实数
是
greaterThan
那个 另外 实数
和
那个 第三 实数
是
lessThan
那个 实数
,
然后
液体
是
那个 实体
的
attribute
在
那个 时距
holdsDuring
或 有存在
过程
这样
那个 时距
时段 和
那个 过程
出现 的
time
重叠 和
那个 过程
是
溶化
的
instance
和
那个 实体
是
那个 过程
的
patient
(=>
(
and
(
instance
?SZ
SurfZone
)
(
significantWaveHeight
?SZ
(
WhenFn
?SZ)
(
MeasureFn
?X
FootLength
))
(
greaterThan
?X 8.0))
(
attribute
?SZ
RedFlagSwimmingCondition
))
Weather.kif 1398-1405
如果
水域
是
碎波带
的
instance
和
有效波高
那个 水域
,
那个 水域
出现 的
time
and
实数
脚长
和
那个 实数
是
greaterThan
8.0,
然后
RedFlagSwimmingCondition
是
那个 水域
的
attribute
(=>
(
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 13689-13698
如果
客体
是
有点 純物质
的
instance
和
有点 純物质
是
純物质
的
subclass
和
实数
英寸汞
是
那个 客体
的
barometric
压力 和 29.92 是
greaterThan
那个 实数
和
另一个 实数
凯文度
是
那个 有点 純物质
的
boiling
点 和
那个 客体
的
measure
是
第三 实数
凯文度
和
那个 第三 实数
是
greaterThan
那个 另外 实数
,
然后
加油站
是
那个 客体
的
attribute
(=>
(
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 13700-13709
如果
客体
是
有点 純物质
的
instance
和
有点 純物质
是
純物质
的
subclass
和
实数
凯文度
是
那个 有点 純物质
的
boiling
点 和
另一个 实数
凯文度
是
那个 有点 純物质
的
melting
点 和
那个 客体
的
measure
是
第三 实数
凯文度
和
那个 第三 实数
是
greaterThan
那个 另外 实数
和
那个 第三 实数
是
lessThan
那个 实数
,
然后
液体
是
那个 客体
的
attribute
(=>
(
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 13711-13720
如果
客体
是
有点 純物质
的
instance
和
有点 純物质
是
純物质
的
subclass
和
实数
凯文度
是
那个 有点 純物质
的
melting
点 和
另一个 实数
英寸汞
是
那个 客体
的
barometric
压力 和
那个 另外 实数
是
greaterThan
29.92 和
那个 客体
的
measure
是
第三 实数
凯文度
和
那个 第三 实数
是
lessThan
那个 实数
,
然后
固体
是
那个 客体
的
attribute
(=>
(
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 8674-8681
如果
时距
是
整数
year
的
instance
和
另一个 时距
是
另一个 整数
year
的
instance
和
时点
equal
那个 时距
的开始 和
另一个 时点
equal
那个 另外 时距
的开始 和
那个 另外 整数
是
greaterThan
那个 整数
,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8683-8688
如果
时距
是
整数
year
的
instance
和
另一个 时距
是
另一个 整数
year
的
instance
和
那个 另外 整数
是
greaterThan
那个 整数
,
然后
那个 时距
比
那个 另外 时距
发生的
earlier
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
attribute
?WATER
OpenSea
)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0)))
Geography.kif 4614-4622
公海
是
客体
的
attribute
若且唯若
那个 客体
是
盐水区
的
instance
和
那个 客体
不 是
内陆水域
的
instance
和
物理
和
那个 客体
的
distance
是
实数
海里
和
那个 实数
是
greaterThan
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 298-319
实数
是
串列
的
average
若且唯若 有存在
另一个 串列
和
正整数
这样
那个 另外 串列
的长度
equal
那个 串列
的长度 和
那个 另外 串列
的第 1 几个元素
equal
那个 串列
的第 1 几个元素 和 对所有
另一个 正整数
如果
那个 另外 正整数
是
那个 另外 串列
的
member
,
然后 有存在
另一个 实数
,
那个 另外 实数
MINUSONE,, ,
第三 正整数
, and 和
第四 正整数
这样
那个 另外 实数
是
greaterThan
1 和
那个 另外 实数
是
lessThanOrEqualTo
那个 另外 串列
的长度 和
那个 另外 串列
的第
那个 另外 正整数
几个元素
equal
那个 另外 实数
和
那个 第三 正整数
是
那个 串列
的
member
和
那个 另外 实数
equal
那个 串列
的第
那个 第三 正整数
几个元素 和
那个 第四 正整数
是
那个 另外 串列
的
member
和
那个 另外 实数
MINUSONE
equal
(
那个 另外 实数
和 1) 和
那个 另外 实数
MINUSONE
equal
那个 另外 串列
的第
那个 第四 正整数
几个元素 和
那个 另外 正整数
equal
(
那个 第三 正整数
和
那个 第四 正整数
)
和
那个 正整数
equal
那个 另外 串列
的长度 和
那个 实数
equal
那个 另外 串列
的第
那个 正整数
几个元素 和
那个 正整数
(<=>
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
greaterThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1872-1876
实数
是
greaterThanOrEqualTo
另一个 实数
若且唯若
那个 实数
equal
那个 另外 实数
或
那个 实数
是
greaterThan
那个 另外 实数
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1924-1928
实数
是
正实数
的
instance
若且唯若
那个 实数
是
greaterThan
0 和
那个 实数
是
实数
的
instance
(<=>
(
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 7744-7752
客体
larger
另一个 客体
若且唯若 对所有
实数
,
另一个 实数
, and 和
测量单位
如果
那个 客体
的
measure
是
那个 实数
那个 测量单位
和
那个 另外 客体
的
measure
是
那个 另外 实数
那个 测量单位
和
那个 测量单位
是
UnitOfLength
的
instance
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1752-1757
如果
平坦的地形
是
客体
的
attribute
和
土地面积
是
那个 客体
的
part
和
非负实数
是
那个 土地面积
的
slope
梯度,
然后 0.005 是
greaterThan
那个 非负实数
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1764-1769
如果
低地形
是
客体
的
attribute
和
土地面积
是
那个 客体
的
part
和
非负实数
是
那个 土地面积
的
slope
梯度,
然后 0.03 是
greaterThan
那个 非负实数
(=>
(
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
如果
FamilyStylePortion
是
客体
的
attribute
和
那个 客体
的
measure
是
实数
测量单位
和
FamilyStylePortion
不 是
另一个 客体
的
attribute
和
那个 另外 客体
的
measure
是
另一个 实数
那个 测量单位
和
那个 客体
是
类
的
instance
和
那个 另外 客体
是
那个 类
的
instance
和
那个 测量单位
是
测量单位
的
instance
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
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
?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
(
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 24312-24322
如果
日
是
人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
那个 人类
的
birthday
是
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
那个 另外 有点 日
equal
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1554-1560
如果
地缘政治区域
在周期
实数
测量单位
对于
有点 时距
的
capital
地区支出 和 1 对于 %3 在周期 %2 的
annual
地区消费,
然后
另一个 实数
是
greaterThan
那个 实数
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1521-1529
如果
寒冷气候带
是
地理区域
地区的
climate
类别 和 对所有
时距
那个 时距
是
月
的
instance
和 1 对于 %3 在 %2 周期的
average
温度,
然后 10.0 是
greaterThan
实数
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1595-1601
如果
极地型F气候区
是
地理区域
地区的
climate
类别 和
时间位置
是
时间位置
的
instance
和
实体
摄氏度
是
那个 地理区域
的
air
温度 在
那个 时间位置
holdsDuring
,
然后 10.0 是
greaterThan
那个 实体
在
那个 时间位置
holdsDuring
(=>
(
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
实数
和
那个 实数
是
greaterThan
0 和
时距
是
震
的
instance
和
那个 物理系统
是
那个 时距
的
patient
和
实体
是
UnitOfLength
的
instance
和
physicalAmplitude
那个 时距
and
另一个 实数
那个 实体
在
那个 时距
1
holdsDuring
和
physicalAmplitude
那个 时距
and
第三 实数
那个 实体
在
那个 时距
2
holdsDuring
和
那个 时距
1 在
那个 时距
时段内发生 和
那个 时距
2 在
那个 时距
时段内发生 和
那个 时距
1 比
那个 时距
2发生的
earlier
,
然后
那个 另外 实数
是
greaterThan
那个 第三 实数
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18327-18332
如果
defaultMaxValue
谓语
,
正整数
and
数量
和
那个 谓语
@ARGS 和
另一个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 数量
是
greaterThan
那个 另外 实体
的声明 has
容易
的语气
(=>
(
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 13406-13415
如果
有点 客体
的
maximum
预期价值是
实数
测量单位
和
那个 测量单位
是
CompositeUnitOfMeasure
的
instance
,
然后 有存在
实体
和
那个 实数
UANTITY 这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 测量单位
和
那个 实数
UANTITY 是
greaterThan
那个 实数
的声明 has
较不可能
的语气
(=>
(
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 13417-13428
如果
有点 客体
的
maximum
预期价值是
实数
测量单位
和
类
是
NonCompositeUnitOfMeasure
的
subclass
和
那个 测量单位
是
那个 类
的
instance
,
然后 有存在
实体
,
那个 实数
UANTITY, and 和
第三 实体
这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 第三 实体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 实数
UANTITY
那个 第三 实体
是
greaterThan
那个 实数
那个 测量单位
的声明 has
较不可能
的语气
(=>
(
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 13356-13367
如果
有点 客体
的
maximum
預期半径是
实数
测量单位
和
另一个 客体
是
有点 客体
的
instance
和
球
是
那个 另外 客体
的
attribute
,
然后 有存在
那个 实数
ADIUS 这样
那个 另外 客体
的
radius
是
那个 实数
ADIUS
那个 测量单位
和
那个 实数
ADIUS 是
greaterThan
那个 实数
的声明 has
较不可能
的语气
(=>
(
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 13436-13445
如果
有点 客体
的预期
value
是
实数
测量单位
和
那个 测量单位
是
CompositeUnitOfMeasure
的
instance
,
然后 有存在
实体
和
那个 实数
UANTITY 这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 测量单位
和
那个 实数
UANTITY 是
greaterThan
那个 实数
和 1.5 的声明 has
较不可能
的语气
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18310-18315
如果
defaultMinValue
谓语
,
正整数
and
数量
和
那个 谓语
@ARGS 和
另一个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 另外 实体
是
greaterThan
那个 数量
的声明 has
容易
的语气
(=>
(
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
实数
英里每小時
and
持续时间
和
客体
是
汽车
的
instance
和
过程
是
GasPedal
的
instance
和
那个 过程
是
Pushing
的
instance
和
那个 过程
在
另一个 客体
结束 和
那个 内燃机
是
那个 客体
的
part
和
那个 另外 客体
是
那个 客体
的
part
和
第三 客体
是
Crankshaft
的
instance
和
那个 第三 客体
是
那个 内燃机
的
part
和
那个 第三 客体
的
measure
是
RotationFn
实体
英里每小時
and
那个 持续时间
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 实体
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
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 4860-4874
如果 @ROW 的最大公因数
equal
整数
和
那个 整数
不
equal
0,
然后 不存在
另一个 整数
这样
那个 另外 整数
是
greaterThan
那个 整数
和 对所有
第三 整数
如果
那个 第三 整数
是 (@ROW) 的
member
,
然后
那个 第三 整数
模除
那个 另外 整数
equal
0
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?P ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18182-18196
如果
机构
equal
DepartmentOfFn
另一个 机构
and
有点 物理
和
那个 机构
2 是
那个 另外 机构
Organization
的一部分 和
那个 机构
不
equal
那个 机构
2 和
实体
是
有点 物理
的
instance
和
有认知的主事
对
那个 实体
感兴趣 和
那个 有认知的主事
1
equal
那个 机构
是
那个 有认知的主事
的
agent
的机率 和
那个 有认知的主事
2
equal
那个 机构
2 是
那个 有认知的主事
的
agent
的机率,
然后
那个 有认知的主事
1 是
greaterThan
那个 有认知的主事
2
(=>
(
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
函数量
和
实数
英里每小時
equal
长度测量
除以
持续时间
和
另一个 实数
英里每小時
equal
另一个 长度测量
除以
另一个 持续时间
和
那个 实数
是
greaterThan
那个 另外 实数
和
那个 实数
PROB
equal
那个 SpeedGovernor
的
measure
是
那个 实数
英里每小時
的机率 和
那个 另外 实数
PROB
equal
那个 SpeedGovernor
的
measure
是
那个 另外 实数
英里每小時
的机率,
然后
那个 另外 实数
PROB 是
greaterThan
那个 实数
PROB
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