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
Il numero 1 argomenti di
FirstFn
è un
istanza
di
Lista
(
instance
FirstFn
UnaryFunction
)
Merge.kif 3225-3225
FirstFn
è un'
istanza
di
FunzioneUnaria
(
range
FirstFn
Entity
)
Merge.kif 3227-3227
rango
di
FirstFn
è un'istanza di
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
Lista
Entit�Concreta
è un'
istanza
di
AccessingWebPage
FirstFn
Lista
is
uguale
a
Entit�Concreta
Entit�Concreta
2
Entit�Concreta
2 è un'
istanza
di
AccessingWebPage
Entit�Concreta
2 è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Entit�Concreta
2 accades
prima
di il
tempo
di esistenza di
Entit�Concreta
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
NumeroReale
is
uguale
a
ListSumFn
Lista
lunghezza
di
Lista
è
pi
ù grande di 1
NumeroReale
is
uguale
a (
FirstFn
Lista
+
ListSumFn
SubListFn
2,
lunghezza
di
Lista
and
Lista
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1966-1973
Entit�
è un
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
is
uguale
a
TimeIntervalListFn
IntervalloTemporale
and
Durata
l'
inizio
di
IntervalloTemporale
is
uguale
a l'
inizio
di
FirstFn
ConsecutiveTimeIntervalList
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
Lista
è un'
istanza
di
Lista
Lista
is
uguale
a
NullList
FirstFn
Lista
is
uguale
a 1th
elemento
di
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
Durata
IntervalloTemporale
IntervalloTemporale
is
uguale
a
intervallo
tra l'
inizio
di il
tempo
di esistenza di
FirstFn
MeasuringList
e la
fine
di il
tempo
di esistenza di
LastFn
MeasuringList
durata
di
IntervalloTemporale
è
Durata
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