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
Die Zahl 1 Argument von
FirstFn
ist ein
fall
von
List
%n{nicht}
(
instance
FirstFn
UnaryFunction
)
Merge.kif 3225-3225
FirstFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
FirstFn
Entity
)
Merge.kif 3227-3227
bildbereich
von
FirstFn
ist ein fall von
Entity
{nicht}
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
Wenn
viewedItemList
AutonomousAgent
and
List
und
Physical
ist ein
fall
von
AccessingWebPage
%n{nicht} und
FirstFn
** List
ist gleich
** Physical
%n{nicht},
dann es gibt nicht
** Physical
2 um
** Physical
2 ist ein
fall
von
AccessingWebPage
%n{nicht} und
** Physical
2 ist der
agent
von
** AutonomousAgent
%n{nicht} und die
zeit
des Bestehens von
** Physical
2 geschieht frueh als die
zeit
des Bestehens von
** Physical
%n{nicht}
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
Wenn
RealNumber
ist gleich
ListSumFn
List
%n{nicht} und
Laenge
von
** List
ist
groesserAls
1 %n{nicht},
dann
** RealNumber
ist gleich (
FirstFn
** List
und
ListSumFn
SubListFn
2,
Laenge
von
** List
and
** List
) %n{nicht}
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1966-1973
Wenn
Entity
ist ein
Mitglied
von
ConsecutiveTimeIntervalList
und
** ConsecutiveTimeIntervalList
ist gleich
TimeIntervalListFn
TimeInterval
and
TimeDuration
%n{nicht},
dann der
anfang
von
** TimeInterval
ist gleich der
anfang
von
FirstFn
** ConsecutiveTimeIntervalList
%n{nicht}
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
Wenn
List
ist ein
fall
von
List
%n{nicht} und
** List
ist gleich
NullList
nicht,
dann
FirstFn
** List
ist gleich 1te
mitglied
von
** List
%n{nicht}
(=>
(
measuringListDuration
?LIST ?DURATION)
(
exists
(?T)
(
and
(
equal
?T
(
TimeIntervalFn
(
BeginFn
(
WhenFn
(
FirstFn
?LIST)))
(
EndFn
(
WhenFn
(
LastFn
?LIST)))))
(
duration
?T ?DURATION))))
Weather.kif 1878-1886
Wenn
measuringListDuration
MeasuringList
and
TimeDuration
,
dann es gibt
TimeInterval
um
** TimeInterval
ist gleich
abstand
zwischen der
anfang
von die
zeit
des Bestehens von
FirstFn
** MeasuringList
und das
ende
von die
zeit
des Bestehens von
LastFn
** MeasuringList
%n{nicht} und
dauer
von
** TimeInterval
ist
** TimeDuration
%n{nicht}
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