partition
(
partition
RealNumber
RationalNumber
IrrationalNumber
)
Merge.kif 1893-1893
Nombre r�el
est
compl
�tement
d
�compos� en
nombre rationnel
+
nombre irrationnel
(
partition
Region
GeographicArea
SpaceRegion
)
Mid-level-ontology.kif 9025-9025
R�gion
est
compl
�tement
d
�compos� en
secteur g�ographique
+
SpaceRegion
(
partition
Relation
Predicate
Function
)
Merge.kif 2162-2162
Relation
est
compl
�tement
d
�compos� en
predicat
+
function
(
partition
Relation
TotalValuedRelation
PartialValuedRelation
)
Merge.kif 2163-2163
Relation
est
compl
�tement
d
�compos� en
relation total
+
relation partielle
(
partition
Rock
Boulder
Cobble
Pebble
)
Geography.kif 7257-7257
Rock
est
compl
�tement
d
�compos� en
Boulder
,
Cobble
, +
Pebble
(
partition
RollingStock
PassengerRailcar
FreightCar
)
Transportation.kif 2140-2140
RollingStock
est
compl
�tement
d
�compos� en
PassengerRailcar
+
FreightCar
(
partition
SeasonOfYear
WinterSeason
SpringSeason
SummerSeason
FallSeason
)
Mid-level-ontology.kif 19131-19131
SeasonOfYear
est
compl
�tement
d
�compos� en
WinterSeason
,
SpringSeason
,
SummerSeason
, +
FallSeason
(
partition
SetOrClass
Set
Class
)
Merge.kif 2129-2129
Ensemble ou classe
est
compl
�tement
d
�compos� en
ensemble
+
classe
(
partition
SpaceRegion
AtmosphericRegion
OuterSpaceRegion
)
Mid-level-ontology.kif 9068-9068
SpaceRegion
est
compl
�tement
d
�compos� en
AtmosphericRegion
+
OuterSpaceRegion
(
partition
Substance
PureSubstance
Mixture
)
Merge.kif 1042-1042
Substance
est
compl
�tement
d
�compos� en
substance pure
+
mixture
(
partition
Substance
SyntheticSubstance
NaturalSubstance
)
Merge.kif 1043-1043
Substance
est
compl
�tement
d
�compos� en
SyntheticSubstance
+
NaturalSubstance
(
partition
TimePosition
TimeInterval
TimePoint
)
Merge.kif 2079-2079
Position temporel
est
compl
�tement
d
�compos� en
interval temporel
+
point temporel
(
partition
TwoDimensionalFigure
OpenTwoDimensionalFigure
ClosedTwoDimensionalFigure
)
Merge.kif 17818-17818
TwoDimensionalFigure
est
compl
�tement
d
�compos� en
OpenTwoDimensionalFigure
+
ClosedTwoDimensionalFigure
(
partition
UnitOfMeasure
CompositeUnitOfMeasure
NonCompositeUnitOfMeasure
)
Merge.kif 6223-6223
Unit� de mesure
est
compl
�tement
d
�compos� en
CompositeUnitOfMeasure
+
NonCompositeUnitOfMeasure
(
partition
Virus
DNAVirus
RNAVirus
)
VirusProteinAndCellPart.kif 40-40
Virus
est
compl
�tement
d
�compos� en
DNAVirus
+
RNAVirus
(
partition
Virus
UnenvelopedVirus
EnvelopedVirus
)
VirusProteinAndCellPart.kif 42-42
Virus
est
compl
�tement
d
�compos� en
UnenvelopedVirus
+
EnvelopedVirus
(
partition
Virus
VirusDoubleStranded
VirusSingleStranded
)
VirusProteinAndCellPart.kif 41-41
Virus
est
compl
�tement
d
�compos� en
VirusDoubleStranded
+
VirusSingleStranded
(
partition
WeaponOfMassDestruction
RadioactiveWeapon
BiochemicalWeapon
)
WMD.kif 673-673
WeaponOfMassDestruction
est
compl
�tement
d
�compos� en
RadioactiveWeapon
+
BiochemicalWeapon
(
partition
Wicker
PlantWicker
SyntheticWicker
)
Mid-level-ontology.kif 4590-4590
Wicker
est
compl
�tement
d
�compos� en
PlantWicker
+
SyntheticWicker
(
partition
Word
Noun
Verb
Adjective
Adverb
ParticleWord
)
Merge.kif 15271-15271
Mot
est
compl
�tement
d
�compos� en
nom
,
verbe
,
adjectif
,
adverbe
, +
ParticleWord
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