partition
(
partition
RealNumber
RationalNumber
IrrationalNumber
)
Merge.kif 1893-1893
(
partition
Region
GeographicArea
SpaceRegion
)
Mid-level-ontology.kif 9026-9026
(
partition
Relation
Predicate
Function
)
Merge.kif 2162-2162
(
partition
Relation
TotalValuedRelation
PartialValuedRelation
)
Merge.kif 2163-2163
(
partition
Rock
Boulder
Cobble
Pebble
)
Geography.kif 7257-7257
(
partition
RollingStock
PassengerRailcar
FreightCar
)
Transportation.kif 2140-2140
(
partition
SeasonOfYear
WinterSeason
SpringSeason
SummerSeason
FallSeason
)
Mid-level-ontology.kif 19132-19132
(
partition
SetOrClass
Set
Class
)
Merge.kif 2129-2129
(
partition
SpaceRegion
AtmosphericRegion
OuterSpaceRegion
)
Mid-level-ontology.kif 9069-9069
(
partition
Substance
PureSubstance
Mixture
)
Merge.kif 1042-1042
(
partition
Substance
SyntheticSubstance
NaturalSubstance
)
Merge.kif 1043-1043
(
partition
TimePosition
TimeInterval
TimePoint
)
Merge.kif 2079-2079
(
partition
TwoDimensionalAngle
RightAngle
ObliqueAngle
AcuteAngle
)
Mid-level-ontology.kif 4866-4866
(
partition
TwoDimensionalFigure
OpenTwoDimensionalFigure
ClosedTwoDimensionalFigure
)
Merge.kif 17796-17796
(
partition
UnitOfMeasure
CompositeUnitOfMeasure
NonCompositeUnitOfMeasure
)
Merge.kif 6223-6223
(
partition
Virus
DNAVirus
RNAVirus
)
VirusProteinAndCellPart.kif 40-40
(
partition
Virus
UnenvelopedVirus
EnvelopedVirus
)
VirusProteinAndCellPart.kif 42-42
(
partition
Virus
VirusDoubleStranded
VirusSingleStranded
)
VirusProteinAndCellPart.kif 41-41
(
partition
WeaponOfMassDestruction
RadioactiveWeapon
BiochemicalWeapon
)
WMD.kif 673-673
(
partition
Wicker
PlantWicker
SyntheticWicker
)
Mid-level-ontology.kif 4590-4590
(
partition
Word
Noun
Verb
Adjective
Adverb
ParticleWord
)
Merge.kif 15249-15249
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