partition
(
partition
HumanLanguage
NaturalLanguage
ConstructedLanguage
)
Merge.kif 1457-1457
人間の言語
は
自然言語
+
人工言語
に
exhaustively
partitioned
(
partition
HumanLanguage
SpokenHumanLanguage
ManualHumanLanguage
)
Merge.kif 1458-1458
人間の言語
は
SpokenHumanLanguage
+
ManualHumanLanguage
に
exhaustively
partitioned
(
partition
Integer
NegativeInteger
NonnegativeInteger
)
Merge.kif 1967-1967
整数
は
負の整数
+
非負整数
に
exhaustively
partitioned
(
partition
Integer
OddInteger
EvenInteger
)
Merge.kif 1966-1966
整数
は
奇数の整数
+
偶数の整数
に
exhaustively
partitioned
(
partition
LiquidMixture
Solution
Suspension
)
Merge.kif 14863-14863
LiquidMixture
は
溶液
+
Suspension
に
exhaustively
partitioned
(
partition
LowPressureWeatherSystem
HighPressureWeatherSystem
)
Weather.kif 529-529
LowPressureWeatherSystem
は
HighPressureWeatherSystem
に
exhaustively
partitioned
(
partition
MagneticField
MagneticNorth
MagneticSouth
)
Mid-level-ontology.kif 17160-17160
MagneticField
は
MagneticNorth
+
MagneticSouth
に
exhaustively
partitioned
(
partition
MakingMusic
MakingInstrumentalMusic
MakingVocalMusic
)
Merge.kif 13857-13857
MakingMusic
は
MakingInstrumentalMusic
+
MakingVocalMusic
に
exhaustively
partitioned
(
partition
NarrativeText
FictionalText
HistoricalAccount
)
Mid-level-ontology.kif 16298-16298
NarrativeText
は
FictionalText
+
HistoricalAccount
に
exhaustively
partitioned
(
partition
Number
RealNumber
ImaginaryNumber
ComplexNumber
)
Merge.kif 1835-1835
数
は
実数
,
虚数
, +
複素数
に
exhaustively
partitioned
(
partition
OrganicObject
Organism
AnatomicalStructure
)
Merge.kif 14501-14501
有機物
は
物
+
解剖学的構造
に
exhaustively
partitioned
(
partition
Organism
Animal
Plant
Fungus
Microorganism
)
Merge.kif 14510-14510
物
は
動物
,
植物
,
菌類
, +
微生物
に
exhaustively
partitioned
(
partition
ParticulateMatter
CoarseParticulateMatter
FineParticulateMatter
)
Geography.kif 7709-7709
ParticulateMatter
は
CoarseParticulateMatter
+
FineParticulateMatter
に
exhaustively
partitioned
(
partition
Phalanx
ToeBone
FingerBone
)
Anatomy.kif 1321-1321
Phalanx
は
ToeBone
+
FingerBone
に
exhaustively
partitioned
(
partition
Physical
Object
Process
)
Merge.kif 826-826
物理
は
オブジェクト
+
工程
に
exhaustively
partitioned
(
partition
PhysicalQuantity
ConstantQuantity
FunctionQuantity
)
Merge.kif 2037-2037
物理量
は
一定量
+
関数量
に
exhaustively
partitioned
(
partition
PlaceOfCommerce
CommercialBuilding
CommercialUnit
)
Mid-level-ontology.kif 8191-8191
PlaceOfCommerce
は
CommercialBuilding
+
CommercialUnit
に
exhaustively
partitioned
(
partition
PoliticoEconomicAttribute
FormOfGovernment
EconomicAttribute
)
Mid-level-ontology.kif 21108-21108
PoliticoEconomicAttribute
は
FormOfGovernment
+
EconomicAttribute
に
exhaustively
partitioned
(
partition
PostSecondarySchool
JuniorCollege
College
University
)
Mid-level-ontology.kif 18110-18110
PostSecondarySchool
は
JuniorCollege
,
College
, +
University
に
exhaustively
partitioned
(
partition
ProteinStructuralAttribute
ProteinStructuralAttributeComposite
ProteinStructuralAttributePrimitive
)
VirusProteinAndCellPart.kif 319-319
ProteinStructuralAttribute
は
ProteinStructuralAttributeComposite
+
ProteinStructuralAttributePrimitive
に
exhaustively
partitioned
(
partition
PsychologicalAttribute
StateOfMind
TraitAttribute
)
Merge.kif 18445-18445
心理的属性
は
精神状態
+
特性属性
に
exhaustively
partitioned
(
partition
PureSubstance
CompoundSubstance
ElementalSubstance
)
Merge.kif 1095-1095
純物質
は
合成物質
+
単体
に
exhaustively
partitioned
(
partition
Quantity
FiniteQuantity
InfiniteQuantity
)
Mid-level-ontology.kif 3335-3335
量
は
FiniteQuantity
+
InfiniteQuantity
に
exhaustively
partitioned
(
partition
QuantityChange
Increasing
Decreasing
)
Merge.kif 11011-11011
数量変更
は
増加
+
減少
に
exhaustively
partitioned
(
partition
RadioactiveWeapon
NuclearWeapon
RadiologicalWeapon
)
WMD.kif 648-648
RadioactiveWeapon
は
NuclearWeapon
+
RadiologicalWeapon
に
exhaustively
partitioned
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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