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
meceCollection
Sigma KEE - meceCollection
meceCollection
appearance as argument number 1
(
documentation
meceCollection
EnglishLanguage
"(meceCollection ?COLL1 ?COLL2) means that every
member
of ?COLL1 is in a
Collection
which is a member of Coll2, but not a member of two different
Collection
s which are
member
s of ?COLL2.")
UXExperimentalTerms.kif 4615-4617
(
domain
meceCollection
1
Collection
)
UXExperimentalTerms.kif 4609-4609
Le nombre 1 argument de
meceCollection
est une
instance
de
collection
(
domain
meceCollection
2
Collection
)
UXExperimentalTerms.kif 4611-4611
Le nombre 2 argument de
meceCollection
est une
instance
de
collection
(
instance
meceCollection
BinaryPredicate
)
UXExperimentalTerms.kif 4607-4607
meceCollection
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
meceCollection
"%1 和 %2 是 mutually exclusive ")
domainEnglishFormat.kif 3850-3850
(
format
ChineseTraditionalLanguage
meceCollection
"%1 和 %2 是 mutually exclusive ")
domainEnglishFormat.kif 3849-3849
(
format
EnglishLanguage
meceCollection
"%1 and %2 are mutually exclusive")
domainEnglishFormat.kif 3848-3848
(
termFormat
EnglishLanguage
meceCollection
"mutually exclusive completely exhaustive")
UXExperimentalTerms.kif 4613-4613
antecedent
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
instance
?COLL3
Collection
)
(
instance
?COLL4
Collection
)
(
instance
?MEMBER
SelfConnectedObject
)
(
member
?MEMBER ?COLL1)
(
member
?COLL3 ?COLL2)
(
member
?COLL4 ?COLL2)
(
not
(
equal
?COLL3 ?COLL4)))
(
not
(
and
(
member
?MEMBER ?COLL3)
(
member
?MEMBER ?COLL4))))
UXExperimentalTerms.kif 4638-4652
meceCollection
collection
and
collection
collection
est une
instance
de
collection
collection
est une
instance
de
collection
physique
est une
instance
de
objet en une partie
physique
est un
membre
de
collection
collection
est un
membre
de
collection
collection
est un
membre
de
collection
collection
est
collection
~{
physique
est un
membre
de
collection
} ~{
physique
est un
membre
de
collection
}
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
member
?MEMBER ?COLL1)
(
instance
?MEMBER
SelfConnectedObject
))
(
exists
(?COLL3)
(
and
(
instance
?COLL3
Collection
)
(
member
?MEMBER ?COLL3)
(
member
?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4627-4636
meceCollection
collection
and
collection
physique
est un
membre
de
collection
physique
est une
instance
de
objet en une partie
collection
collection
est une
instance
de
collection
physique
est un
membre
de
collection
collection
est un
membre
de
collection
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
member
?MEMBER ?COLL2)
(
instance
?MEMBER
SelfConnectedObject
))
(
instance
?MEMBER
Collection
))
UXExperimentalTerms.kif 4620-4625
meceCollection
collection
and
collection
physique
est un
membre
de
collection
physique
est une
instance
de
objet en une partie
physique
est une
instance
de
collection
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