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
O argumento numero 1 de
FirstFn
e' uma
instancia
de
Lista
(
instance
FirstFn
UnaryFunction
)
Merge.kif 3225-3225
FirstFn
e' uma
instancia
de
funcao Unaria
(
range
FirstFn
Entity
)
Merge.kif 3227-3227
O
contra
-dominio de
FirstFn
e' uma instancia de
Entidade
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
Lista
Fisico
e' uma
instancia
de
AccessingWebPage
FirstFn
Lista
e'
igual
a
Fisico
Fisico
Fisico
e' uma
instancia
de
AccessingWebPage
Fisico
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Fisico
acontence
antes
de
tempo
de existencia de
Fisico
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
Numero Real
e'
igual
a
ListSumFn
Lista
comprimento
de
Lista
e'
maior
que 1
Numero Real
e'
igual
a (
FirstFn
Lista
+
ListSumFn
SubListFn
2,
comprimento
de
Lista
and
Lista
)
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1966-1973
Entidade
e' um
membro
de
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
e'
igual
a
TimeIntervalListFn
Intervalo Temporal
and
Duracao Temporal
o
comeco
de
Intervalo Temporal
e'
igual
a o
comeco
de
FirstFn
ConsecutiveTimeIntervalList
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
Lista
e' uma
instancia
de
Lista
Lista
e'
igual
a
NullList
FirstFn
Lista
e'
igual
a 1th
elemento
de
Lista
(=>
(
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
Duracao Temporal
Intervalo Temporal
Intervalo Temporal
e'
igual
a o
intervalo
entre o
comeco
de
tempo
de existencia de
FirstFn
MeasuringList
e o
fim
de
tempo
de existencia de
LastFn
MeasuringList
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
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