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
FirstFn
Sigma KEE - FirstFn
FirstFn
appearance as argument number 1
(
documentation
FirstFn
EnglishLanguage
"(
FirstFn
?LIST) returns the first item in the
List
?LIST. For example, (
FirstFn
(
ListFn
Monday
Tuesday
Wednesday
)) would return the value of
Monday
.")
Merge.kif 3228-3230
(
domain
FirstFn
1
List
)
Merge.kif 3226-3226
FirstFn
の数値 1 引数は
リスト
の
instance
では %n
(
instance
FirstFn
UnaryFunction
)
Merge.kif 3225-3225
FirstFn
は
1変数関数
の
instance
では %n
(
range
FirstFn
Entity
)
Merge.kif 3227-3227
FirstFn
の
range
は
エンティティー
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
FirstFn
"%1 的 first ")
domainEnglishFormat.kif 1012-1012
(
format
ChineseTraditionalLanguage
FirstFn
"%1 的 first ")
domainEnglishFormat.kif 1011-1011
(
format
EnglishLanguage
FirstFn
"the first of %1")
domainEnglishFormat.kif 1010-1010
(
termFormat
ChineseLanguage
FirstFn
"第一")
domainEnglishFormat.kif 23954-23954
(
termFormat
ChineseTraditionalLanguage
FirstFn
"第一")
domainEnglishFormat.kif 23953-23953
(
termFormat
EnglishLanguage
FirstFn
"first")
domainEnglishFormat.kif 23952-23952
antecedent
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING
AccessingWebPage
)
(
equal
(
FirstFn
?LIST) ?ACCESSING))
(
not
(
exists
(?ACCESSING2)
(
and
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING2 ?USER)
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING))))))
UXExperimentalTerms.kif 783-797
viewedItemList
AutonomousAgent
and
リスト
物理
は
AccessingWebPage
の
instance
では %n
FirstFn
リスト
は
物理
と
equal
では %n
物理
2
物理
2 は
AccessingWebPage
の
instance
では %n
AutonomousAgent
は
物理
2 の
agent
では %n
物理
2 の
time
の existence は
物理
の
time
の existence より
earlier
happens %n{ない}
consequent
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3258-3268
実数
は
ListSumFn
リスト
と
equal
では %n
リスト
の
length
は 1 より
greater
では %n
実数
は (
FirstFn
リスト
+
ListSumFn
SubListFn
2,
リスト
の
length
and
リスト
) と
equal
では %n
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1966-1973
エンティティー
は
ConsecutiveTimeIntervalList
の
member
では %n
ConsecutiveTimeIntervalList
は
TimeIntervalListFn
時間間隔
and
時間分
と
equal
では %n
時間間隔
の
beginning
は
FirstFn
ConsecutiveTimeIntervalList
の
beginning
と
equal
では %n
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
リスト
は
リスト
の
instance
では %n
リスト
は
NullList
と
equal
では
FirstFn
リスト
は
リスト
の 1th
element
と
equal
では %n
(=>
(
measuringListDuration
?LIST ?DURATION)
(
exists
(?T)
(
and
(
equal
?T
(
TimeIntervalFn
(
BeginFn
(
WhenFn
(
FirstFn
?LIST)))
(
EndFn
(
WhenFn
(
LastFn
?LIST)))))
(
duration
?T ?DURATION))))
Weather.kif 1878-1886
measuringListDuration
MeasuringList
and
時間分
時間間隔
時間間隔
は
FirstFn
MeasuringList
の
time
の existence の
beginning
と
LastFn
MeasuringList
の
time
の existence の
end
の
interval
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
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