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
meceCollection
的 1 数量 是
群体
的
instance
(
domain
meceCollection
2
Collection
)
UXExperimentalTerms.kif 4611-4611
meceCollection
的 2 数量 是
群体
的
instance
(
instance
meceCollection
BinaryPredicate
)
UXExperimentalTerms.kif 4607-4607
meceCollection
是
二元谓语
的
instance
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
如果
群体
和
另一个 群体
是
mutually
exclusive
和
第三 群体
是
群体
的
instance
和
第四 群体
是
群体
的
instance
和
物理
是
自身连接物体
的
instance
和
那个 物理
是
那个 群体
的
member
和
那个 第三 群体
是
那个 另外 群体
的
member
和
那个 第四 群体
是
那个 另外 群体
的
member
和
那个 第三 群体
不
equal
那个 第四 群体
,
然后 ~{
那个 物理
是
那个 第三 群体
的
member
} 或 ~{
那个 物理
是
那个 第四 群体
的
member
}
(=>
(
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
如果
群体
和
另一个 群体
是
mutually
exclusive
和
物理
是
那个 群体
的
member
和
那个 物理
是
自身连接物体
的
instance
,
然后 有存在
第三 群体
这样
那个 第三 群体
是
群体
的
instance
和
那个 物理
是
那个 第三 群体
的
member
和
那个 第三 群体
是
那个 另外 群体
的
member
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
member
?MEMBER ?COLL2)
(
instance
?MEMBER
SelfConnectedObject
))
(
instance
?MEMBER
Collection
))
UXExperimentalTerms.kif 4620-4625
如果
群体
和
另一个 群体
是
mutually
exclusive
和
物理
是
那个 另外 群体
的
member
和
那个 物理
是
自身连接物体
的
instance
,
然后
那个 物理
是
群体
的
instance
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