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
O argumento numero 1 de
meceCollection
e' uma
instancia
de
Colecao
(
domain
meceCollection
2
Collection
)
UXExperimentalTerms.kif 4611-4611
O argumento numero 2 de
meceCollection
e' uma
instancia
de
Colecao
(
instance
meceCollection
BinaryPredicate
)
UXExperimentalTerms.kif 4607-4607
meceCollection
e' uma
instancia
de
Predicado Binario
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
Colecao
and
Colecao
Colecao
e' uma
instancia
de
Colecao
Colecao
e' uma
instancia
de
Colecao
Fisico
e' uma
instancia
de
Objeto auto-conectado
Fisico
e'
membro
de
Colecao
Colecao
e'
membro
de
Colecao
Colecao
e'
membro
de
Colecao
Colecao
e'
igual
a
Colecao
~{
Fisico
e'
membro
de
Colecao
} ~{
Fisico
e'
membro
de
Colecao
}
(=>
(
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
Colecao
and
Colecao
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Objeto auto-conectado
Colecao
Colecao
e' uma
instancia
de
Colecao
Fisico
e'
membro
de
Colecao
Colecao
e'
membro
de
Colecao
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
member
?MEMBER ?COLL2)
(
instance
?MEMBER
SelfConnectedObject
))
(
instance
?MEMBER
Collection
))
UXExperimentalTerms.kif 4620-4625
meceCollection
Colecao
and
Colecao
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Objeto auto-conectado
Fisico
e' uma
instancia
de
Colecao
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