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
partition
Sigma KEE - partition
partition
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1517-1518
No TPTP formula. May not be expressible in strict first order.
Merge.kif 585-588
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 82-84
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 94-96
No TPTP formula. May not be expressible in strict first order.
Merge.kif 582-582
The number 1 argument of
partition
is an
instance
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 583-583
The number 2 argument of
partition
is an
instance
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 580-580
partition
is an
instance
of
predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 581-581
partition
is an
instance
of
variable arity relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 311-311
No TPTP formula. May not be expressible in strict first order.
english_format.kif 316-316
No TPTP formula. May not be expressible in strict first order.
french_format.kif 178-178
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 213-213
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1998-1998
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 130-130
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 187-187
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 408-408
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 251-251
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 198-198
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 188-188
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 405-405
No TPTP formula. May not be expressible in strict first order.
Merge.kif 550-550
exhaustive decomposition
is
internally
related to
partition
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 312-312
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 44567-44567
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 44566-44566
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 606-612
If
a class
is
exhaustively
partitioned
into
another class
and
a third class
and
an entity
is an
instance
of
the class
and
the entity
is not an
instance
of
the other class
,
then
the entity
is an
instance
of
the third class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 602-604
If
a class
is
exhaustively
partitioned
into
another class
and
a third class
,
then
the class
is
exhaustively
partitioned
into
the third class
and
the other class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 590-594
If @ROW is
exhaustively
partitioned
into @ROW,
then @ROW is
covered
by @ROW and @ROW is
disjointly
decomposed
into @ROW
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 596-600
If @ROW is
covered
by @ROW and @ROW is
disjointly
decomposed
into @ROW,
then @ROW is
exhaustively
partitioned
into @ROW
No TPTP formula. May not be expressible in strict first order.
Merge.kif 602-604
If
a class
is
exhaustively
partitioned
into
another class
and
a third class
,
then
the class
is
exhaustively
partitioned
into
the third class
and
the other class
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11141-11141
Ambulating
is
exhaustively
partitioned
into
walking
and
running
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14915-14915
Anatomical structure
is
exhaustively
partitioned
into
animal anatomical structure
and
plant anatomical structure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14914-14914
Anatomical structure
is
exhaustively
partitioned
into
body part
and
abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14447-14447
Animal
is
exhaustively
partitioned
into
vertebrate
and
invertebrate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16813-16813
Argument
is
exhaustively
partitioned
into
deductive argument
and
inductive argument
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1702-1702
Attribute
is
exhaustively
partitioned
into
internal attribute
and
relational attribute
No TPTP formula. May not be expressible in strict first order.
WMD.kif 82-82
Biochemical agent
is
exhaustively
partitioned
into
biological agent
and
chemical agent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 108-108
Biochemical weapon
is
exhaustively
partitioned
into
biological weapon
and
chemical weapon
No TPTP formula. May not be expressible in strict first order.
WMD.kif 157-157
Biological agent
is
exhaustively
partitioned
into
toxin
and
toxic organism
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7625-7625
Care organization
is
exhaustively
partitioned
into
hospital organization
and
medical clinic
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 1027-1027
Chairman publication
is
exhaustively
partitioned
into
chairman instruction
and
chairman manual
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12504-12504
Chemical process
is
exhaustively
partitioned
into
chemical synthesis
and
chemical decomposition
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13036-13036
Communication
is
exhaustively
partitioned
into
stating
,
supposing
,
directing
,
committing
,
expressing
, and
declaring
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 3585-3585
Currency
is
exhaustively
partitioned
into
currency bill
and
coin
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16833-16833
Deductive argument
is
exhaustively
partitioned
into
valid deductive argument
and
invalid deductive argument
No TPTP formula. May not be expressible in strict first order.
Merge.kif 816-816
Entity
is
exhaustively
partitioned
into
physical
and
abstract
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12943-12943
Expressing
is
exhaustively
partitioned
into
gesture
and
expressing in language
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1604-1604
Firearm
is
exhaustively
partitioned
into
rifle
and
pistol
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8152-8152
Garden
is
exhaustively
partitioned
into
residential garden
and
public garden
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14032-14032
Geographic area
is
exhaustively
partitioned
into
water area
and
land area
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17781-17781
Geometric figure
is
exhaustively
partitioned
into
geometric point
,
one dimensional figure
,
two dimensional figure
, and
three dimensional figure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5820-5820
Graph element
is
exhaustively
partitioned
into
graph node
and
graph arc
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1162-1162
Gun
is
exhaustively
partitioned
into
artillery gun
and
firearm
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5279-5279
Hardwood
is
exhaustively
partitioned
into
softwood
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14645-14645
Human
is
exhaustively
partitioned
into
man
and
woman
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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