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
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 3109-3111
(
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 3106-3106
inList
の数値 1 引数は
エンティティー
の
instance
では %n
(
domain
inList
2
List
)
Merge.kif 3107-3107
inList
の数値 2 引数は
リスト
の
instance
では %n
(
instance
inList
BinaryPredicate
)
Merge.kif 3104-3104
inList
は
2進述語
の
instance
では %n
(
instance
inList
PartialValuedRelation
)
Merge.kif 3105-3105
inList
は
部分的価値関係
の
instance
では %n
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
は
inList
の
subrelation
では %n
(
termFormat
ChineseLanguage
inList
"在列表中")
domainEnglishFormat.kif 30193-30193
(
termFormat
ChineseLanguage
inList
"在列表内")
chinese_format.kif 132-132
(
termFormat
ChineseTraditionalLanguage
inList
"在列表中")
domainEnglishFormat.kif 30192-30192
(
termFormat
EnglishLanguage
inList
"in list")
domainEnglishFormat.kif 30191-30191
(
termFormat
de
inList
"inListe")
terms-de.txt 47-47
(
termFormat
tg
inList
"sa mula")
relations-tg.txt 299-299
antecedent
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
inList
?N ?L))
(
instance
?N
Number
))
Merge.kif 3286-3290
実数
は
AverageFn
リスト
と
equal
では %n
エンティティー
は
リスト
の
member
では %n
エンティティー
は
数
の
instance
では %n
(=>
(
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 2001-2013
リスト
は
Mean3SecondWindSpeedListFn
地理的地域
and
時間間隔
と
equal
では %n
関数量
は
リスト
の
member
では %n
時間間隔
LIST
時間間隔
時間間隔
LIST は
TimeIntervalListFn
時間間隔
and 3 の
SecondDuration
(s) と
equal
では %n
時間間隔
は
時間間隔
LIST の
member
では %n
関数量
は
Mean3SecondWindSpeedFn
地理的地域
and
時間間隔
と
equal
では %n
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
instance
?SPEED
FunctionQuantity
))
Weather.kif 1994-1999
リスト
は
Mean3SecondWindSpeedListFn
地理的地域
and
時間間隔
と
equal
では %n
エンティティー
は
リスト
の
member
では %n
エンティティー
は
関数量
の
instance
では %n
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR ?CLASS))
Merge.kif 503-507
exhaustiveAttribute
属性
and @ROW
エンティティー
は (@ROW) の
member
では %n
エンティティー
は
属性
の
instance
では %n
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR
Attribute
))
Merge.kif 497-501
exhaustiveAttribute
属性
and @ROW
エンティティー
は (@ROW) の
member
では %n
エンティティー
は
属性
の
instance
では %n
(=>
(
and
(
inList
?E ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U)))
(
instance
?E
RationalNumber
))
Merge.kif 7582-7587
エンティティー
は
リスト
の
member
では %n
リスト
は
AmountsFn
物質
,
微粒子オブジェクト
and
UnitOfMass
と
equal
では %n
エンティティー
は
有理数
の
instance
では %n
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
duration
?INT ?DUR))
Weather.kif 1971-1976
時間間隔
は
ConsecutiveTimeIntervalList
の
member
では %n
ConsecutiveTimeIntervalList
は
TimeIntervalListFn
時間間隔
and
時間分
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1962-1969
エンティティー
は
ConsecutiveTimeIntervalList
の
member
では %n
ConsecutiveTimeIntervalList
は
TimeIntervalListFn
時間間隔
and
時間分
と
equal
では %n
時間間隔
の
beginning
は
FirstFn
ConsecutiveTimeIntervalList
の
beginning
と
equal
では %n
(=>
(
and
(
inList
?ITEM ?RESULTS)
(
instance
?RESULTS
SRPResults
))
(
exists
(?SRP)
(
and
(
instance
?SRP
SearchResultsPage
)
(
component
?RESULTS ?SRP))))
UXExperimentalTerms.kif 2491-2498
エンティティー
は
リスト
の
member
では %n
リスト
は
SRPResults
の
instance
では %n
微粒子オブジェクト
微粒子オブジェクト
は
SearchResultsPage
の
instance
では %n
リスト
は
微粒子オブジェクト
の
component
では %n
(=>
(
and
(
inList
?ITEM ?RESULTS)
(
instance
?RESULTS
SRPResults
))
(
or
(
instance
?ITEM
WebListing
)
(
instance
?ITEM
WebPage
)))
UXExperimentalTerms.kif 2483-2489
エンティティー
は
リスト
の
member
では %n
リスト
は
SRPResults
の
instance
では %n
エンティティー
は
WebListing
の
instance
では %n
エンティティー
は
WebPage
の
instance
では %n
(=>
(
and
(
instance
?LIST
ConsecutiveTimeIntervalList
)
(
inList
?TIME ?LIST))
(
instance
?Time
TimeInterval
))
Weather.kif 1925-1929
リスト
は
ConsecutiveTimeIntervalList
の
instance
では %n
エンティティー
は
リスト
の
member
では %n
エンティティー
は
時間間隔
の
instance
では %n
(=>
(
and
(
instance
?LIST
MeasuringList
)
(
inList
?M ?LIST))
(
instance
?M
Measuring
))
Weather.kif 1712-1716
リスト
は
MeasuringList
の
instance
では %n
エンティティー
は
リスト
の
member
では %n
エンティティー
は
計測
の
instance
では %n
(=>
(
and
(
instance
?LIST
MeasuringResultList
)
(
inList
?R ?LIST))
(
instance
?R
PhysicalQuantity
))
Weather.kif 1780-1784
リスト
は
MeasuringResultList
の
instance
では %n
エンティティー
は
リスト
の
member
では %n
エンティティー
は
物理量
の
instance
では %n
(=>
(
and
(
instance
?LIST
MeasuringSurfaceWindSpeedList
)
(
inList
?M ?LIST))
(
instance
?M
SurfaceWindSpeedMeasuring
))
Weather.kif 1746-1750
リスト
は
MeasuringSurfaceWindSpeedList
の
instance
では %n
エンティティー
は
リスト
の
member
では %n
エンティティー
は
SurfaceWindSpeedMeasuring
の
instance
では %n
(=>
(
and
(
instance
?LIST
NumberList
)
(
inList
?NUM ?LIST))
(
instance
?NUM
Number
))
Weather.kif 1815-1819
リスト
は
NumberList
の
instance
では %n
エンティティー
は
リスト
の
member
では %n
エンティティー
は
数
の
instance
では %n
(=>
(
and
(
instance
?REL
IntentionalRelation
)
(?REL ?AGENT @ROW)
(
inList
?OBJ
(
ListFn
@ROW)))
(
inScopeOfInterest
?AGENT ?OBJ))
Merge.kif 2677-2682
エンティティー
は
IntentionalRelation
の
instance
では %n
エンティティー
認識エージェント
and @ROW
エンティティー
は (@ROW) の
member
では %n
認識エージェント
は
エンティティー
に
interested
が %n
(=>
(
and
(
locationMeasuringList
?LIST ?PLACE)
(
inList
?M ?LIST))
(
and
(
instance
?M
Measuring
)
(
eventLocated
?M ?PLACE)))
Weather.kif 1765-1771
locationMeasuringList
MeasuringList
and
地理的地域
工程
は
MeasuringList
の
member
では %n
工程
は
計測
の
instance
では %n
eventLocated
工程
and
地理的地域
(=>
(
and
(
measuringListInterval
?LIST ?DUR)
(
inList
?M ?LIST))
(
duration
(
WhenFn
?M) ?DUR))
Weather.kif 1856-1860
measuringListInterval
MeasuringList
and
時間分
物理
は
MeasuringList
の
member
では %n
物理
の
time
の existence の
duration
は
時間分
では %n
(=>
(
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 16943-16951
オブジェクト
は
位置属性
対
オブジェクト
では %n @ROW は の
disjoint
では %n
位置属性
は (@ROW) の
member
では %n
位置属性
は (@ROW) の
member
では %n
位置属性
は
位置属性
と
equal
では
オブジェクト
は
位置属性
対
オブジェクト
では
(=>
(
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
processList
@ROW
物理
は (@ROW) の
member
では %n
物理
は (@ROW) の
member
では %n (@ROW) の
エンティティー
element
は
物理
と
equal
では %n (@ROW) の
エンティティー
element
は
物理
と
equal
では %n
正の整数
は
正の整数
より
less
では %n
物理
の
time
の existence は
物理
の
time
の existence より
earlier
happens %n{ない}
(=>
(
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
viewedItemList
AutonomousAgent
and
リスト
工程
は
リスト
の
member
では %n
工程
は
AccessingWebPage
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
は
WebPage
の
instance
では %n
工程
は
WebPage
に
end
s %n{ない}
(=>
(
inList
?ITEM ?LIST)
(
exists
(?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM)))
Merge.kif 3113-3116
エンティティー
は
リスト
の
member
では %n
正の整数
リスト
の
正の整数
th
element
は
エンティティー
と
equal
では %n
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
では %n
MaleLifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
average
リスト
and
実数
(<=>
(
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
では %n
FemaleLifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
average
リスト
and
実数
(<=>
(
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
では %n
LifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
average
リスト
and
実数
(<=>
(
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
リスト
and
実数
リスト
正の整数
リスト
の
length
は
リスト
の
length
と
equal
では %n
リスト
の 1th
element
は
リスト
の 1th
element
と
equal
では %n
正の整数
正の整数
は
リスト
の
member
では %n
実数
実数
MINUSONE,
正の整数
and
正の整数
実数
は 1 より
greater
では %n
実数
は
リスト
の
length
より
less
または同等 では %n
リスト
の
正の整数
th
element
は
実数
と
equal
では %n
正の整数
は
リスト
の
member
では %n
実数
は
リスト
の
正の整数
th
element
と
equal
では %n
正の整数
は
リスト
の
member
では %n
実数
MINUSONE は (
実数
+ 1) と
equal
では %n
実数
MINUSONE は
リスト
の
正の整数
th
element
と
equal
では %n
正の整数
は (
正の整数
+
正の整数
) と
equal
では %n
正の整数
は
リスト
の
length
と
equal
では %n
実数
は
リスト
の
正の整数
th
element
+
正の整数
と
equal
では %n
(=>
(
albumArtist
?A ?P)
(
exists
(?R ?M)
(
and
(
instance
?R
Recording
)
(
inList
?R ?A)
(
record
?R ?M)
(
agent
?M ?P))))
Music.kif 280-287
albumArtist
Album
and
認識エージェント
コンテンツベアリングオブジェクト
工程
コンテンツベアリングオブジェクト
は
Recording
の
instance
では %n
コンテンツベアリングオブジェクト
は
Album
の
member
では %n
record
コンテンツベアリングオブジェクト
and
工程
認識エージェント
は
工程
の
agent
では %n
(=>
(
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
(s)
物質
I は
物質
の
instance
では %n
物質
I の
measure
は
実数
2 の
UnitOfMass
(s) では %n
物質
I は
微粒子オブジェクト
の
part
では %n
リスト
実数
2 の
UnitOfMass
(s) は
リスト
の
member
では %n
リスト
は
AmountsFn
物質
,
微粒子オブジェクト
and
UnitOfMass
と
equal
では %n
実数
は
ListSumFn
リスト
と
equal
では %n
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4861-4872
@ROW の
Greatest
公約数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
@ROW の
Greatest
公約数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は
整数
より
greater
では %n
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4946-4956
@ROW の
Least
公倍数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
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 の
Least
公倍数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は
整数
より
less
では %n
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
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 936-946
DataStorageDevice
は
AlbumCopiesFn
Album
and
DataStorageDevice
S と
equal
では %n
DataStorageDevice
は
DataStorageDevice
の
instance
では %n
オブジェクト
オブジェクト
は
Album
の
member
では %n
コンテンツベアリングオブジェクト
コンテンツベアリングオブジェクト
は
オブジェクト
の
copy
では %n
stored
コンテンツベアリングオブジェクト
and
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 2001-2013
リスト
は
Mean3SecondWindSpeedListFn
地理的地域
and
時間間隔
と
equal
では %n
関数量
は
リスト
の
member
では %n
時間間隔
LIST
時間間隔
時間間隔
LIST は
TimeIntervalListFn
時間間隔
and 3 の
SecondDuration
(s) と
equal
では %n
時間間隔
は
時間間隔
LIST の
member
では %n
関数量
は
Mean3SecondWindSpeedFn
地理的地域
and
時間間隔
と
equal
では %n
(=>
(
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
では %n
記号文字列
は
オブジェクト
の
part
では %n
記号文字列
は
DigitalData
の
instance
では %n
CodeMap
リスト
and
エンティティー
codeMapping
CodeMap
,
記号文字列
and
エンティティー
リスト
は
CodeMap
を
express
es %n{ない}
エンティティー
は
リスト
の
member
では %n
エンティティー
は
2進数
の
instance
では %n
(=>
(
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 1528-1543
WaterWave
は
WaterWave
の
instance
では %n
waveHeight
WaterWave
and
長さ測定
リスト
水域
,
測定単位
and
実数
長さ測定
は
リスト
の
member
では %n
水域
は
水域
の
instance
では %n
eventLocated
WaterWave
and
水域
測定単位
は
UnitOfLength
の
instance
では %n
significantWaveHeight
水域
,
WaterWave
の
time
の existence and
実数
の
測定単位
(s)
実数
は 4.0 +
StandardDeviationFn
リスト
と
equal
では %n
(=>
(
average
?LIST ?AVERAGE)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
instance
?LISTITEM
RealNumber
))))
Merge.kif 5369-5374
average
リスト
and
実数
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
実数
の
instance
では %n
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 464-468
@ROW は の
disjoint
では %n
エンティティー
は (@ROW) の
member
では %n
エンティティー
は
属性
の
instance
では %n
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2950-2955
クラス
は @ROW に
disjointly
decomposed
%n
クラス
クラス
は (@ROW) の
member
では %n
クラス
は
クラス
の
subclass
では %n
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2957-2966
クラス
は @ROW に
disjointly
decomposed
%n
クラス
クラス
クラス
は (@ROW) の
member
では %n
クラス
は (@ROW) の
member
では %n
クラス
は
クラス
と
equal
では
クラス
と
クラス
は
disjoint
では %n
(=>
(
disjointDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 574-578
@ROW は @ROW に
disjointly
decomposed
%n
エンティティー
は (@ROW) の
member
では %n
エンティティー
は
クラス
の
instance
では %n
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4854-4859
@ROW の
Greatest
公約数 は
整数
と
equal
では %n
エンティティー
は (@ROW) の
member
では %n
エンティティー
は
数
の
instance
では %n
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4939-4944
@ROW の
Least
公倍数 は
整数
と
equal
では %n
エンティティー
は (@ROW) の
member
では %n
エンティティー
は
数
の
instance
では %n
(=>
(
equal
?X
(
MaxValueFn
?LIST))
(
not
(
exists
(?Y)
(
and
(
inList
?Y ?LIST)
(
greaterThan
?Y ?X)))))
Weather.kif 1681-1688
実数
は
MaxValueFn
リスト
と
equal
では %n
実数
実数
は
リスト
の
member
では %n
実数
は
実数
より
greater
では %n
(=>
(
exhaustiveAttribute
?CLASS @ROW)
(
forall
(?ATTR1)
(=>
(
instance
?ATTR1 ?CLASS)
(
exists
(?ATTR2)
(
and
(
inList
?ATTR2
(
ListFn
@ROW))
(
equal
?ATTR1 ?ATTR2))))))
Merge.kif 509-517
exhaustiveAttribute
属性
and @ROW
エンティティー
エンティティー
は
属性
の
instance
では %n
エンティティー
エンティティー
は (@ROW) の
member
では %n
エンティティー
は
エンティティー
と
equal
では %n
(=>
(
exhaustiveDecomposition
?CLASS @ROW)
(
forall
(?OBJ)
(=>
(
instance
?OBJ ?CLASS)
(
exists
(?ITEM)
(
and
(
inList
?ITEM
(
ListFn
@ROW))
(
instance
?OBJ ?ITEM))))))
Merge.kif 2940-2948
クラス
は @ROW によって
covered
され %n
エンティティー
エンティティー
は
クラス
の
instance
では %n
クラス
クラス
は (@ROW) の
member
では %n
エンティティー
は
クラス
の
instance
では %n
(=>
(
exhaustiveDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 558-562
@ROW は @ROW によって
covered
され %n
エンティティー
は (@ROW) の
member
では %n
エンティティー
は
クラス
の
instance
では %n
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