partition
(
partition
HumanLanguage
NaturalLanguage
ConstructedLanguage
)
Merge.kif 1447-1447
人間の言語
は
自然言語
+
人工言語
に
exhaustively
partitioned
%n
(
partition
HumanLanguage
SpokenHumanLanguage
ManualHumanLanguage
)
Merge.kif 1448-1448
人間の言語
は
SpokenHumanLanguage
+
ManualHumanLanguage
に
exhaustively
partitioned
%n
(
partition
Integer
NegativeInteger
NonnegativeInteger
)
Merge.kif 1956-1956
整数
は
負の整数
+
非負整数
に
exhaustively
partitioned
%n
(
partition
Integer
OddInteger
EvenInteger
)
Merge.kif 1955-1955
整数
は
奇数の整数
+
偶数の整数
に
exhaustively
partitioned
%n
(
partition
LiquidMixture
Solution
Suspension
)
Merge.kif 14710-14710
LiquidMixture
は
溶液
+
Suspension
に
exhaustively
partitioned
%n
(
partition
LowPressureWeatherSystem
HighPressureWeatherSystem
)
Weather.kif 541-541
LowPressureWeatherSystem
は
HighPressureWeatherSystem
に
exhaustively
partitioned
%n
(
partition
MakingMusic
MakingInstrumentalMusic
MakingVocalMusic
)
Merge.kif 13703-13703
MakingMusic
は
MakingInstrumentalMusic
+
MakingVocalMusic
に
exhaustively
partitioned
%n
(
partition
NarrativeText
FictionalText
HistoricalAccount
)
Mid-level-ontology.kif 14925-14925
NarrativeText
は
FictionalText
+
HistoricalAccount
に
exhaustively
partitioned
%n
(
partition
Number
RealNumber
ImaginaryNumber
ComplexNumber
)
Merge.kif 1825-1825
数
は
実数
,
虚数
, +
複素数
に
exhaustively
partitioned
%n
(
partition
OrganicObject
Organism
AnatomicalStructure
)
Merge.kif 14348-14348
有機物
は
物
+
解剖学的構造
に
exhaustively
partitioned
%n
(
partition
Organism
Animal
Plant
Fungus
Microorganism
)
Merge.kif 14357-14357
物
は
動物
,
植物
,
菌類
, +
微生物
に
exhaustively
partitioned
%n
(
partition
ParticulateMatter
CoarseParticulateMatter
FineParticulateMatter
)
Geography.kif 7405-7405
ParticulateMatter
は
CoarseParticulateMatter
+
FineParticulateMatter
に
exhaustively
partitioned
%n
(
partition
Phalanx
ToeBone
FingerBone
)
Anatomy.kif 1286-1286
Phalanx
は
ToeBone
+
FingerBone
に
exhaustively
partitioned
%n
(
partition
Physical
Object
Process
)
Merge.kif 833-833
物理
は
オブジェクト
+
工程
に
exhaustively
partitioned
%n
(
partition
PhysicalQuantity
ConstantQuantity
FunctionQuantity
)
Merge.kif 2026-2026
物理量
は
一定量
+
関数量
に
exhaustively
partitioned
%n
(
partition
PlaceOfCommerce
CommercialBuilding
CommercialUnit
)
Mid-level-ontology.kif 7030-7030
PlaceOfCommerce
は
CommercialBuilding
+
CommercialUnit
に
exhaustively
partitioned
%n
(
partition
PoliticoEconomicAttribute
FormOfGovernment
EconomicAttribute
)
Mid-level-ontology.kif 19537-19537
PoliticoEconomicAttribute
は
FormOfGovernment
+
EconomicAttribute
に
exhaustively
partitioned
%n
(
partition
PostSecondarySchool
JuniorCollege
College
University
)
Mid-level-ontology.kif 16723-16723
PostSecondarySchool
は
JuniorCollege
,
College
, +
University
に
exhaustively
partitioned
%n
(
partition
ProteinStructuralAttribute
ProteinStructuralAttributeComposite
ProteinStructuralAttributePrimitive
)
VirusProteinAndCellPart.kif 314-314
ProteinStructuralAttribute
は
ProteinStructuralAttributeComposite
+
ProteinStructuralAttributePrimitive
に
exhaustively
partitioned
%n
(
partition
PsychologicalAttribute
StateOfMind
TraitAttribute
)
Merge.kif 18258-18258
心理的属性
は
精神状態
+
特性属性
に
exhaustively
partitioned
%n
(
partition
PureSubstance
CompoundSubstance
ElementalSubstance
)
Merge.kif 1085-1085
純物質
は
合成物質
+
単体
に
exhaustively
partitioned
%n
(
partition
Quantity
FiniteQuantity
InfiniteQuantity
)
Mid-level-ontology.kif 2872-2872
量
は
FiniteQuantity
+
InfiniteQuantity
に
exhaustively
partitioned
%n
(
partition
QuantityChange
Increasing
Decreasing
)
Merge.kif 10873-10873
数量変更
は
増加
+
減少
に
exhaustively
partitioned
%n
(
partition
RadioactiveWeapon
NuclearWeapon
RadiologicalWeapon
)
WMD.kif 648-648
RadioactiveWeapon
は
NuclearWeapon
+
RadiologicalWeapon
に
exhaustively
partitioned
%n
(
partition
RealNumber
NegativeRealNumber
NonnegativeRealNumber
)
Merge.kif 1892-1892
実数
は
負の実数
+
非負実数
に
exhaustively
partitioned
%n
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