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
inList
Sigma KEE - inList
inList
appearance as argument number 1
(
documentation
inList
ChineseLanguage
"这是类似
List
的
element
和
instance
。 (
inList
?OBJ ?LIST) 的意思是 ?OBJ 是在 ?LIST
List
里。例如: (
inList
Tuesday
(
ListFn
Monday
Tuesday
Wednesday
)) 是真的")
chinese_format.kif 1973-1975
(
documentation
inList
EnglishLanguage
"The analog of
element
and
instance
for
List
s. (
inList
?OBJ ?LIST) means that ?OBJ is in the
List
?LIST. For example, (
inList
Tuesday
(
ListFn
Monday
Tuesday
Wednesday
)) would be true.")
Merge.kif 3122-3124
(
documentation
inList
JapaneseLanguage
"
List
s の
element
と
instance
のアナログ。 (
inList
?OBJ ?LIST)とは、?OBJ が
List
?LIST 内であることを意味する。例: (
inList
Tuesday
(
ListFn
Monday
Tuesday
Wednesday
)) は正しい。")
japanese_format.kif 605-607
(
domain
inList
1
Entity
)
Merge.kif 3119-3119
在列表内
的 1 数量 是
实体
的
instance
(
domain
inList
2
List
)
Merge.kif 3120-3120
在列表内
的 2 数量 是
串列
的
instance
(
instance
inList
BinaryPredicate
)
Merge.kif 3117-3117
在列表内
是
二元谓语
的
instance
(
instance
inList
PartialValuedRelation
)
Merge.kif 3118-3118
在列表内
是
部分值关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
inList
"%1 %n 是 %2 的
member
")
chinese_format.kif 131-131
(
format
EnglishLanguage
inList
"%1 is %n a
member
of %2")
english_format.kif 132-132
(
format
FrenchLanguage
inList
"%1 est %n un membre de %2")
french_format.kif 87-87
(
format
ItalianLanguage
inList
"%1 è %n un è membro di %2")
relations-it.txt 147-147
(
format
JapaneseLanguage
inList
"%1 は %2 の
member
では %n")
japanese_format.kif 1914-1914
(
format
PortugueseLanguage
inList
"%1 e' %n um membro de %2")
portuguese_format.kif 39-39
(
format
cz
inList
"%1 %p{je} %n{nen�} a
member
of %2")
relations-cz.txt 103-103
(
format
de
inList
"%1 ist ein Mitglied von %2")
relations-de.txt 157-157
(
format
hi
inList
"%1 %2 kaa sadasya %n hai")
relations-hindi.txt 186-186
(
format
ro
inList
"%1 %n{nu} este un
member
%t{element} al lui %2")
relations-ro.kif 106-106
(
format
sv
inList
"%1 är %n{inte} en medlem i %2")
relations-sv.txt 86-86
(
format
tg
inList
"%1 %n ay ang kasapi ng %2")
relations-tg.txt 298-298
(
subrelation
albumTrack
inList
)
Music.kif 332-332
albumTrack
是
在列表内
的
subrelation
(
termFormat
ChineseLanguage
inList
"在列表中")
domainEnglishFormat.kif 30204-30204
albumTrack
是
在列表内
的
subrelation
(
termFormat
ChineseLanguage
inList
"在列表内")
chinese_format.kif 132-132
albumTrack
是
在列表内
的
subrelation
(
termFormat
ChineseTraditionalLanguage
inList
"在列表中")
domainEnglishFormat.kif 30203-30203
albumTrack
是
在列表内
的
subrelation
(
termFormat
EnglishLanguage
inList
"in list")
domainEnglishFormat.kif 30202-30202
albumTrack
是
在列表内
的
subrelation
(
termFormat
de
inList
"inListe")
terms-de.txt 47-47
albumTrack
是
在列表内
的
subrelation
(
termFormat
tg
inList
"sa mula")
relations-tg.txt 299-299
albumTrack
是
在列表内
的
subrelation
antecedent
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
inList
?N ?L))
(
instance
?N
Number
))
Merge.kif 3299-3303
如果
equal
实数
and
AverageFn
串列
和
实体
是
那个 串列
的
member
,
然后
那个 实体
是
数字
的
instance
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
exists
(?TIMELIST ?INT)
(
and
(
equal
?TIMELIST
(
TimeIntervalListFn
?TIME
(
MeasureFn
3
SecondDuration
)))
(
inList
?INT ?TIMELIST)
(
equal
?SPEED
(
Mean3SecondWindSpeedFn
?PLACE ?INT)))))
Weather.kif 2834-2846
如果
equal
串列
and 在
时距
时间结束以前, 发生在区域
地理区域
的
Mean3SecondWindSpeedListFn
(平均3秒风速表列) 和
函数量
是
那个 串列
的
member
,
然后 有存在
那个 时距
LIST 和
另一个 时距
这样
equal
那个 时距
LIST and
那个 时距
的 3
第二期
ConsecutiveTimeIntervalList
是在
TimeIntervalListFn
(时间间隔表列函数) 和
那个 另外 时距
是
那个 时距
LIST 的
member
和
equal
那个 函数量
and
那个 地理区域
地区在
那个 另外 时距
时段的
Mean3SecondWindSpeedFn
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
instance
?SPEED
FunctionQuantity
))
Weather.kif 2827-2832
如果
equal
串列
and 在
时距
时间结束以前, 发生在区域
地理区域
的
Mean3SecondWindSpeedListFn
(平均3秒风速表列) 和
实体
是
那个 串列
的
member
,
然后
那个 实体
是
函数量
的
instance
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR ?CLASS))
Merge.kif 496-500
如果 @ROW 是所有的
另一个 有点 属性
的
attributes
和
实体
是 (@ROW) 的
member
,
然后
那个 实体
是
另一个 有点 属性
的
instance
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR
Attribute
))
Merge.kif 490-494
如果 @ROW 是所有的
另一个 有点 属性
的
attributes
和
实体
是 (@ROW) 的
member
,
然后
那个 实体
是
属性
的
instance
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
duration
?INT ?DUR))
Weather.kif 2804-2809
如果
时距
是
连续时间间隔表列
的
member
和
equal
那个 连续时间间隔表列
and
另一个 时距
的
持续时间
ConsecutiveTimeIntervalList
是在
TimeIntervalListFn
(时间间隔表列函数),
然后
那个 时距
的
duration
是
那个 持续时间
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 2795-2802
如果
实体
是
连续时间间隔表列
的
member
和
equal
那个 连续时间间隔表列
and
时距
的
持续时间
ConsecutiveTimeIntervalList
是在
TimeIntervalListFn
(时间间隔表列函数),
然后
equal
那个 时距
的开始 and
那个 连续时间间隔表列
的
first
的开始
(=>
(
and
(
inList
?ITEM ?RESULTS)
(
instance
?RESULTS
SRPResults
))
(
exists
(?SRP)
(
and
(
instance
?SRP
SearchResultsPage
)
(
component
?RESULTS ?SRP))))
UXExperimentalTerms.kif 2491-2498
如果
实体
是
串列
的
member
和
那个 串列
是
SRPResults
的
instance
,
然后 有存在
躯体性物体
这样
那个 躯体性物体
是
SearchResultsPage
的
instance
和
那个 串列
是
那个 躯体性物体
的
component
(=>
(
and
(
inList
?ITEM ?RESULTS)
(
instance
?RESULTS
SRPResults
))
(
or
(
instance
?ITEM
WebListing
)
(
instance
?ITEM
WebPage
)))
UXExperimentalTerms.kif 2483-2489
如果
实体
是
串列
的
member
和
那个 串列
是
SRPResults
的
instance
,
然后
那个 实体
是
WebListing
的
instance
或
那个 实体
是
WebPage
的
instance
(=>
(
and
(
instance
?LIST
ConsecutiveTimeIntervalList
)
(
inList
?TIME ?LIST))
(
instance
?Time
TimeInterval
))
Weather.kif 2758-2762
如果
串列
是
连续时间间隔表列
的
instance
和
实体
是
那个 串列
的
member
,
然后
另一个 实体
是
时距
的
instance
(=>
(
and
(
instance
?LIST
MeasuringList
)
(
inList
?M ?LIST))
(
instance
?M
Measuring
))
Weather.kif 2545-2549
如果
串列
是
量度串列
的
instance
和
实体
是
那个 串列
的
member
,
然后
那个 实体
是
测量
的
instance
(=>
(
and
(
instance
?LIST
MeasuringResultList
)
(
inList
?R ?LIST))
(
instance
?R
PhysicalQuantity
))
Weather.kif 2613-2617
如果
串列
是
量度结果串列
的
instance
和
实体
是
那个 串列
的
member
,
然后
那个 实体
是
物理量
的
instance
(=>
(
and
(
instance
?LIST
MeasuringSurfaceWindSpeedList
)
(
inList
?M ?LIST))
(
instance
?M
SurfaceWindSpeedMeasuring
))
Weather.kif 2579-2583
如果
串列
是
地面风速量度串列
的
instance
和
实体
是
那个 串列
的
member
,
然后
那个 实体
是
地面风速量度
的
instance
(=>
(
and
(
instance
?LIST
NumberList
)
(
inList
?NUM ?LIST))
(
instance
?NUM
Number
))
Weather.kif 2648-2652
如果
串列
是
数字串列
的
instance
和
实体
是
那个 串列
的
member
,
然后
那个 实体
是
数字
的
instance
(=>
(
and
(
instance
?REL
IntentionalRelation
)
(?REL ?AGENT @ROW)
(
inList
?OBJ
(
ListFn
@ROW)))
(
inScopeOfInterest
?AGENT ?OBJ))
Merge.kif 2688-2693
如果
实体
是
有意图的关系
的
instance
和
那个 实体
有认知的主事
and @ROW 和
第三 实体
是 (@ROW) 的
member
,
然后
那个 有认知的主事
对
那个 第三 实体
感兴趣
(=>
(
and
(
locationMeasuringList
?LIST ?PLACE)
(
inList
?M ?LIST))
(
and
(
instance
?M
Measuring
)
(
eventLocated
?M ?PLACE)))
Weather.kif 2598-2604
如果
量度串列
在
地理区域
(发生)
eventLocated
和
过程
是
那个 量度串列
的
member
,
然后
那个 过程
是
测量
的
instance
和
那个 过程
是
located
在
那个 地理区域
(=>
(
and
(
measuringListInterval
?LIST ?DUR)
(
inList
?M ?LIST))
(
duration
(
WhenFn
?M) ?DUR))
Weather.kif 2689-2693
如果 (量度)
Measuring
串列
量度串列
在
持续时间
的时间间隔发生 和
物理
是
那个 量度串列
的
member
,
然后
那个 物理
出现 的
time
的
duration
是
那个 持续时间
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 17096-17104
如果
客体
在
另一个 客体
的
位置属性
和 @ROW 是 的相反 和
那个 位置属性
是 (@ROW) 的
member
和
另一个 位置属性
是 (@ROW) 的
member
和
equal
那个 位置属性
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 803-819
如果 @ROW
processes
的
list
和
物理
是 (@ROW) 的
member
和
另一个 物理
是 (@ROW) 的
member
和
equal
(@ROW) 的第
正整数
几个元素 and
那个 物理
和
equal
(@ROW) 的第
另一个 正整数
几个元素 and
那个 另外 物理
和
那个 正整数
是
lessThan
那个 另外 正整数
,
然后
那个 物理
出现 的
time
比
那个 另外 物理
出现 的
time
发生的
earlier
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
inList
?ACCESSING ?LIST))
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
agent
?ACCESSING ?USER)
(
exists
(?DEST)
(
and
(
instance
?DEST
WebPage
)
(
destination
?ACCESSING
WebPage
)))))
UXExperimentalTerms.kif 771-781
如果
串列
是样品清单
viewed
由
施事体
和
过程
是
那个 串列
的
member
,
然后
那个 过程
是
AccessingWebPage
的
instance
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
这样
那个 实体
是
WebPage
的
instance
和
那个 过程
在
WebPage
结束
(=>
(
inList
?ITEM ?LIST)
(
exists
(?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM)))
Merge.kif 3126-3129
如果
实体
是
串列
的
member
,
然后 有存在
正整数
这样
equal
那个 串列
的第
那个 正整数
几个元素 and
那个 实体
consequent
(<=>
(
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
和
equal
地缘政治区域
和
那个 年
的
male
出生估计寿命 and
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
equal
那个 另外 整数
and
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
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
和
equal
地缘政治区域
和
那个 年
的
female
出生预期寿命 and
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
equal
那个 另外 整数
and
那个 符号串
所描述的类别
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
和
equal
地缘政治区域
和
那个 年
的出生预期
life
and
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
equal
那个 另外 整数
and
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
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
实数
是
串列
的
average
若且唯若 有存在
另一个 串列
和
正整数
这样
equal
那个 另外 串列
的长度 and
那个 串列
的长度 和
equal
那个 另外 串列
的第 1 几个元素 and
那个 串列
的第 1 几个元素 和 对所有
另一个 正整数
如果
那个 另外 正整数
是
那个 另外 串列
的
member
,
然后 有存在
另一个 实数
,
那个 另外 实数
MINUSONE,, ,
第三 正整数
, and 和
第四 正整数
这样
那个 另外 实数
是
greaterThan
1 和
那个 另外 实数
是
lessThanOrEqualTo
那个 另外 串列
的长度 和
equal
那个 另外 串列
的第
那个 另外 正整数
几个元素 and
那个 另外 实数
和
那个 第三 正整数
是
那个 串列
的
member
和
equal
那个 另外 实数
and
那个 串列
的第
那个 第三 正整数
几个元素 和
那个 第四 正整数
是
那个 另外 串列
的
member
和
equal
那个 另外 实数
MINUSONE and (
那个 另外 实数
和 1) 和
equal
那个 另外 实数
MINUSONE and
那个 另外 串列
的第
那个 第四 正整数
几个元素 和
equal
那个 另外 正整数
and (
那个 第三 正整数
和
那个 第四 正整数
)
和
equal
那个 正整数
and
那个 另外 串列
的长度 和
equal
那个 实数
and
那个 另外 串列
的第
那个 正整数
几个元素 和
那个 正整数
(=>
(
albumArtist
?A ?P)
(
exists
(?R ?M)
(
and
(
instance
?R
Recording
)
(
inList
?R ?A)
(
record
?R ?M)
(
agent
?M ?P))))
Music.kif 280-287
如果
有认知的主事
是在
Album
上的表演者,
然后 有存在
有内用物体
和
过程
这样
那个 有内用物体
是
Recording
的
instance
和
那个 有内用物体
是
那个 Album
的
member
和
那个 有内用物体
是个
那个 过程
的
record
和
那个 有认知的主事
是
那个 过程
的
agent
(=>
(
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 7647-7662
如果
amount
有点 物质
,
躯体性物体
and
实数
UnitOfMass
和
有点 物质
I 是
那个 有点 物质
的
instance
和
那个 有点 物质
I 的
measure
是
那个 实数
2
那个 UnitOfMass
和
那个 有点 物质
I 是
那个 躯体性物体
的
part
,
然后 有存在
串列
这样
那个 实数
2
那个 UnitOfMass
是
那个 串列
的
member
和
equal
那个 串列
and
AmountsFn
那个 有点 物质
,
那个 躯体性物体
and
那个 UnitOfMass
和
equal
那个 实数
and
ListSumFn
那个 串列
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4889-4900
如果
equal
@ROW 的最大公因数 and
整数
和
equal
那个 整数
and 0,
然后 对所有
另一个 整数
如果
那个 另外 整数
是 (@ROW) 的
member
,
然后
equal
那个 另外 整数
模除
那个 整数
and 0
(=>
(
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 4902-4916
如果
equal
@ROW 的最大公因数 and
整数
和
equal
那个 整数
and 0,
然后 不存在
另一个 整数
这样
那个 另外 整数
是
greaterThan
那个 整数
和 对所有
第三 整数
如果
那个 第三 整数
是 (@ROW) 的
member
,
然后
equal
那个 第三 整数
模除
那个 另外 整数
and 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4974-4984
如果
equal
@ROW 的最小公倍数 and
整数
和
equal
那个 整数
and 0,
然后 对所有
另一个 整数
如果
那个 另外 整数
是 (@ROW) 的
member
,
然后
equal
那个 整数
模除
那个 另外 整数
and 0
(=>
(
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 4986-5000
如果
equal
@ROW 的最小公倍数 and
整数
和
equal
那个 整数
and 0,
然后 不存在
另一个 整数
这样
那个 另外 整数
是
lessThan
那个 整数
和 对所有
第三 整数
如果
那个 第三 整数
是 (@ROW) 的
member
,
然后
equal
那个 另外 整数
模除
那个 第三 整数
and 0
(=>
(
and
(
equal
?D
(
AlbumCopiesFn
?A ?DS))
(
instance
?X ?D))
(
forall
(?S)
(=>
(
inList
?S ?A)
(
exists
(?C)
(
and
(
copy
?C ?S)
(
stored
?C ?X))))))
Music.kif 938-948
如果
equal
有点 DataStorageDevice
and
Album
在
有点 DataStorageDevice
S 的
set
复制 和
第三 DataStorageDevice
是
那个 有点 DataStorageDevice
的
instance
,
然后 对所有
客体
如果
那个 客体
是
那个 Album
的
member
,
然后 有存在
有内用物体
这样
那个 有内用物体
是和
那个 客体
完全相同的
copy
和
那个 有内用物体
是
stored
在
那个 第三 DataStorageDevice
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
exists
(?TIMELIST ?INT)
(
and
(
equal
?TIMELIST
(
TimeIntervalListFn
?TIME
(
MeasureFn
3
SecondDuration
)))
(
inList
?INT ?TIMELIST)
(
equal
?SPEED
(
Mean3SecondWindSpeedFn
?PLACE ?INT)))))
Weather.kif 2834-2846
如果
equal
串列
and 在
时距
时间结束以前, 发生在区域
地理区域
的
Mean3SecondWindSpeedListFn
(平均3秒风速表列) 和
函数量
是
那个 串列
的
member
,
然后 有存在
那个 时距
LIST 和
另一个 时距
这样
equal
那个 时距
LIST and
那个 时距
的 3
第二期
ConsecutiveTimeIntervalList
是在
TimeIntervalListFn
(时间间隔表列函数) 和
那个 另外 时距
是
那个 时距
LIST 的
member
和
equal
那个 函数量
and
那个 地理区域
地区在
那个 另外 时距
时段的
Mean3SecondWindSpeedFn
(=>
(
and
(
fleetDeadWeightTonnage
?FLEET
(
MeasureFn
?T
LongTon
))
(
vesselDeadWeightTonnage
?VESSEL
(
MeasureFn
?X
LongTon
))
(
member
?VESSEL ?FLEET))
(
exists
(?L)
(
and
(
instance
?L
List
)
(
inList
?X ?L)
(
equal
?T
(
ListSumFn
?L)))))
Transportation.kif 2738-2748
如果
实数
长吨
是
群体
的
fleet
载重吨位 和
另一个 实数
长吨
是
水车
的
vessel
载重吨位 和
那个 水车
是
那个 群体
的
member
,
然后 有存在
串列
这样
那个 串列
是
串列
的
instance
和
那个 另外 实数
是
那个 串列
的
member
和
equal
那个 实数
and
ListSumFn
那个 串列
(=>
(
and
(
instance
?O
Odometer
)
(
instance
?V
Vehicle
)
(
part
?O ?V)
(
instance
?T
Translocation
)
(
instrument
?T ?V)
(
path
?T ?P)
(
distanceOnPath
(
MeasureFn
?D ?U) ?P)
(
instance
?U
LengthMeasure
))
(
hasPurpose
?O
(
exists
(?M ?L ?DIST ?U)
(
and
(
instance
?M
Measuring
)
(
instrument
?M ?O)
(
measurementReading
?O ?DIST)
(
inList
?D ?L)
(
holdsDuring
(
WhenFn
(
EndFn
?M))
(
and
(
equal
?DIST
(
MeasureFn
(
ListSumFn
?L) ?U))
(
not
(
attribute
?O
ResetMeasuringDevice
))))))))
Cars.kif 2970-2996
如果
客体
是
Odometer
的
instance
和
另一个 客体
是
车辆
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
运动
是
易位
的
instance
和
那个 另外 客体
是导致
那个 运动
的
instrument
和
公交专用道
是
那个 运动
发生的
path
和
那个 公交专用道
的
distance
是
实数
测量单位
和
那个 测量单位
是
长度测量
的
instance
,
然后
那个 客体
的 目的 是 有存在
另一个 实体
,
第三 实体
,, ,
那个 实数
IST, and 和
那个 测量单位
这样
那个 另外 实体
是
测量
的
instance
和
那个 客体
是导致
那个 另外 实体
的
instrument
和
那个 实数
IST 是
那个 客体
的
measurement
读数 和
那个 实数
是
那个 第三 实体
的
member
和
equal
那个 实数
IST and
ListSumFn
那个 第三 实体
那个 测量单位
和
ResetMeasuringDevice
不 是
那个 客体
的
attribute
在
那个 另外 实体
的结束 出现 的
time
holdsDuring
(=>
(
and
(
instance
?OBJ
DigitalDataStorageDevice
)
(
part
?PART ?OBJ)
(
instance
?PART
DigitalData
))
(
exists
(?SCHEME ?LIST ?NUM)
(
and
(
codeMapping
?SCHEME ?PART ?NUM)
(
represents
?LIST ?SCHEME)
(=>
(
inList
?NUM ?LIST)
(
instance
?NUM
BinaryNumber
)))))
Media.kif 801-812
如果
客体
是
DigitalDataStorageDevice
的
instance
和
符号串
是
那个 客体
的
part
和
那个 符号串
是
数字数据
的
instance
,
然后 有存在
CodeMap
,
串列
, and 和
实体
这样
那个 符号串
在
那个 CodeMap
denotes
那个 实体
和
那个 串列
表达
那个 CodeMap
和
如果
那个 实体
是
那个 串列
的
member
,
然后
那个 实体
是
二进制数
的
instance
(=>
(
and
(
instance
?WW
WaterWave
)
(
waveHeight
?WW ?WH))
(
exists
(?LIST ?WA ?U ?SWH)
(
and
(
inList
?WH ?LIST)
(
instance
?WA
WaterArea
)
(
eventLocated
?WW ?WA)
(
instance
?U
UnitOfLength
)
(
significantWaveHeight
?WA
(
WhenFn
?WW)
(
MeasureFn
?SWH ?U))
(
equal
?SWH
(
MultiplicationFn
4.0
(
StandardDeviationFn
?LIST))))))
Weather.kif 2361-2376
如果
水波
是
水波
的
instance
和
波高
那个 水波
and
长度测量
,
然后 有存在
串列
,
水域
,, ,
测量单位
, and 和
实数
这样
那个 长度测量
是
那个 串列
的
member
和
那个 水域
是
水域
的
instance
和
那个 水波
是
located
在
那个 水域
和
那个 测量单位
是
UnitOfLength
的
instance
和
有效波高
那个 水域
,
那个 水波
出现 的
time
and
那个 实数
那个 测量单位
和
equal
那个 实数
and 4.0 和
标准偏差
那个 串列
(=>
(
and
(
instance
?X
OrderingParts
)
(
patient
?X ?P))
(
hasPurpose
?X
(
exists
(?L)
(
and
(
instance
?L
List
)
(
inList
?P ?L)))))
Economy.kif 2101-2109
如果
过程
是
OrderingParts
的
instance
和
实体
是
那个 过程
的
patient
,
然后
那个 过程
的 目的 是 有存在
另一个 实体
这样
那个 另外 实体
是
串列
的
instance
和
那个 实体
是
那个 另外 实体
的
member
(=>
(
average
?LIST ?AVERAGE)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
instance
?LISTITEM
RealNumber
))))
Merge.kif 5397-5402
如果
实数
是
串列
的
average
,
然后 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
实数
的
instance
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 457-461
如果 @ROW 是 的相反,
然后
如果
另一个 实体
是 (@ROW) 的
member
,
然后
那个 另外 实体
是
属性
的
instance
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2963-2968
如果
类
分拆成不相交的 @ROW,
然后 对所有
第三 类
如果
那个 第三 类
是 (@ROW) 的
member
,
然后
那个 第三 类
是
那个 类
的
subclass
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2970-2979
如果
类
分拆成不相交的 @ROW,
然后 对所有
第三 类
和
第四 类
如果
那个 第三 类
是 (@ROW) 的
member
和
那个 第四 类
是 (@ROW) 的
member
和
equal
那个 第三 类
and
那个 第四 类
,
然后
那个 第三 类
和 % 2 是
disjoint
(=>
(
disjointDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 567-571
如果 @ROW 分拆成不相交的 @ROW,
然后
如果
另一个 实体
是 (@ROW) 的
member
,
然后
那个 另外 实体
是
类
的
instance
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4882-4887
如果
equal
@ROW 的最大公因数 and
整数
,
然后
如果
另一个 实体
是 (@ROW) 的
member
,
然后
那个 另外 实体
是
数字
的
instance
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4967-4972
如果
equal
@ROW 的最小公倍数 and
整数
,
然后
如果
另一个 实体
是 (@ROW) 的
member
,
然后
那个 另外 实体
是
数字
的
instance
(=>
(
equal
?X
(
MaxValueFn
?LIST))
(
not
(
exists
(?Y)
(
and
(
inList
?Y ?LIST)
(
greaterThan
?Y ?X)))))
Weather.kif 2514-2521
如果
equal
实数
and
实体
,
然后 不存在
另一个 实数
这样
那个 另外 实数
是
串列
的
member
和
那个 另外 实数
是
greaterThan
那个 实数
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