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
LARPlatoon
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
Le nombre 1 argument de
ListFn
est une
instance
de
entit�
(
instance
ListFn
Function
)
Merge.kif 2931-2931
ListFn
est une
instance
de
function
(
instance
ListFn
VariableArityRelation
)
Merge.kif 2932-2932
ListFn
est une
instance
de
relation a arit� variable
(
range
ListFn
List
)
Merge.kif 2935-2935
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 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 est
l
'oppos� de
attribut
est
entit�
attribut
est
entit�
nombre entier positif
est
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 470-474
@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 18446-18451
defaultMaxValue
predicat
,
nombre entier positif
and
quantit�
predicat
@ARGS
entit�
est
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 18429-18434
defaultMinValue
predicat
,
nombre entier positif
and
quantit�
predicat
@ARGS
entit�
est
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 18463-18468
defaultValue
predicat
,
nombre entier positif
and
quantit�
predicat
@ARGS
entit�
est
nombre entier positif
th
quantit�
est
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 295-302
Liste
est
liste
liste
est
liste
est
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 2106-2113
exactCardinality
relation
,
nombre entier positif
and 1
relation
est une
instance
de
predicat
relation
@ARGS
entit�
est
nombre entier positif
th
entit�
est
nombre entier positif
th
entit�
est
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
relation
,
nombre entier positif
and 1
relation
est une
instance
de
predicat
relation
@ARGS
entit�
est
nombre entier positif
th
entit�
entit�
est
nombre entier positif
th
entit�
est
entit�
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR ?CLASS))
Merge.kif 503-507
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 497-501
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 427-431
LatitudeFn
attribut directionnel
and @ROW est une
instance
de
r�gion
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 467-474
LongitudeFn
attribut directionnel
and @ROW est une
instance
de
r�gion
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 2677-2682
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 16921-16929
Objet
est
attribut positionnel
�
objet
@ROW est
l
'oppos� de
attribut positionnel
est un
membre
de (@ROW)
attribut positionnel
est un
membre
de (@ROW)
attribut positionnel
est
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 694-710
processList
@ROW
physique
est un
membre
de (@ROW)
physique
est un
membre
de (@ROW)
entit�
physique
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 2998-3003
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 3005-3010
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 4861-4872
Le
plus
grand diviseur commun de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 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
Le
plus
grand diviseur commun de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est
plus
grand
que
nombre entier
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 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
La racine carr�e de
nombre
entier
de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 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
La racine carr�e de
nombre
entier
de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est
moins
que
nombre entier
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 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
Liste
est
liste
liste
est
liste
est
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 3179-3188
Liste
est
SubListFn
nombre entier positif
,
nombre entier
and
liste
(
nombre entier
+
nombre entier positif
) est
liste
est
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 3190-3202
Liste
est
SubListFn
nombre entier positif
,
nombre entier
and
liste
(
nombre entier
+
nombre entier positif
) est
plus
grand
que 1
liste
est
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 2093-2103
exactCardinality
relation
,
nombre entier positif
and 1
relation
est une
instance
de
predicat
relation
@ARGS
entit�
est
nombre entier positif
th
entit�
entit�
est
nombre entier positif
th
entit�
est
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
relation
,
nombre entier positif
and 1
relation
est une
instance
de
predicat
entit�
@ARGS
relation
@ARGS
entit�
est
nombre entier positif
th
entit�
entit�
est
nombre entier positif
th
entit�
est
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
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
entit�
est
nombre entier positif
th
entit�
est une
instance
de
classe
le nombre d'
instances
dans
classe
est
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 2210-2223
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
entit�
est
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 2174-2187
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
entit�
est
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 3048-3055
Relation
a
nombre entier positif
argument
(s)
relation
est une
instance
de
predicat
@ROW
relation
@ROW
longueur
de (@ROW) est
nombre entier positif
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 464-468
@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 2950-2955
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 2957-2966
Classe
est
disjointement
decompos
� en @ROW
classe
classe
classe
est un
membre
de (@ROW)
classe
est un
membre
de (@ROW)
classe
est
classe
classe
est
disjoint
de
classe
(=>
(
disjointDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 574-578
@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 4854-4859
Le
plus
grand diviseur commun de @ROW est
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 4939-4944
La racine carr�e de
nombre
entier
de @ROW est
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 2125-2134
exactCardinality
relation
,
nombre entier
and
nombre entier
cha�ne sympbolique
@ARGS le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
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 519-531
exhaustiveAttribute
attribut
and @ROW
entit�
entit�
est une
instance
de
attribut
entit�
nombre entier positif
entit�
est
entit�
entit�
est
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 509-517
exhaustiveAttribute
attribut
and @ROW
entit�
entit�
est une
instance
de
attribut
entit�
entit�
est un
membre
de (@ROW)
entit�
est
entit�
(=>
(
exhaustiveDecomposition
?CLASS @ROW)
(
forall
(?OBJ)
(=>
(
instance
?OBJ ?CLASS)
(
exists
(?ITEM)
(
and
(
inList
?ITEM
(
ListFn
@ROW))
(
instance
?OBJ ?ITEM))))))
Merge.kif 2940-2948
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 3037-3040
@ROW
Entit�
longueur
de (@ROW +
entit�
) est
longueur
de (@ROW)+1)
(
forall
(@ROW ?ITEM)
(
equal
(
ListOrderFn
(
ListFn
@ROW ?ITEM)
(
ListLengthFn
(
ListFn
@ROW ?ITEM))) ?ITEM))
Merge.kif 3042-3046
@ROW
Entit�
longueur
de (@ROW +
entit�
)th
entit�
) est
entit�
(
forall
(@ROW ?ITEM)
(
initialList
(
ListFn
@ROW)
(
ListFn
@ROW ?ITEM)))
Merge.kif 3315-3316
@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