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
ListLengthFn
Sigma KEE - ListLengthFn
ListLengthFn
appearance as argument number 1
(
documentation
ListLengthFn
ChineseLanguage
"这个
Function
接受一个
List
作为它唯一的参数, 然后交出这个
List
中项目的数量。例如: (
ListLengthFn
(
ListFn
Monday
Tuesday
Wednesday
))交出的值会是3。")
chinese_format.kif 1967-1969
(
documentation
ListLengthFn
EnglishLanguage
"A
Function
that takes a
List
as its sole argument and returns the number of items in the
List
. For example, (
ListLengthFn
(
ListFn
Monday
Tuesday
Wednesday
)) would return the value 3.")
Merge.kif 3018-3021
(
documentation
ListLengthFn
JapaneseLanguage
"
Function
は、
List
を唯一の引数として受け 取り、
List
内の項目数を返す。例:(
ListLengthFn
(
ListFn
Monday
Tuesday
Wednesday
)) は3の値を返す。")
japanese_format.kif 599-601
(
domain
ListLengthFn
1
List
)
Merge.kif 3015-3015
Il numero 1 argomenti di
ListLengthFn
è un
istanza
di
Lista
(
instance
ListLengthFn
TotalValuedRelation
)
Merge.kif 3014-3014
ListLengthFn
è un'
istanza
di
RelazioneAValoreTotale
(
instance
ListLengthFn
UnaryFunction
)
Merge.kif 3013-3013
ListLengthFn
è un'
istanza
di
FunzioneUnaria
(
range
ListLengthFn
NonnegativeInteger
)
Merge.kif 3016-3016
rango
di
ListLengthFn
è un'istanza di
NumeroInteroNonNegativo
appearance as argument number 2
(
format
ChineseLanguage
ListLengthFn
"%1 的长度")
chinese_format.kif 265-265
(
format
EnglishLanguage
ListLengthFn
"
length
of %1")
english_format.kif 270-270
(
format
FrenchLanguage
ListLengthFn
"longueur de %1")
french_format.kif 151-151
(
format
ItalianLanguage
ListLengthFn
"lunghezza di %1")
relations-it.txt 168-168
(
format
JapaneseLanguage
ListLengthFn
"%1 の
length
")
japanese_format.kif 1979-1979
(
format
PortugueseLanguage
ListLengthFn
"comprimento de %1")
portuguese_format.kif 103-103
(
format
cz
ListLengthFn
"
length
of %1")
relations-cz.txt 160-160
(
format
de
ListLengthFn
"Laenge von %1")
relations-de.txt 341-341
(
format
hi
ListLengthFn
"%1 kii lambaaaii")
relations-hindi.txt 57-57
(
format
ro
ListLengthFn
"
length
%t{lungimea} lui %1")
relations-ro.kif 170-170
(
format
sv
ListLengthFn
"längden av %1")
relations-sv.txt 157-157
(
format
tg
ListLengthFn
"haba ng %1")
relations-tg.txt 335-335
(
termFormat
ChineseLanguage
ListLengthFn
"列表长度")
domainEnglishFormat.kif 34691-34691
(
termFormat
ChineseLanguage
ListLengthFn
"找出表列长度的函数")
chinese_format.kif 266-266
(
termFormat
ChineseTraditionalLanguage
ListLengthFn
"列表長度")
domainEnglishFormat.kif 34690-34690
(
termFormat
EnglishLanguage
ListLengthFn
"list length")
domainEnglishFormat.kif 34689-34689
(
termFormat
de
ListLengthFn
"ListeLaengeFn")
terms-de.txt 109-109
(
termFormat
tg
ListLengthFn
"tungkulin ng talaan haba")
relations-tg.txt 336-336
antecedent
(=>
(
and
(
equal
(
ListLengthFn
?LIST) ?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM))
(
equal
(
LastFn
?LIST) ?ITEM))
Merge.kif 3220-3224
Lunghezza
di
Lista
is
uguale
a
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
Entit�
LastFn
Lista
is
uguale
a
Entit�
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3278-3285
NumeroReale
is
uguale
a
AverageFn
Lista
lunghezza
di
Lista
è
pi
ù grande di 0
NumeroReale
is
uguale
a
ListSumFn
Lista
+
lunghezza
di
Lista
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?A
(
ListOrderFn
?L 1)))
Merge.kif 3253-3257
NumeroReale
is
uguale
a
ListSumFn
Lista
1 is
uguale
a
lunghezza
di
Lista
NumeroReale
is
uguale
a 1th
elemento
di
Lista
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3259-3269
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
(
equal
?LIST3
(
ListConcatenateFn
?LIST1 ?LIST2))
(
not
(
equal
?LIST1
NullList
))
(
not
(
equal
?LIST2
NullList
))
(
lessThanOrEqualTo
?NUMBER1
(
ListLengthFn
?LIST1))
(
lessThanOrEqualTo
?NUMBER2
(
ListLengthFn
?LIST2))
(
instance
?NUMBER1
PositiveInteger
)
(
instance
?NUMBER2
PositiveInteger
))
(
and
(
equal
(
ListOrderFn
?LIST3 ?NUMBER1)
(
ListOrderFn
?LIST1 ?NUMBER1))
(
equal
(
ListOrderFn
?LIST3
(
AdditionFn
(
ListLengthFn
?LIST1) ?NUMBER2))
(
ListOrderFn
?LIST2 ?NUMBER2))))
Merge.kif 3084-3103
Lista
is
uguale
a la lista composta di
Lista
e
Lista
Lista
is
uguale
a
NullList
Lista
is
uguale
a
NullList
NumeroInteroPositivo
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
(
lunghezza
di
Lista
+
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?VA
(
MultiplicationFn
(
SubtractionFn
?M
(
ListOrderFn
?L 1))
(
SubtractionFn
?M
(
ListOrderFn
?L 1)))))
Weather.kif 1470-1481
NumeroReale
is
uguale
a
VarianceAverageFn
NumeroReale
and
Lista
1 is
uguale
a
lunghezza
di
Lista
NumeroReale
is
uguale
a (
NumeroReale
+ 1th
elemento
di
Lista
+ (
NumeroReale
+ 1th
elemento
di
Lista
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?VA
(
AdditionFn
(
VarianceAverageFn
?M
(
ListOrderFn
?L 1))
(
VarianceAverageFn
?M
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Weather.kif 1437-1449
NumeroReale
is
uguale
a
VarianceAverageFn
Numero
and
Lista
lunghezza
di
Lista
è
pi
ù grande di 1
NumeroReale
is
uguale
a (
VarianceAverageFn
Numero
and 1th
elemento
di
Lista
+
VarianceAverageFn
Numero
and
SubListFn
2,
lunghezza
di
Lista
and
Lista
consequent
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 357-390
Anno
è un'
istanza
di l'
anno
Anno
EAR
MaleLifeExpectancyAtBirthFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
Lista
NumeroIntero
,
Stringa
,
Entit�
,
Entit�
and
Entit�
Lista
è un'
istanza
di
Lista
lunghezza
di
Lista
è un'
istanza
di
NumeroIntero
Lista
ITEM
Lista
ITEM è un
Lista
Lista
ITEM è un'
istanza
di
Stringa
Entit�
Entit�
è un'
istanza
di
Stringa
Entit�
è un
Lista
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
average
Lista
and
NumeroReale
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 403-436
Anno
è un'
istanza
di l'
anno
NumeroIntero
FemaleLifeExpectancyAtBirthFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
Lista
NumeroIntero
,
Stringa
,
Entit�
,
Entit�
and
Entit�
Lista
è un'
istanza
di
Lista
lunghezza
di
Lista
è un'
istanza
di
NumeroIntero
Lista
ITEM
Lista
ITEM è un
Lista
Lista
ITEM è un'
istanza
di
Stringa
Entit�
Entit�
è un'
istanza
di
Stringa
Entit�
è un
Lista
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
average
Lista
and
NumeroReale
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 310-342
Anno
è un'
istanza
di l'
anno
NumeroIntero
LifeExpectancyAtBirthFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
Lista
NumeroIntero
,
Stringa
,
Entit�
,
Entit�
and
Entit�
Lista
è un'
istanza
di
Lista
lunghezza
di
Lista
è un'
istanza
di
NumeroIntero
Lista
ITEM
Lista
ITEM è un
Lista
Lista
ITEM è un'
istanza
di
Stringa
Entit�
Entit�
è un'
istanza
di
Stringa
Entit�
è un
Lista
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
average
Lista
and
NumeroReale
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 272-293
average
Lista
and
NumeroReale
Lista
NumeroInteroPositivo
lunghezza
di
Lista
is
uguale
a
lunghezza
di
Lista
1th
elemento
di
Lista
is
uguale
a 1th
elemento
di
Lista
NumeroInteroPositivo
NumeroInteroPositivo
è un
Lista
NumeroReale
NumeroReale
MINUSONE,
NumeroInteroPositivo
and
NumeroInteroPositivo
NumeroReale
è
pi
ù grande di 1
NumeroReale
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroReale
NumeroInteroPositivo
è un
Lista
NumeroReale
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
NumeroInteroPositivo
è un
Lista
NumeroReale
MINUSONE is
uguale
a (
NumeroReale
+ 1
NumeroReale
MINUSONE is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
NumeroInteroPositivo
is
uguale
a (
NumeroInteroPositivo
+
NumeroInteroPositivo
NumeroInteroPositivo
is
uguale
a
lunghezza
di
Lista
NumeroReale
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
+
NumeroInteroPositivo
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3278-3285
NumeroReale
is
uguale
a
AverageFn
Lista
lunghezza
di
Lista
è
pi
ù grande di 0
NumeroReale
is
uguale
a
ListSumFn
Lista
+
lunghezza
di
Lista
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3259-3269
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
(
equal
?LIST3
(
ListConcatenateFn
?LIST1 ?LIST2))
(
not
(
equal
?LIST1
NullList
))
(
not
(
equal
?LIST2
NullList
))
(
lessThanOrEqualTo
?NUMBER1
(
ListLengthFn
?LIST1))
(
lessThanOrEqualTo
?NUMBER2
(
ListLengthFn
?LIST2))
(
instance
?NUMBER1
PositiveInteger
)
(
instance
?NUMBER2
PositiveInteger
))
(
and
(
equal
(
ListOrderFn
?LIST3 ?NUMBER1)
(
ListOrderFn
?LIST1 ?NUMBER1))
(
equal
(
ListOrderFn
?LIST3
(
AdditionFn
(
ListLengthFn
?LIST1) ?NUMBER2))
(
ListOrderFn
?LIST2 ?NUMBER2))))
Merge.kif 3084-3103
Lista
is
uguale
a la lista composta di
Lista
e
Lista
Lista
is
uguale
a
NullList
Lista
is
uguale
a
NullList
NumeroInteroPositivo
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
(
lunghezza
di
Lista
+
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
(=>
(
and
(
equal
?V
(
VarianceFn
?L))
(
equal
?M
(
AverageFn
?L)))
(
equal
?V
(
DivisionFn
(
VarianceAverageFn
?M ?L)
(
ListLengthFn
?L))))
Weather.kif 1459-1468
NumeroReale
is
uguale
a
VarianceFn
Lista
NumeroReale
is
uguale
a
AverageFn
Lista
NumeroReale
is
uguale
a
VarianceAverageFn
NumeroReale
and
Lista
+
lunghezza
di
Lista
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?VA
(
AdditionFn
(
VarianceAverageFn
?M
(
ListOrderFn
?L 1))
(
VarianceAverageFn
?M
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Weather.kif 1437-1449
NumeroReale
is
uguale
a
VarianceAverageFn
Numero
and
Lista
lunghezza
di
Lista
è
pi
ù grande di 1
NumeroReale
is
uguale
a (
VarianceAverageFn
Numero
and 1th
elemento
di
Lista
+
VarianceAverageFn
Numero
and
SubListFn
2,
lunghezza
di
Lista
and
Lista
(=>
(
and
(
instance
?PAGE
SearchResultsPage
)
(
instance
?RESULTS
SRPResults
)
(
component
?RESULTS ?PAGE))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?CLICK
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?ELEMENT)
(
destination
?CLICK ?LINKEDPAGE)
(
instance
?ELEMENT
HypertextLink
)
(
component
?ELEMENT ?PAGE)
(
or
(
instance
?LINKEDPAGE
ProductDescriptionPage
)
(
instance
?LINKEDPAGE
ViewItemPage
)))))
(
ListLengthFn
?RESULTS))
(
SRPEngagementFn
?PAGE)))
UXExperimentalTerms.kif 3721-3739
SearchResultsPage
è un'
istanza
di
SearchResultsPage
Lista
è un'
istanza
di
SRPResults
Lista
è un
componente
di
SearchResultsPage
il numero di
istanzia
in la
classe
descritta da
Stringa
+
lunghezza
di
Lista
is
uguale
a
SRPEngagementFn
SearchResultsPage
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3049-3056
Relazione
%&ha
NumeroInteroPositivo
argomento
(s
Relazione
è un'
istanza
di
Predicato
@ROW
Relazione
@ROW
lunghezza
di (@ROW is
uguale
a
NumeroInteroPositivo
(=>
(
equal
(
LastFn
?LIST) ?ITEM)
(
exists
(?NUMBER)
(
and
(
equal
(
ListLengthFn
?LIST) ?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM))))
Merge.kif 3213-3218
LastFn
Lista
is
uguale
a
Entit�
NumeroInteroPositivo
lunghezza
di
Lista
is
uguale
a
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
Entit�
(=>
(
equal
?SPEED
(
Mean10MinutesWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
10
MinuteDuration
))
(
equal
120
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 2206-2223
FunzioneDiQuantit�
is
uguale
a
Mean10MinutesWindSpeedFn
AreaGeografica
and
IntervalloTemporale
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
MeasuringSurfaceWindSpeedList
locationMeasuringList
Entit�
and
AreaGeografica
measuringListInterval
Entit�
and 5
SecondDuration
(s
measuringListDuration
Entit�
and 10
MinuteDuration
(s 120 is
uguale
a
lunghezza
di
Entit�
measuringResult
Entit�
and
Entit�
Entit�
is
uguale
a
PhysicalQuantityToNumberFn
Entit�
FunzioneDiQuantit�
is
uguale
a
AverageFn
Entit�
Entit�
(s vales
durante
IntervalloTemporale
(=>
(
equal
?SPEED
(
Mean1MinuteWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
1
MinuteDuration
))
(
equal
12
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 2311-2328
FunzioneDiQuantit�
is
uguale
a
Mean1MinuteWindSpeedFn
AreaGeografica
and
IntervalloTemporale
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
MeasuringSurfaceWindSpeedList
locationMeasuringList
Entit�
and
AreaGeografica
measuringListInterval
Entit�
and 5
SecondDuration
(s
measuringListDuration
Entit�
and 1
MinuteDuration
(s 12 is
uguale
a
lunghezza
di
Entit�
measuringResult
Entit�
and
Entit�
Entit�
is
uguale
a
PhysicalQuantityToNumberFn
Entit�
FunzioneDiQuantit�
is
uguale
a
AverageFn
Entit�
Entit�
(s vales
durante
IntervalloTemporale
(=>
(
equal
?SPEED
(
Mean2MinutesWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
2
MinuteDuration
))
(
equal
24
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 2276-2293
FunzioneDiQuantit�
is
uguale
a
Mean2MinutesWindSpeedFn
AreaGeografica
and
IntervalloTemporale
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
MeasuringSurfaceWindSpeedList
locationMeasuringList
Entit�
and
AreaGeografica
measuringListInterval
Entit�
and 5
SecondDuration
(s
measuringListDuration
Entit�
and 2
MinuteDuration
(s 24 is
uguale
a
lunghezza
di
Entit�
measuringResult
Entit�
and
Entit�
Entit�
is
uguale
a
PhysicalQuantityToNumberFn
Entit�
FunzioneDiQuantit�
is
uguale
a
AverageFn
Entit�
Entit�
(s vales
durante
IntervalloTemporale
(=>
(
equal
?SPEED
(
Mean3MinutesWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
2
MinuteDuration
))
(
equal
36
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 2241-2258
FunzioneDiQuantit�
is
uguale
a
Mean3MinutesWindSpeedFn
AreaGeografica
and
IntervalloTemporale
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
MeasuringSurfaceWindSpeedList
locationMeasuringList
Entit�
and
AreaGeografica
measuringListInterval
Entit�
and 5
SecondDuration
(s
measuringListDuration
Entit�
and 2
MinuteDuration
(s 36 is
uguale
a
lunghezza
di
Entit�
measuringResult
Entit�
and
Entit�
Entit�
is
uguale
a
PhysicalQuantityToNumberFn
Entit�
FunzioneDiQuantit�
is
uguale
a
AverageFn
Entit�
Entit�
(s vales
durante
IntervalloTemporale
(=>
(
equal
?SPEED
(
Mean3SecondWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
0.25
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
3
SecondDuration
))
(
equal
12
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 1887-1904
FunzioneDiQuantit�
is
uguale
a
Mean3SecondWindSpeedFn
AreaGeografica
and
IntervalloTemporale
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
MeasuringSurfaceWindSpeedList
locationMeasuringList
Entit�
and
AreaGeografica
measuringListInterval
Entit�
and 0.25
SecondDuration
(s
measuringListDuration
Entit�
and 3
SecondDuration
(s 12 is
uguale
a
lunghezza
di
Entit�
measuringResult
Entit�
and
Entit�
Entit�
is
uguale
a
PhysicalQuantityToNumberFn
Entit�
FunzioneDiQuantit�
is
uguale
a
AverageFn
Entit�
Entit�
(s vales
durante
IntervalloTemporale
statement
(
forall
(@ROW ?ITEM)
(
equal
(
ListLengthFn
(
ListFn
@ROW ?ITEM))
(
SuccessorFn
(
ListLengthFn
(
ListFn
@ROW)))))
Merge.kif 3038-3041
@ROW
Entit�
lunghezza
di (@ROW +
Entit�
is
uguale
a (
lunghezza
di (@ROW+1
(
forall
(@ROW ?ITEM)
(
equal
(
ListOrderFn
(
ListFn
@ROW ?ITEM)
(
ListLengthFn
(
ListFn
@ROW ?ITEM))) ?ITEM))
Merge.kif 3043-3047
@ROW
Entit�
lunghezza
di (@ROW +
Entit�
th
elemento
di (@ROW +
Entit�
is
uguale
a
Entit�
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