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
The number 1 argument of
mutually exclusive completely exhaustive
is an
instance
of
collection
(
domain
meceCollection
2
Collection
)
UXExperimentalTerms.kif 4611-4611
The number 2 argument of
mutually exclusive completely exhaustive
is an
instance
of
collection
(
instance
meceCollection
BinaryPredicate
)
UXExperimentalTerms.kif 4607-4607
mutually exclusive completely exhaustive
is an
instance
of
binary predicate
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
If
a collection
and
another collection
are
mutually
exclusive
and
a third collection
is an
instance
of
collection
and
a fourth collection
is an
instance
of
collection
and
a physical
is an
instance
of
self connected object
and
the physical
is a
member
of
the collection
and
the third collection
is a
member
of
the other collection
and
the fourth collection
is a
member
of
the other collection
and
the third collection
is not
equal
to
the fourth collection
,
then ~{
the physical
is a
member
of
the third collection
} or ~{
the physical
is a
member
of
the fourth 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
If
a collection
and
another collection
are
mutually
exclusive
and
a physical
is a
member
of
the collection
and
the physical
is an
instance
of
self connected object
,
then there exists
a third collection
such that
the third collection
is an
instance
of
collection
and
the physical
is a
member
of
the third collection
and
the third collection
is a
member
of
the other collection
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
member
?MEMBER ?COLL2)
(
instance
?MEMBER
SelfConnectedObject
))
(
instance
?MEMBER
Collection
))
UXExperimentalTerms.kif 4620-4625
If
a collection
and
another collection
are
mutually
exclusive
and
a physical
is a
member
of
the other collection
and
the physical
is an
instance
of
self connected object
,
then
the physical
is an
instance
of
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