partition
(
partition
RealNumber
RationalNumber
IrrationalNumber
)
Merge.kif 1893-1893
実数
は
有理数
+
無理数
に
exhaustively
partitioned
%n
(
partition
Region
GeographicArea
SpaceRegion
)
Mid-level-ontology.kif 9025-9025
地域
は
地理的地域
+
SpaceRegion
に
exhaustively
partitioned
%n
(
partition
Relation
Predicate
Function
)
Merge.kif 2162-2162
関係
は
述語
+
関数
に
exhaustively
partitioned
%n
(
partition
Relation
TotalValuedRelation
PartialValuedRelation
)
Merge.kif 2163-2163
関係
は
合計値関係
+
部分的価値関係
に
exhaustively
partitioned
%n
(
partition
Rock
Boulder
Cobble
Pebble
)
Geography.kif 7257-7257
Rock
は
Boulder
,
Cobble
, +
Pebble
に
exhaustively
partitioned
%n
(
partition
RollingStock
PassengerRailcar
FreightCar
)
Transportation.kif 2140-2140
RollingStock
は
PassengerRailcar
+
FreightCar
に
exhaustively
partitioned
%n
(
partition
SeasonOfYear
WinterSeason
SpringSeason
SummerSeason
FallSeason
)
Mid-level-ontology.kif 19131-19131
SeasonOfYear
は
WinterSeason
,
SpringSeason
,
SummerSeason
, +
FallSeason
に
exhaustively
partitioned
%n
(
partition
SetOrClass
Set
Class
)
Merge.kif 2129-2129
同じセットまたはクラス
は
セット
+
クラス
に
exhaustively
partitioned
%n
(
partition
SpaceRegion
AtmosphericRegion
OuterSpaceRegion
)
Mid-level-ontology.kif 9068-9068
SpaceRegion
は
AtmosphericRegion
+
OuterSpaceRegion
に
exhaustively
partitioned
%n
(
partition
Substance
PureSubstance
Mixture
)
Merge.kif 1042-1042
物質
は
純物質
+
混合物
に
exhaustively
partitioned
%n
(
partition
Substance
SyntheticSubstance
NaturalSubstance
)
Merge.kif 1043-1043
物質
は
SyntheticSubstance
+
NaturalSubstance
に
exhaustively
partitioned
%n
(
partition
TimePosition
TimeInterval
TimePoint
)
Merge.kif 2079-2079
時間位置
は
時間間隔
+
時点
に
exhaustively
partitioned
%n
(
partition
TwoDimensionalFigure
OpenTwoDimensionalFigure
ClosedTwoDimensionalFigure
)
Merge.kif 17818-17818
TwoDimensionalFigure
は
OpenTwoDimensionalFigure
+
ClosedTwoDimensionalFigure
に
exhaustively
partitioned
%n
(
partition
UnitOfMeasure
CompositeUnitOfMeasure
NonCompositeUnitOfMeasure
)
Merge.kif 6223-6223
測定単位
は
CompositeUnitOfMeasure
+
NonCompositeUnitOfMeasure
に
exhaustively
partitioned
%n
(
partition
Virus
DNAVirus
RNAVirus
)
VirusProteinAndCellPart.kif 40-40
ウイルス
は
DNAVirus
+
RNAVirus
に
exhaustively
partitioned
%n
(
partition
Virus
UnenvelopedVirus
EnvelopedVirus
)
VirusProteinAndCellPart.kif 42-42
ウイルス
は
UnenvelopedVirus
+
EnvelopedVirus
に
exhaustively
partitioned
%n
(
partition
Virus
VirusDoubleStranded
VirusSingleStranded
)
VirusProteinAndCellPart.kif 41-41
ウイルス
は
VirusDoubleStranded
+
VirusSingleStranded
に
exhaustively
partitioned
%n
(
partition
WeaponOfMassDestruction
RadioactiveWeapon
BiochemicalWeapon
)
WMD.kif 673-673
WeaponOfMassDestruction
は
RadioactiveWeapon
+
BiochemicalWeapon
に
exhaustively
partitioned
%n
(
partition
Wicker
PlantWicker
SyntheticWicker
)
Mid-level-ontology.kif 4590-4590
Wicker
は
PlantWicker
+
SyntheticWicker
に
exhaustively
partitioned
%n
(
partition
Word
Noun
Verb
Adjective
Adverb
ParticleWord
)
Merge.kif 15271-15271
単語
は
名詞
,
動詞
,
形容詞
,
副詞
, +
ParticleWord
に
exhaustively
partitioned
%n
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