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 3229-3231
(
domain
FirstFn
1
List
)
Merge.kif 3227-3227
Le nombre 1 argument de
FirstFn
est une
instance
de
liste
(
instance
FirstFn
UnaryFunction
)
Merge.kif 3226-3226
FirstFn
est une
instance
de
function unaire
(
range
FirstFn
Entity
)
Merge.kif 3228-3228
Le
domaine
de
FirstFn
est une instance de
entit�
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
liste
physique
est une
instance
de
AccessingWebPage
FirstFn
liste
est
physique
physique
2
physique
2 est une
instance
de
AccessingWebPage
physique
2 est un
agent
de
AutonomousAgent
temps
d'existence de
physique
2 arrive
plus
t�t que
temps
d'existence de
physique
consequent
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3259-3269
Nombre r�el
est
ListSumFn
liste
longueur
de
liste
est
plus
grand
que 1
nombre r�el
est
FirstFn
liste
+
ListSumFn
SubListFn
2,
longueur
de
liste
and
liste
)
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1949-1956
Entit�
est un
membre
de
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
est
TimeIntervalListFn
interval temporel
and
dur�e temporel
le
d
�but de
interval temporel
est
d
�but de
FirstFn
ConsecutiveTimeIntervalList
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3233-3238
Liste
est une
instance
de
liste
liste
est
NullList
FirstFn
liste
est
liste
(=>
(
measuringListDuration
?LIST ?DURATION)
(
exists
(?T)
(
and
(
equal
?T
(
TimeIntervalFn
(
BeginFn
(
WhenFn
(
FirstFn
?LIST)))
(
EndFn
(
WhenFn
(
LastFn
?LIST)))))
(
duration
?T ?DURATION))))
Weather.kif 1861-1869
measuringListDuration
MeasuringList
and
dur�e temporel
interval temporel
interval temporel
est
intervale
entre le
d
�but de
temps
d'existence de
FirstFn
MeasuringList
et la
fin
de
temps
d'existence de
LastFn
MeasuringList
la
dur
�� de
interval temporel
est
dur�e temporel
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