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
ComputerTouchpad
Sigma KEE - ListOrderFn
ListOrderFn
appearance as argument number 1
(
documentation
ListOrderFn
ChineseLanguage
"(
ListOrderFn
?LIST ?NUMBER) 表示在 ?LIST
List
第?NUMBER个位置的项目。例如: (
ListOrderFn
(
ListFn
Monday
Tuesday
Wednesday
) 2) 交出的值会是
Tuesday
。")
chinese_format.kif 1964-1966
(
documentation
ListOrderFn
EnglishLanguage
"(
ListOrderFn
?LIST ?NUMBER) denotes the item that is in the ?NUMBER position in the
List
?LIST. For example, (
ListOrderFn
(
ListFn
Monday
Tuesday
Wednesday
) 2) would return the value
Tuesday
.")
Merge.kif 2982-2985
(
documentation
ListOrderFn
JapaneseLanguage
"(
ListOrderFn
?LIST ?NUMBER) は、
List
?LIST の?NUMBER の位置にある項目を示す。例:(
ListFn
Monday
Tuesday
Wednesday
) 2) は、
Tuesday
の値を返す。")
japanese_format.kif 596-598
(
domain
ListOrderFn
1
List
)
Merge.kif 2978-2978
Il numero 1 argomenti di
ListOrderFn
è un
istanza
di
Lista
(
domain
ListOrderFn
2
PositiveInteger
)
Merge.kif 2979-2979
Il numero 2 argomenti di
ListOrderFn
è un
istanza
di
NumeroInteroPositivo
(
instance
ListOrderFn
BinaryFunction
)
Merge.kif 2976-2976
ListOrderFn
è un'
istanza
di
FunzioneBinaria
(
instance
ListOrderFn
PartialValuedRelation
)
Merge.kif 2977-2977
ListOrderFn
è un'
istanza
di
RelazioneAValoreParziale
(
range
ListOrderFn
Entity
)
Merge.kif 2980-2980
rango
di
ListOrderFn
è un'istanza di
Entit�
appearance as argument number 2
(
format
ChineseLanguage
ListOrderFn
"%1 的第 %2 几个元素")
chinese_format.kif 263-263
(
format
EnglishLanguage
ListOrderFn
"%2th
element
of %1")
english_format.kif 268-268
(
format
FrenchLanguage
ListOrderFn
"%2th �lement de %1")
french_format.kif 150-150
(
format
ItalianLanguage
ListOrderFn
"%2th
element
o di %1")
relations-it.txt 169-169
(
format
JapaneseLanguage
ListOrderFn
"%1 の %2th
element
")
japanese_format.kif 1978-1978
(
format
PortugueseLanguage
ListOrderFn
"%2th
element
o de %1")
portuguese_format.kif 102-102
(
format
cz
ListOrderFn
"%2th
element
of %1")
relations-cz.txt 159-159
(
format
de
ListOrderFn
"%2te mitglied von %1")
relations-de.txt 338-338
(
format
hi
ListOrderFn
"%1 kaa ghaTaka sankhyaa %2")
relations-hindi.txt 207-207
(
format
ro
ListOrderFn
"%2th
element
%t{element} al lui %1")
relations-ro.kif 169-169
(
format
sv
ListOrderFn
"%2:a
element
et i %1")
relations-sv.txt 156-156
(
format
tg
ListOrderFn
"%2th
element
o ng %1")
relations-tg.txt 337-337
(
termFormat
ChineseLanguage
ListOrderFn
"找出表列顺序的函数")
chinese_format.kif 264-264
(
termFormat
ChineseLanguage
ListOrderFn
"清单顺序")
domainEnglishFormat.kif 34697-34697
(
termFormat
ChineseTraditionalLanguage
ListOrderFn
"清單順序")
domainEnglishFormat.kif 34696-34696
(
termFormat
EnglishLanguage
ListOrderFn
"list order")
domainEnglishFormat.kif 34695-34695
(
termFormat
de
ListOrderFn
"ListeOrdnungFn")
terms-de.txt 108-108
(
termFormat
tg
ListOrderFn
"tungkulin ng talaan utos1")
relations-tg.txt 338-338
antecedent
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
@ROW è
opposto
a
Attributo
is
uguale
a
Entit�
elemento
di (@ROW
Attributo
is
uguale
a
Entit�
elemento
di (@ROW
NumeroInteroPositivo
is
uguale
a
NumeroInteroPositivo
Entit�
ha un
attributo
Attributo
Entit�
ha un
attributo
Attributo
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18525-18530
defaultMaxValue
Predicato
,
NumeroInteroPositivo
and
Quantit�
Predicato
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
l'affermazione
Quantit�
è
pi
ù grande di
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18508-18513
defaultMinValue
Predicato
,
NumeroInteroPositivo
and
Quantit�
Predicato
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
l'affermazione
Entit�
è
pi
ù grande di
Quantit�
ha il modello di forza di
Likely
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18542-18547
defaultValue
Predicato
,
NumeroInteroPositivo
and
Quantit�
Predicato
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
l'affermazione
Quantit�
is
uguale
a
Entit�
ha il modello di forza di
Likely
(=>
(
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
?NLIST
(
PhysicalQuantityToNumberFn
?QLIST))
(
equal
?QUANT
(
ListOrderFn
?QLIST ?N))
(
equal
?NUM
(
ListOrderFn
?NLIST ?N)))
(
equal
(
MeasureFn
?NUM ?UNIT) ?QUANT))
Weather.kif 1821-1828
NumberList
is
uguale
a
PhysicalQuantityToNumberFn
MeasuringResultList
Quantit�Fisica
is
uguale
a
Entit�
elemento
di
MeasuringResultList
NumeroReale
is
uguale
a
Entit�
elemento
di
NumberList
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
equal
?X ?Y))
Media.kif 2106-2113
exactCardinality
Relazione
,
NumeroInteroPositivo
and 1
Relazione
è un'
istanza
di
Predicato
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
is
uguale
a
Entit�
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))
Media.kif 2093-2103
exactCardinality
Relazione
,
NumeroInteroPositivo
and 1
Relazione
è un'
istanza
di
Predicato
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
is
uguale
a
Entit�
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
LatitudeFn
AttributoDirezionale
and @ROW è un'
istanza
di
Regione
1th
elemento
di (@ROW is
uguale
a
NumeroReale
AngularDegree
(s
NumeroReale
è
minore
o uguale a 90.0
(=>
(
and
(
instance
(
LongitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 180.0))
Geography.kif 467-474
LongitudeFn
AttributoDirezionale
and @ROW è un'
istanza
di
Regione
1th
elemento
di (@ROW is
uguale
a
NumeroReale
AngularDegree
(s
NumeroReale
è
minore
o uguale a 180.0
(=>
(
and
(
instance
?LIST
ConsecutiveTimeIntervalList
)
(
equal
?T1
(
ListOrderFn
?LIST ?N))
(
equal
?T2
(
ListOrderFn
?LIST
(
AdditionFn
?N 1))))
(
equal
(
BeginFn
?T2)
(
EndFn
?T1)))
Weather.kif 1918-1927
Lista
è un'
istanza
di
ConsecutiveTimeIntervalList
IntervalloTemporale
is
uguale
a
Entit�
elemento
di
Lista
IntervalloTemporale
is
uguale
a (
NumeroInteroPositivo
+ 1th
elemento
di
Lista
l'
inizio
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
(=>
(
and
(
measuringResult
?MLIST ?RLIST)
(
equal
?M
(
ListOrderFn
?MLIST ?N))
(
equal
?R
(
ListOrderFn
?RLIST ?N)))
(
result
?M ?R))
Weather.kif 1789-1794
measuringResult
MeasuringList
and
MeasuringResultList
Processo
is
uguale
a
Entit�
elemento
di
MeasuringList
Entit�
is
uguale
a
Entit�
elemento
di
MeasuringResultList
Entit�
è un
risultato
di
Processo
(=>
(
and
(
processList
@ROW)
(
inList
?Process1
(
ListFn
@ROW))
(
inList
?Process2
(
ListFn
@ROW))
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number1) ?Process1)
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number2) ?Process2)
(
lessThan
?Number1 ?Number2))
(
earlier
(
WhenFn
?Process1)
(
WhenFn
?Process2)))
QoSontology.kif 694-710
processList
@ROW
Entit�Concreta
è un
Entit�Concreta
è un
Entit�
elemento
di (@ROW is
uguale
a
Entit�Concreta
Entit�
elemento
di (@ROW is
uguale
a
Entit�Concreta
NumeroInteroPositivo
è
meno
di
NumeroInteroPositivo
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING1
AccessingWebPage
)
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING1 ?USER)
(
agent
?ACCESSING2 ?USER)
(
instance
?INDEX1
PositiveInteger
)
(
instance
?INDEX2
PositiveInteger
)
(
equal
(
ListOrderFn
?LIST ?INDEX1) ?ACCESSING1)
(
equal
(
ListOrderFn
?LIST ?INDEX2) ?ACCESSING2)
(
greaterThan
?INDEX1 ?INDEX2))
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING1)))
UXExperimentalTerms.kif 799-817
viewedItemList
AutonomousAgent
and
Lista
Processo
è un'
istanza
di
AccessingWebPage
Processo
è un'
istanza
di
AccessingWebPage
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
Processo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
Processo
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
consequent
(<=>
(
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
(
domain
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
instance
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2999-3004
Il numero
NumeroInteroPositivo
argomenti di
Relazione
è un
istanza
di
Classe
Relazione
è un'
istanza
di
Predicato
Relazione
@ROW
NumeroInteroPositivo
th
elemento
di (@ROW è un'
istanza
di
Classe
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3006-3011
Il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
Relazione
è un'
istanza
di
Predicato
Relazione
@ROW
NumeroInteroPositivo
th
elemento
di (@ROW è una
sottoclasse
di
Classe
(=>
(
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
?LIST1 ?LIST2)
(
equal
?LIST1
(
ListFn
@ROW1))
(
equal
?LIST2
(
ListFn
@ROW2)))
(
equal
(
ListOrderFn
(
ListFn
@ROW1) ?NUMBER)
(
ListOrderFn
(
ListFn
@ROW2) ?NUMBER)))
Merge.kif 295-302
Lista
is
uguale
a
Lista
Lista
is
uguale
a (@ROW1
Lista
is
uguale
a (@ROW2
Entit�
elemento
di (@ROW1 is
uguale
a
Entit�
elemento
di (@ROW2
(=>
(
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
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3180-3189
Lista
is
uguale
a
SubListFn
NumeroInteroPositivo
,
NumeroIntero
and
Lista
(
NumeroIntero
+
NumeroInteroPositivo
is
uguale
a 1
Lista
is
uguale
a (
NumeroInteroPositivo
th
elemento
di
Lista
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3191-3203
Lista
is
uguale
a
SubListFn
NumeroInteroPositivo
,
NumeroIntero
and
Lista
(
NumeroIntero
+
NumeroInteroPositivo
è
pi
ù grande di 1
Lista
is
uguale
a la lista composta di (
NumeroInteroPositivo
th
elemento
di
Lista
e
SubListFn
(1 +
NumeroInteroPositivo
,
NumeroIntero
and
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
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))
Media.kif 2093-2103
exactCardinality
Relazione
,
NumeroInteroPositivo
and 1
Relazione
è un'
istanza
di
Predicato
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
is
uguale
a
Entit�
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
))
(
exists
(?X @ARGS)
(
and
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))))
Media.kif 2075-2090
exactCardinality
Relazione
,
NumeroInteroPositivo
and 1
Relazione
è un'
istanza
di
Predicato
Entit�
@ARGS
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
is
uguale
a
Entit�
(=>
(
and
(
exactCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
equal
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2137-2150
exactCardinality
Relazione
,
NumeroInteroPositivo
and
NumeroIntero
Relazione
è un'
istanza
di
Predicato
Classe
Entit�
and @ARGS
Classe
è un'
istanza
di
InsiemeOClasse
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
è un'
istanza
di
Classe
il numero di
istanzia
in
Classe
is
uguale
a
NumeroIntero
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3233-3238
Lista
è un'
istanza
di
Lista
Lista
is
uguale
a
NullList
FirstFn
Lista
is
uguale
a 1th
elemento
di
Lista
(=>
(
and
(
instance
?SEO
SEO
)
(
patient
?SEO ?PAGE))
(
hasPurpose
?SEO
(
exists
(?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BEFORE ?AFTER ?BM1 ?BM2)
(
and
(
instance
?SRPRESULT_BEFORE
SRPResults
)
(
instance
?SRPRESULT_AFTER
SRPResults
)
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_BEFORE ?BEFORE))
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_AFTER ?AFTER))
(
instance
?BM1
BestMatchAlgorithm
)
(
instance
?BM2
BestMatchAlgorithm
)
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?SEO)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?SEO))
(
greaterThan
?BEFORE ?AFTER)))))
UXExperimentalTerms.kif 2388-2404
Processo
è un'
istanza
di
SEO
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
_BEFORE
Entit�
_AFTER,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
_BEFORE è un'
istanza
di
SRPResults
Entit�
_AFTER è un'
istanza
di
SRPResults
Entit�
is
uguale
a
Entit�
th
elemento
di
Entit�
_BEFORE
Entit�
is
uguale
a
Entit�
th
elemento
di
Entit�
_AFTER
Entit�
è un'
istanza
di
BestMatchAlgorithm
Entit�
è un'
istanza
di
BestMatchAlgorithm
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Processo
Entit�
è
pi
ù grande di
Entit�
(=>
(
and
(
maxCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
lessThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2210-2223
maxCardinality
Relazione
,
NumeroInteroPositivo
and
NumeroIntero
Relazione
è un'
istanza
di
Predicato
Classe
Entit�
and @ARGS
Classe
è un'
istanza
di
InsiemeOClasse
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
è un'
istanza
di
Classe
il numero di
istanzia
in
Classe
è
minore
o uguale a
NumeroIntero
(=>
(
and
(
minCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
greaterThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2174-2187
minCardinality
Relazione
,
NumeroInteroPositivo
and
NumeroIntero
Relazione
è un'
istanza
di
Predicato
Classe
Entit�
and @ARGS
Classe
è un'
istanza
di
InsiemeOClasse
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
è un'
istanza
di
Classe
il numero di
istanzia
in
Classe
è
pi
ù grande di o uguale a
NumeroIntero
(=>
(
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�
(=>
(
exactCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
equal
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2125-2134
exactCardinality
Relazione
,
NumeroIntero
and
NumeroIntero
Stringa
@ARGS il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
NumeroIntero
(=>
(
exhaustiveAttribute
?ATTRCLASS @ROW)
(
not
(
exists
(?EL)
(
and
(
instance
?EL ?ATTRCLASS)
(
not
(
exists
(?ATTR ?NUMBER)
(
and
(
equal
?EL ?ATTR)
(
equal
?ATTR
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER)))))))))
Merge.kif 519-531
exhaustiveAttribute
Attributo
and @ROW
Entit�
Entit�
è un'
istanza
di
Attributo
Entit�
NumeroInteroPositivo
Entit�
is
uguale
a
Entit�
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ROW
(=>
(
inList
?ITEM ?LIST)
(
exists
(?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM)))
Merge.kif 3114-3117
Entit�
è un
Lista
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
Entit�
(=>
(
instance
?LIST
UniqueList
)
(
forall
(?NUMBER1 ?NUMBER2)
(=>
(
equal
(
ListOrderFn
?LIST ?NUMBER1)
(
ListOrderFn
?LIST ?NUMBER2))
(
equal
?NUMBER1 ?NUMBER2))))
Merge.kif 2911-2916
Lista
è un'
istanza
di
ListaUnica
NumeroInteroPositivo
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
NumeroInteroPositivo
is
uguale
a
NumeroInteroPositivo
(=>
(
maxCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
lessThanOrEqualTo
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2198-2207
maxCardinality
Relazione
,
NumeroIntero
and
NumeroIntero
Stringa
@ARGS il numero di
istanzia
in la
classe
descritta da
Stringa
è
minore
o uguale a
NumeroIntero
(=>
(
minCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2161-2170
minCardinality
Relazione
,
NumeroIntero
and
NumeroIntero
Stringa
@ARGS il numero di
istanzia
in la
classe
descritta da
Stringa
è
pi
ù grande di o uguale a
NumeroIntero
statement
(
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