Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 2950-2951
(
documentation
ListFn
JapaneseLanguage
"任意の数の引数を受け取り、それらの引数を含む
List
を まったく同じ順序で返す
Function
。")
japanese_format.kif 594-595
(
domain
ListFn
1
Entity
)
Merge.kif 2946-2946
Le nombre 1 argument de
ListFn
est une
instance
de
entit�
(
instance
ListFn
Function
)
Merge.kif 2944-2944
ListFn
est une
instance
de
function
(
instance
ListFn
VariableArityRelation
)
Merge.kif 2945-2945
ListFn
est une
instance
de
relation a arit� variable
(
range
ListFn
List
)
Merge.kif 2948-2948
Le
domaine
de
ListFn
est une instance de
liste
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 34696-34696
(
termFormat
ChineseLanguage
ListFn
"表列函数")
chinese_format.kif 262-262
(
termFormat
ChineseTraditionalLanguage
ListFn
"名單")
domainEnglishFormat.kif 34695-34695
(
termFormat
EnglishLanguage
ListFn
"list")
domainEnglishFormat.kif 34694-34694
(
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 469-477
@ROW est
l
'oppos� de
equal
attribut
and
entit�
equal
attribut
and
entit�
equal
nombre entier positif
and
nombre entier positif
entit�
a un
attribute
attribut
entit�
a un
attribute
attribut
(=>
(
and
(
contraryAttribute
@ROW1)
(
identicalListItems
(
ListFn
@ROW1)
(
ListFn
@ROW2)))
(
contraryAttribute
@ROW2))
Merge.kif 463-467
@ROW1 est
l
'oppos� de
identicalListItems
(@ROW1) and (@ROW2)
@ROW2 est
l
'oppos� de
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18633-18638
defaultMaxValue
predicat
,
nombre entier positif
and
quantit�
predicat
@ARGS
equal
entit�
and
nombre entier positif
th
quantit�
est
plus
grand
que
entit�
a la
force
modale
de
Likely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18616-18621
defaultMinValue
predicat
,
nombre entier positif
and
quantit�
predicat
@ARGS
equal
entit�
and
nombre entier positif
th
entit�
est
plus
grand
que
quantit�
a la
force
modale
de
Likely
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18650-18655
defaultValue
predicat
,
nombre entier positif
and
quantit�
predicat
@ARGS
equal
entit�
and
nombre entier positif
th
equal
quantit�
and
entit�
a la
force
modale
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 289-296
equal
liste
and
liste
equal
liste
and (@ROW1)
equal
liste
and (@ROW2)
equal
entit�
entit�
&%�lement 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 2108-2115
exactCardinality
relation
,
nombre entier positif
and 1
relation
est une
instance
de
predicat
relation
@ARGS
equal
entit�
and
nombre entier positif
th
equal
entit�
and
nombre entier positif
th
equal
entit�
and
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 2095-2105
exactCardinality
relation
,
nombre entier positif
and 1
relation
est une
instance
de
predicat
relation
@ARGS
equal
entit�
and
nombre entier positif
th
entit�
equal
entit�
and
nombre entier positif
th
equal
entit�
and
entit�
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR ?CLASS))
Merge.kif 496-500
exhaustiveAttribute
attribut
and @ROW
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
attribut
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR
Attribute
))
Merge.kif 490-494
exhaustiveAttribute
attribut
and @ROW
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
attribut
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 597-601
LatitudeFn
attribut directionnel
and @ROW est une
instance
de
r�gion
equal
1th
nombre r�el
AngularDegree
(s)
nombre r�el
est plus
petit
ou �gal � 90.0
(=>
(
and
(
instance
(
LongitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 180.0))
Geography.kif 637-644
LongitudeFn
attribut directionnel
and @ROW est une
instance
de
r�gion
equal
1th
nombre r�el
AngularDegree
(s)
nombre r�el
est plus
petit
ou �gal � 180.0
(=>
(
and
(
instance
?REL
IntentionalRelation
)
(?REL ?AGENT @ROW)
(
inList
?OBJ
(
ListFn
@ROW)))
(
inScopeOfInterest
?AGENT ?OBJ))
Merge.kif 2688-2693
Entit�
est une
instance
de
IntentionalRelation
entit�
agent cognitif
and @ROW
entit�
est un
membre
de (@ROW)
agent cognitif
est
interess
� par
entit�
(=>
(
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 17096-17104
Objet
est
attribut positionnel
�
objet
@ROW est
l
'oppos� de
attribut positionnel
est un
membre
de (@ROW)
attribut positionnel
est un
membre
de (@ROW)
equal
attribut positionnel
and
attribut positionnel
objet
est
attribut positionnel
�
objet
(=>
(
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 803-819
processList
@ROW
physique
est un
membre
de (@ROW)
physique
est un
membre
de (@ROW)
equal
entit�
physique
equal
entit�
physique
nombre entier positif
est
moins
que
nombre entier positif
temps
d'existence de
physique
arrive
plus
t�t que
temps
d'existence de
physique
consequent
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
instance
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3011-3016
Le nombre
nombre entier positif
argument de
relation
est une
instance
de
classe
relation
est une
instance
de
predicat
relation
@ROW
nombre entier positif
th
instance
de
classe
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3018-3023
Le nombre
nombre entier positif
argument de
relation
est une
sous
-classe de
classe
relation
est une
instance
de
predicat
relation
@ROW
nombre entier positif
th
sous
-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 4889-4900
equal
le
plus
grand diviseur commun de @ROW and
nombre entier
equal
nombre entier
and 0
nombre entier
nombre entier
est un
membre
de (@ROW)
equal
nombre entier
reste
nombre entier
and 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 4902-4916
equal
le
plus
grand diviseur commun de @ROW and
nombre entier
equal
nombre entier
and 0
nombre entier
nombre entier
est
plus
grand
que
nombre entier
nombre entier
nombre entier
est un
membre
de (@ROW)
equal
nombre entier
reste
nombre entier
and 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4974-4984
equal
la racine carr�e de
nombre
entier
de @ROW and
nombre entier
equal
nombre entier
and 0
nombre entier
nombre entier
est un
membre
de (@ROW)
equal
nombre entier
reste
nombre entier
and 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 4986-5000
equal
la racine carr�e de
nombre
entier
de @ROW and
nombre entier
equal
nombre entier
and 0
nombre entier
nombre entier
est
moins
que
nombre entier
nombre entier
nombre entier
est un
membre
de (@ROW)
equal
nombre entier
reste
nombre entier
and 0
(=>
(
and
(
equal
?LIST1 ?LIST2)
(
equal
?LIST1
(
ListFn
@ROW1))
(
equal
?LIST2
(
ListFn
@ROW2)))
(
equal
(
ListOrderFn
(
ListFn
@ROW1) ?NUMBER)
(
ListOrderFn
(
ListFn
@ROW2) ?NUMBER)))
Merge.kif 289-296
equal
liste
and
liste
equal
liste
and (@ROW1)
equal
liste
and (@ROW2)
equal
entit�
entit�
&%�lement de (@ROW2)
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3192-3201
equal
liste
and
SubListFn
nombre entier positif
,
nombre entier
and
liste
equal
(
nombre entier
+
nombre entier positif
) and 1
equal
liste
and (
nombre entier positif
th
liste
)
(=>
(
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 3203-3215
equal
liste
and
SubListFn
nombre entier positif
,
nombre entier
and
liste
(
nombre entier
+
nombre entier positif
) est
plus
grand
que 1
equal
liste
and la
liste
compos�e de (
nombre entier positif
th
liste
) et
SubListFn
(1 +
nombre entier positif
),
nombre entier
and
liste
(=>
(
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 2095-2105
exactCardinality
relation
,
nombre entier positif
and 1
relation
est une
instance
de
predicat
relation
@ARGS
equal
entit�
and
nombre entier positif
th
entit�
equal
entit�
and
nombre entier positif
th
equal
entit�
and
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 2077-2092
exactCardinality
relation
,
nombre entier positif
and 1
relation
est une
instance
de
predicat
entit�
@ARGS
relation
@ARGS
equal
entit�
and
nombre entier positif
th
entit�
equal
entit�
and
nombre entier positif
th
equal
entit�
and
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 2139-2152
exactCardinality
relation
,
nombre entier positif
and
nombre entier
relation
est une
instance
de
predicat
classe
entit�
and @ARGS
classe
est une
instance
de
ensemble ou classe
relation
@ARGS
equal
entit�
and
nombre entier positif
th
entit�
est une
instance
de
classe
equal
le nombre d'
instances
dans
classe
and
nombre entier
(=>
(
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 2212-2225
maxCardinality
relation
,
nombre entier positif
and
nombre entier
relation
est une
instance
de
predicat
classe
entit�
and @ARGS
classe
est une
instance
de
ensemble ou classe
relation
@ARGS
equal
entit�
and
nombre entier positif
th
entit�
est une
instance
de
classe
le nombre d'
instances
dans
classe
est plus
petit
ou �gal �
nombre entier
(=>
(
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 2176-2189
minCardinality
relation
,
nombre entier positif
and
nombre entier
relation
est une
instance
de
predicat
classe
entit�
and @ARGS
classe
est une
instance
de
ensemble ou classe
relation
@ARGS
equal
entit�
and
nombre entier positif
th
entit�
est une
instance
de
classe
le nombre d'
instances
dans
classe
est
plus
grand
ou �gal �
nombre entier
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3061-3068
Relation
a
nombre entier positif
argument
(s)
relation
est une
instance
de
predicat
@ROW
relation
@ROW
equal
longueur
de (@ROW) and
nombre entier positif
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 457-461
@ROW est
l
'oppos� de
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
attribut
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2963-2968
Classe
est
disjointement
decompos
� en @ROW
classe
classe
est un
membre
de (@ROW)
classe
est une
sous
-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 2970-2979
Classe
est
disjointement
decompos
� en @ROW
classe
classe
classe
est un
membre
de (@ROW)
classe
est un
membre
de (@ROW)
equal
classe
and
classe
classe
est
disjoint
de
classe
(=>
(
disjointDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 567-571
@ROW est
disjointement
decompos
� en @ROW
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
classe
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4882-4887
equal
le
plus
grand diviseur commun de @ROW and
nombre entier
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
nombre
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4967-4972
equal
la racine carr�e de
nombre
entier
de @ROW and
nombre entier
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
nombre
(=>
(
exactCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
equal
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2127-2136
exactCardinality
relation
,
nombre entier
and
nombre entier
cha�ne sympbolique
@ARGS
equal
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
and
nombre entier
(=>
(
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 512-524
exhaustiveAttribute
attribut
and @ROW
entit�
entit�
est une
instance
de
attribut
entit�
nombre entier positif
equal
entit�
and
entit�
equal
entit�
and
nombre entier positif
th &%�lement de (@ROW)
(=>
(
exhaustiveAttribute
?CLASS @ROW)
(
forall
(?ATTR1)
(=>
(
instance
?ATTR1 ?CLASS)
(
exists
(?ATTR2)
(
and
(
inList
?ATTR2
(
ListFn
@ROW))
(
equal
?ATTR1 ?ATTR2))))))
Merge.kif 502-510
exhaustiveAttribute
attribut
and @ROW
entit�
entit�
est une
instance
de
attribut
entit�
entit�
est un
membre
de (@ROW)
equal
entit�
and
entit�
(=>
(
exhaustiveDecomposition
?CLASS @ROW)
(
forall
(?OBJ)
(=>
(
instance
?OBJ ?CLASS)
(
exists
(?ITEM)
(
and
(
inList
?ITEM
(
ListFn
@ROW))
(
instance
?OBJ ?ITEM))))))
Merge.kif 2953-2961
Classe
est
couvert
par @ROW
entit�
entit�
est une
instance
de
classe
classe
classe
est un
membre
de (@ROW)
entit�
est une
instance
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 3050-3053
@ROW
Entit�
equal
longueur
de (@ROW +
entit�
) and (
longueur
de (@ROW)+1)
(
forall
(@ROW ?ITEM)
(
equal
(
ListOrderFn
(
ListFn
@ROW ?ITEM)
(
ListLengthFn
(
ListFn
@ROW ?ITEM))) ?ITEM))
Merge.kif 3055-3059
@ROW
Entit�
equal
longueur
de (@ROW +
entit�
)th
entit�
) and
entit�
(
forall
(@ROW ?ITEM)
(
initialList
(
ListFn
@ROW)
(
ListFn
@ROW ?ITEM)))
Merge.kif 3330-3331
@ROW
Entit�
(@ROW)
commence
(@ROW +
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