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
ListOrderFn
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 2981-2984
(
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 2977-2977
O argumento numero 1 de
ListOrderFn
e' uma
instancia
de
Lista
(
domain
ListOrderFn
2
PositiveInteger
)
Merge.kif 2978-2978
O argumento numero 2 de
ListOrderFn
e' uma
instancia
de
Inteiro positivo
(
instance
ListOrderFn
BinaryFunction
)
Merge.kif 2975-2975
ListOrderFn
e' uma
instancia
de
Funcao Binaria
(
instance
ListOrderFn
PartialValuedRelation
)
Merge.kif 2976-2976
ListOrderFn
e' uma
instancia
de
Relacao Parcial
(
range
ListOrderFn
Entity
)
Merge.kif 2979-2979
O
contra
-dominio de
ListOrderFn
e' uma instancia de
Entidade
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 e' &o oposto de
Atributo
e'
igual
a
Entidade
elemento
de (@ROW)
Atributo
e'
igual
a
Entidade
elemento
de (@ROW)
Inteiro positivo
e'
igual
a
Inteiro positivo
Entidade
tem um
atributo
de
Atributo
Entidade
tem um
atributo
de
Atributo
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18468-18473
defaultMaxValue
Predicado
,
Inteiro positivo
and
Quantidade
Predicado
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
o argumento
Quantidade
e'
maior
que
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18451-18456
defaultMinValue
Predicado
,
Inteiro positivo
and
Quantidade
Predicado
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
o argumento
Entidade
e'
maior
que
Quantidade
tem a
forca
modal
de
Likely
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18485-18490
defaultValue
Predicado
,
Inteiro positivo
and
Quantidade
Predicado
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
o argumento
Quantidade
e'
igual
a
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
equal
(
ListLengthFn
?LIST) ?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM))
(
equal
(
LastFn
?LIST) ?ITEM))
Merge.kif 3219-3223
Comprimento
de
Lista
e'
igual
a
Inteiro positivo
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Entidade
LastFn
Lista
e'
igual
a
Entidade
(=>
(
and
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?QLIST))
(
equal
?QUANT
(
ListOrderFn
?QLIST ?N))
(
equal
?NUM
(
ListOrderFn
?NLIST ?N)))
(
equal
(
MeasureFn
?NUM ?UNIT) ?QUANT))
Weather.kif 1834-1841
NumberList
e'
igual
a
PhysicalQuantityToNumberFn
MeasuringResultList
Quantidade Fisica
e'
igual
a
Entidade
elemento
de
MeasuringResultList
Numero Real
e'
igual
a
Entidade
elemento
de
NumberList
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade 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
Relacao
,
Inteiro positivo
and 1
Relacao
e' uma
instancia
de
Predicado
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e'
igual
a
Entidade
(=>
(
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
Relacao
,
Inteiro positivo
and 1
Relacao
e' uma
instancia
de
Predicado
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e'
igual
a
Entidade
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
LatitudeFn
Atributo Directional
and @ROW e' uma
instancia
de
Regiao
1th
elemento
de (@ROW) e'
igual
a
Numero Real
AngularDegree
(s)
Numero Real
e'
menor
ou igual 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
Atributo Directional
and @ROW e' uma
instancia
de
Regiao
1th
elemento
de (@ROW) e'
igual
a
Numero Real
AngularDegree
(s)
Numero Real
e'
menor
ou igual 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 1931-1940
Lista
e' uma
instancia
de
ConsecutiveTimeIntervalList
Intervalo Temporal
e'
igual
a
Entidade
elemento
de
Lista
Intervalo Temporal
e'
igual
a (
Inteiro positivo
+ 1)th
elemento
de
Lista
o
comeco
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
(=>
(
and
(
measuringResult
?MLIST ?RLIST)
(
equal
?M
(
ListOrderFn
?MLIST ?N))
(
equal
?R
(
ListOrderFn
?RLIST ?N)))
(
result
?M ?R))
Weather.kif 1802-1807
measuringResult
MeasuringList
and
MeasuringResultList
Processo
e'
igual
a
Entidade
elemento
de
MeasuringList
Entidade
e'
igual
a
Entidade
elemento
de
MeasuringResultList
Entidade
e' o
resultado
de
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
Fisico
e' um
membro
de (@ROW)
Fisico
e' um
membro
de (@ROW)
Entidade
elemento
de (@ROW) e'
igual
a
Fisico
Entidade
elemento
de (@ROW) e'
igual
a
Fisico
Inteiro positivo
e'
menos
que
Inteiro positivo
tempo
de existencia de
Fisico
acontence
antes
de
tempo
de existencia de
Fisico
(=>
(
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
e' uma
instancia
de
AccessingWebPage
Processo
e' uma
instancia
de
AccessingWebPage
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Inteiro positivo
e' uma
instancia
de
Inteiro positivo
Inteiro positivo
e' uma
instancia
de
Inteiro positivo
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Processo
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Processo
Inteiro positivo
e'
maior
que
Inteiro positivo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
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
Numero Real
Lista
Inteiro positivo
comprimento
de
Lista
e'
igual
a
comprimento
de
Lista
1th
elemento
de
Lista
e'
igual
a 1th
elemento
de
Lista
Inteiro positivo
Inteiro positivo
e' um
membro
de
Lista
Numero Real
Numero Real
MINUSONE,
Inteiro positivo
and
Inteiro positivo
Numero Real
e'
maior
que 1
Numero Real
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Numero Real
Inteiro positivo
e' um
membro
de
Lista
Numero Real
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
Inteiro positivo
e' um
membro
de
Lista
Numero Real
MINUSONE e'
igual
a (
Numero Real
+ 1)
Numero Real
MINUSONE e'
igual
a
Inteiro positivo
th
elemento
de
Lista
Inteiro positivo
e'
igual
a (
Inteiro positivo
+
Inteiro positivo
)
Inteiro positivo
e'
igual
a
comprimento
de
Lista
Numero Real
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
+
Inteiro positivo
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
instance
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2998-3003
O argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
Relacao
e' uma
instancia
de
Predicado
Relacao
@ROW
Inteiro positivo
th
elemento
de (@ROW) e' uma
instancia
de
Classe
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3005-3010
O argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
Relacao
e' uma
instancia
de
Predicado
Relacao
@ROW
Inteiro positivo
th
elemento
de (@ROW) e' uma
sub
-classe de
Classe
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?A
(
ListOrderFn
?L 1)))
Merge.kif 3252-3256
Numero Real
e'
igual
a
ListSumFn
Lista
1 e'
igual
a
comprimento
de
Lista
Numero Real
e'
igual
a 1th
elemento
de
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
e'
igual
a
Lista
Lista
e'
igual
a (@ROW1)
Lista
e'
igual
a (@ROW2)
Entidade
elemento
de (@ROW1) e'
igual
a
Entidade
elemento
de (@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 3083-3102
Lista
e'
igual
a a
lista
composta de
Lista
e
Lista
Lista
e'
igual
a
NullList
Lista
e'
igual
a
NullList
Inteiro positivo
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
e' uma
instancia
de
Inteiro positivo
Inteiro positivo
e' uma
instancia
de
Inteiro positivo
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
(
comprimento
de
Lista
+
Inteiro positivo
)th
elemento
de
Lista
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
Lista
e'
igual
a
SubListFn
Inteiro positivo
,
Numero Inteiro
and
Lista
(
Numero Inteiro
+
Inteiro positivo
) e'
igual
a 1
Lista
e'
igual
a (
Inteiro positivo
th
elemento
de
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 3190-3202
Lista
e'
igual
a
SubListFn
Inteiro positivo
,
Numero Inteiro
and
Lista
(
Numero Inteiro
+
Inteiro positivo
) e'
maior
que 1
Lista
e'
igual
a a
lista
composta de (
Inteiro positivo
th
elemento
de
Lista
) e
SubListFn
(1 +
Inteiro positivo
),
Numero Inteiro
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 1482-1493
Numero Real
e'
igual
a
VarianceAverageFn
Numero Real
and
Lista
1 e'
igual
a
comprimento
de
Lista
Numero Real
e'
igual
a (
Numero Real
+ 1th
elemento
de
Lista
) + (
Numero Real
+ 1th
elemento
de
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 1449-1461
Numero Real
e'
igual
a
VarianceAverageFn
Numero
and
Lista
comprimento
de
Lista
e'
maior
que 1
Numero Real
e'
igual
a (
VarianceAverageFn
Numero
and 1th
elemento
de
Lista
+
VarianceAverageFn
Numero
and
SubListFn
2,
comprimento
de
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
Relacao
,
Inteiro positivo
and 1
Relacao
e' uma
instancia
de
Predicado
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e'
igual
a
Entidade
(=>
(
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
Relacao
,
Inteiro positivo
and 1
Relacao
e' uma
instancia
de
Predicado
Entidade
@ARGS
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e'
igual
a
Entidade
(=>
(
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
Relacao
,
Inteiro positivo
and
Numero Inteiro
Relacao
e' uma
instancia
de
Predicado
Classe
Entidade
and @ARGS
Classe
e' uma
instancia
de
Conjunto ou Classe
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e' uma
instancia
de
Classe
o numero de
instancias
dentro de
Classe
e'
igual
a
Numero Inteiro
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
Lista
e' uma
instancia
de
Lista
Lista
e'
igual
a
NullList
FirstFn
Lista
e'
igual
a 1th
elemento
de
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
e' uma
instancia
de
SEO
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
_BEFORE
Entidade
_AFTER,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
_BEFORE e' uma
instancia
de
SRPResults
Entidade
_AFTER e' uma
instancia
de
SRPResults
Entidade
e'
igual
a
Entidade
th
elemento
de
Entidade
_BEFORE
Entidade
e'
igual
a
Entidade
th
elemento
de
Entidade
_AFTER
Entidade
e' uma
instancia
de
BestMatchAlgorithm
Entidade
e' uma
instancia
de
BestMatchAlgorithm
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Entidade
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Entidade
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Processo
Entidade
e'
maior
que
Entidade
(=>
(
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
Relacao
,
Inteiro positivo
and
Numero Inteiro
Relacao
e' uma
instancia
de
Predicado
Classe
Entidade
and @ARGS
Classe
e' uma
instancia
de
Conjunto ou Classe
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e' uma
instancia
de
Classe
o numero de
instancias
dentro de
Classe
e'
menor
ou igual a
Numero Inteiro
(=>
(
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
Relacao
,
Inteiro positivo
and
Numero Inteiro
Relacao
e' uma
instancia
de
Predicado
Classe
Entidade
and @ARGS
Classe
e' uma
instancia
de
Conjunto ou Classe
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e' uma
instancia
de
Classe
o numero de
instancias
dentro de
Classe
e'
maior
ou igual a
Numero Inteiro
(=>
(
equal
(
LastFn
?LIST) ?ITEM)
(
exists
(?NUMBER)
(
and
(
equal
(
ListLengthFn
?LIST) ?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM))))
Merge.kif 3212-3217
LastFn
Lista
e'
igual
a
Entidade
Inteiro positivo
comprimento
de
Lista
e'
igual
a
Inteiro positivo
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Entidade
(=>
(
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
Relacao
,
Numero Inteiro
and
Numero Inteiro
Sequencia Simbolica
@ARGS o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
igual
a
Numero Inteiro
(=>
(
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
Atributo
and @ROW
Entidade
Entidade
e' uma
instancia
de
Atributo
Entidade
Inteiro positivo
Entidade
e'
igual
a
Entidade
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ROW)
(=>
(
inList
?ITEM ?LIST)
(
exists
(?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM)))
Merge.kif 3113-3116
Entidade
e' um
membro
de
Lista
Inteiro positivo
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Entidade
(=>
(
instance
?LIST
UniqueList
)
(
forall
(?NUMBER1 ?NUMBER2)
(=>
(
equal
(
ListOrderFn
?LIST ?NUMBER1)
(
ListOrderFn
?LIST ?NUMBER2))
(
equal
?NUMBER1 ?NUMBER2))))
Merge.kif 2910-2915
Lista
e' uma
instancia
de
Lista Unica
Inteiro positivo
Inteiro positivo
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
Inteiro positivo
e'
igual
a
Inteiro positivo
(=>
(
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
Relacao
,
Numero Inteiro
and
Numero Inteiro
Sequencia Simbolica
@ARGS o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
menor
ou igual a
Numero Inteiro
(=>
(
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
Relacao
,
Numero Inteiro
and
Numero Inteiro
Sequencia Simbolica
@ARGS o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
maior
ou igual a
Numero Inteiro
statement
(
forall
(@ROW ?ITEM)
(
equal
(
ListOrderFn
(
ListFn
@ROW ?ITEM)
(
ListLengthFn
(
ListFn
@ROW ?ITEM))) ?ITEM))
Merge.kif 3042-3046
@ROW
Entidade
comprimento
de (@ROW +
Entidade
)th
elemento
de (@ROW +
Entidade
) e'
igual
a
Entidade
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