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
ListFn
Sigma KEE - ListFn
ListFn
appearance as argument number 1
(
documentation
ListFn
ChineseLanguage
"这是一个可以接受任何数量的参数,然后交出含有跟哪些参数完全 相同顺序的
Function
。")
chinese_format.kif 1962-1963
(
documentation
ListFn
EnglishLanguage
"A
Function
that takes any number of arguments and returns the
List
containing those arguments in exactly the same order.")
Merge.kif 2937-2938
(
documentation
ListFn
JapaneseLanguage
"任意の数の引数を受け取り、それらの引数を含む
List
を まったく同じ順序で返す
Function
。")
japanese_format.kif 594-595
(
domain
ListFn
1
Entity
)
Merge.kif 2933-2933
O argumento numero 1 de
ListFn
e' uma
instancia
de
Entidade
(
instance
ListFn
Function
)
Merge.kif 2931-2931
ListFn
e' uma
instancia
de
Funcao
(
instance
ListFn
VariableArityRelation
)
Merge.kif 2932-2932
ListFn
e' uma
instancia
de
Relacao de aridade variavel
(
range
ListFn
List
)
Merge.kif 2935-2935
O
contra
-dominio de
ListFn
e' uma instancia de
Lista
appearance as argument number 2
(
format
ChineseLanguage
ListFn
"(%*[,])")
chinese_format.kif 261-261
(
format
EnglishLanguage
ListFn
"(%*[,])")
english_format.kif 266-266
(
format
FrenchLanguage
ListFn
"(%*[,])")
french_format.kif 149-149
(
format
ItalianLanguage
ListFn
"(%*[,]")
relations-it.txt 167-167
(
format
JapaneseLanguage
ListFn
"(%*[,])")
japanese_format.kif 1977-1977
(
format
PortugueseLanguage
ListFn
"(%*[,])")
portuguese_format.kif 101-101
(
format
cz
ListFn
"(%*[,])")
relations-cz.txt 158-158
(
format
de
ListFn
"(%*[,])")
relations-de.txt 336-336
(
format
hi
ListFn
"(%*[,]")
relations-hindi.txt 206-206
(
format
ro
ListFn
"(%*[,])")
relations-ro.kif 168-168
(
format
sv
ListFn
"(%*[,])")
relations-sv.txt 155-155
(
format
tg
ListFn
"(%*[,]")
relations-tg.txt 333-333
(
termFormat
ChineseLanguage
ListFn
"名单")
domainEnglishFormat.kif 34685-34685
(
termFormat
ChineseLanguage
ListFn
"表列函数")
chinese_format.kif 262-262
(
termFormat
ChineseTraditionalLanguage
ListFn
"名單")
domainEnglishFormat.kif 34684-34684
(
termFormat
EnglishLanguage
ListFn
"list")
domainEnglishFormat.kif 34683-34683
(
termFormat
de
ListFn
"ListeFn")
terms-de.txt 107-107
(
termFormat
tg
ListFn
"tungkulin ng talaan")
relations-tg.txt 334-334
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
(
contraryAttribute
@ROW1)
(
identicalListItems
(
ListFn
@ROW1)
(
ListFn
@ROW2)))
(
contraryAttribute
@ROW2))
Merge.kif 470-474
@ROW1 e' &o oposto de
identicalListItems
(@ROW1) and (@ROW2)
@ROW2 e' &o oposto de
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18446-18451
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 18429-18434
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 18463-18468
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
?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
(
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
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR ?CLASS))
Merge.kif 503-507
exhaustiveAttribute
Atributo
and @ROW
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Atributo
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR
Attribute
))
Merge.kif 497-501
exhaustiveAttribute
Atributo
and @ROW
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Atributo
(=>
(
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
?REL
IntentionalRelation
)
(?REL ?AGENT @ROW)
(
inList
?OBJ
(
ListFn
@ROW)))
(
inScopeOfInterest
?AGENT ?OBJ))
Merge.kif 2677-2682
Entidade
e' uma
instancia
de
IntentionalRelation
Entidade
Agente Cognitivo
and @ROW
Entidade
e' um
membro
de (@ROW)
Agente Cognitivo
esta'
interessado
em
Entidade
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16921-16929
Objeto
e'
Atributo Posicional
em relacao a
Objeto
@ROW e' &o oposto de
Atributo Posicional
e' um
membro
de (@ROW)
Atributo Posicional
e' um
membro
de (@ROW)
Atributo Posicional
e'
igual
a
Atributo Posicional
Objeto
e'
Atributo Posicional
em relacao a
Objeto
(=>
(
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
consequent
(=>
(
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
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4861-4872
O maior divisor comum de @ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
O maior divisor comum de @ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e'
maior
que
Numero Inteiro
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4946-4956
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e'
menos
que
Numero Inteiro
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
(=>
(
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
?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
(
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
(
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
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3048-3055
Relacao
tem
Inteiro positivo
argumento
(s)
Relacao
e' uma
instancia
de
Predicado
@ROW
Relacao
@ROW
comprimento
de (@ROW) e'
igual
a
Inteiro positivo
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 464-468
@ROW e' &o oposto de
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Atributo
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2950-2955
Classe
e'
disjuntamente
decomponivel
em @ROW
Classe
Classe
e' um
membro
de (@ROW)
Classe
e' uma
sub
-classe de
Classe
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2957-2966
Classe
e'
disjuntamente
decomponivel
em @ROW
Classe
Classe
Classe
e' um
membro
de (@ROW)
Classe
e' um
membro
de (@ROW)
Classe
e'
igual
a
Classe
Classe
e'
disjunto
de
Classe
(=>
(
disjointDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 574-578
@ROW e'
disjuntamente
decomponivel
em @ROW
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Classe
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4854-4859
O maior divisor comum de @ROW e'
igual
a
Numero Inteiro
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Numero
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4939-4944
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Numero
(=>
(
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)
(=>
(
exhaustiveAttribute
?CLASS @ROW)
(
forall
(?ATTR1)
(=>
(
instance
?ATTR1 ?CLASS)
(
exists
(?ATTR2)
(
and
(
inList
?ATTR2
(
ListFn
@ROW))
(
equal
?ATTR1 ?ATTR2))))))
Merge.kif 509-517
exhaustiveAttribute
Atributo
and @ROW
Entidade
Entidade
e' uma
instancia
de
Atributo
Entidade
Entidade
e' um
membro
de (@ROW)
Entidade
e'
igual
a
Entidade
(=>
(
exhaustiveDecomposition
?CLASS @ROW)
(
forall
(?OBJ)
(=>
(
instance
?OBJ ?CLASS)
(
exists
(?ITEM)
(
and
(
inList
?ITEM
(
ListFn
@ROW))
(
instance
?OBJ ?ITEM))))))
Merge.kif 2940-2948
Classe
e'
coberto
por @ROW
Entidade
Entidade
e' uma
instancia
de
Classe
Classe
Classe
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Classe
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
forall
(@ROW ?ITEM)
(
equal
(
ListLengthFn
(
ListFn
@ROW ?ITEM))
(
SuccessorFn
(
ListLengthFn
(
ListFn
@ROW)))))
Merge.kif 3037-3040
@ROW
Entidade
comprimento
de (@ROW +
Entidade
) e'
igual
a (
comprimento
de (@ROW)+1)
(
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
(
forall
(@ROW ?ITEM)
(
initialList
(
ListFn
@ROW)
(
ListFn
@ROW ?ITEM)))
Merge.kif 3315-3316
@ROW
Entidade
(@ROW) e' o
comeco
de (@ROW +
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