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
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4615-4617
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4609-4609
The number 1 argument of
mutually exclusive completely exhaustive
is an
instance
of
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4611-4611
The number 2 argument of
mutually exclusive completely exhaustive
is an
instance
of
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4607-4607
mutually exclusive completely exhaustive
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3850-3850
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3849-3849
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3848-3848
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4613-4613
antecedent
No TPTP formula. May not be expressible in strict first order.
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
}
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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