(partition RealNumber RationalNumber IrrationalNumber)	Merge.kif 1893-1893	NumeroReale è esaustivamente partizionato in NumeroRazionale + NumeroIrrazionale
(partition Region GeographicArea SpaceRegion)	Mid-level-ontology.kif 9025-9025	Regione è esaustivamente partizionato in AreaGeografica + SpaceRegion
(partition Relation Predicate Function)	Merge.kif 2162-2162	Relazione è esaustivamente partizionato in Predicato + Funzione
(partition Relation TotalValuedRelation PartialValuedRelation)	Merge.kif 2163-2163	Relazione è esaustivamente partizionato in RelazioneAValoreTotale + RelazioneAValoreParziale
(partition Rock Boulder Cobble Pebble)	Geography.kif 7257-7257	Rock è esaustivamente partizionato in Boulder, Cobble, + Pebble
(partition RollingStock PassengerRailcar FreightCar)	Transportation.kif 2140-2140	RollingStock è esaustivamente partizionato in PassengerRailcar + FreightCar
(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason)	Mid-level-ontology.kif 19131-19131	SeasonOfYear è esaustivamente partizionato in WinterSeason, SpringSeason, SummerSeason, + FallSeason
(partition SetOrClass Set Class)	Merge.kif 2129-2129	InsiemeOClasse è esaustivamente partizionato in Insieme + Classe
(partition SpaceRegion AtmosphericRegion OuterSpaceRegion)	Mid-level-ontology.kif 9068-9068	SpaceRegion è esaustivamente partizionato in AtmosphericRegion + OuterSpaceRegion
(partition Substance PureSubstance Mixture)	Merge.kif 1042-1042	Sostanza è esaustivamente partizionato in SostanzaPura + Mistura
(partition Substance SyntheticSubstance NaturalSubstance)	Merge.kif 1043-1043	Sostanza è esaustivamente partizionato in SyntheticSubstance + NaturalSubstance
(partition TimePosition TimeInterval TimePoint)	Merge.kif 2079-2079	PosizioneTemporale è esaustivamente partizionato in IntervalloTemporale + PuntoTemporale
(partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure)	Merge.kif 17818-17818	TwoDimensionalFigure è esaustivamente partizionato in OpenTwoDimensionalFigure + ClosedTwoDimensionalFigure
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure)	Merge.kif 6223-6223	Unit�DiMisura è esaustivamente partizionato in CompositeUnitOfMeasure + NonCompositeUnitOfMeasure
(partition Virus DNAVirus RNAVirus)	VirusProteinAndCellPart.kif 40-40	Virus è esaustivamente partizionato in DNAVirus + RNAVirus
(partition Virus UnenvelopedVirus EnvelopedVirus)	VirusProteinAndCellPart.kif 42-42	Virus è esaustivamente partizionato in UnenvelopedVirus + EnvelopedVirus
(partition Virus VirusDoubleStranded VirusSingleStranded)	VirusProteinAndCellPart.kif 41-41	Virus è esaustivamente partizionato in VirusDoubleStranded + VirusSingleStranded
(partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon)	WMD.kif 673-673	WeaponOfMassDestruction è esaustivamente partizionato in RadioactiveWeapon + BiochemicalWeapon
(partition Wicker PlantWicker SyntheticWicker)	Mid-level-ontology.kif 4590-4590	Wicker è esaustivamente partizionato in PlantWicker + SyntheticWicker
(partition Word Noun Verb Adjective Adverb ParticleWord)	Merge.kif 15271-15271	Parola è esaustivamente partizionato in Nome, Verbo, Aggettivo, Avverbio, + 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