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
The number 1 argument of
first
is an
instance
of
list
(
instance
FirstFn
UnaryFunction
)
Merge.kif 3225-3225
First
is an
instance
of
unary function
(
range
FirstFn
Entity
)
Merge.kif 3227-3227
The
range
of
first
is an instance of
entity
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
If
a list
is the list of items
viewed
by
an agent
and
a physical
is an
instance
of
accessing web page
and the
first
of
the list
is
equal
to
the physical
,
then there doesn't exist
the physical
2 such that
the physical
2 is an
instance
of
accessing web page
and
the agent
is an
agent
of
the physical
2 and the
time
of existence of
the physical
2 happens
earlier
than the
time
of existence of
the physical
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
If
a real number
is
equal
to the
sum
of
a list
and
length
of
the list
is
greater
than 1,
then
the real number
is
equal
to (the
first
of
the list
and the
sum
of the sub-list from 2 to
length
of
the list
of
the list
)
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1966-1973
If
an entity
is a
member
of
a consecutive time interval list
and
the consecutive time interval list
is
equal
to
ConsecutiveTimeIntervalList
for at
a time interval
at
a time duration
is contained in
TimeIntervalListFn
,
then the
beginning
of
the time interval
is
equal
to the
beginning
of the
first
of
the consecutive time interval list
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
If
a list
is an
instance
of
list
and
the list
is not
equal
to
null list
,
then the
first
of
the list
is
equal
to 1th
element
of
the list
(=>
(
measuringListDuration
?LIST ?DURATION)
(
exists
(?T)
(
and
(
equal
?T
(
TimeIntervalFn
(
BeginFn
(
WhenFn
(
FirstFn
?LIST)))
(
EndFn
(
WhenFn
(
LastFn
?LIST)))))
(
duration
?T ?DURATION))))
Weather.kif 1878-1886
If The
Measuring
for list
a measuring list
takes
a time duration
.,
then there exists
a time interval
such that
the time interval
is
equal
to
interval
between the
beginning
of the
time
of existence of the
first
of
the measuring list
and the
end
of the
time
of existence of the
last
of
the measuring list
and
duration
of
the time interval
is
the time duration
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