partition
(
partition
HumanLanguage
NaturalLanguage
ConstructedLanguage
)
Merge.kif 1457-1457
Human language
is
exhaustively
partitioned
into
natural language
and
constructed language
(
partition
HumanLanguage
SpokenHumanLanguage
ManualHumanLanguage
)
Merge.kif 1458-1458
Human language
is
exhaustively
partitioned
into
spoken human language
and
manual human language
(
partition
Integer
NegativeInteger
NonnegativeInteger
)
Merge.kif 1967-1967
Integer
is
exhaustively
partitioned
into
negative integer
and
nonnegative integer
(
partition
Integer
OddInteger
EvenInteger
)
Merge.kif 1966-1966
Integer
is
exhaustively
partitioned
into
odd integer
and
even integer
(
partition
LiquidMixture
Solution
Suspension
)
Merge.kif 14863-14863
Liquid mixture
is
exhaustively
partitioned
into
solution
and
suspension
(
partition
LowPressureWeatherSystem
HighPressureWeatherSystem
)
Weather.kif 529-529
Low pressure weather system
is
exhaustively
partitioned
into
high pressure weather system
(
partition
MagneticField
MagneticNorth
MagneticSouth
)
Mid-level-ontology.kif 17160-17160
Magnetic field
is
exhaustively
partitioned
into
MagneticNorth
and
MagneticSouth
(
partition
MakingMusic
MakingInstrumentalMusic
MakingVocalMusic
)
Merge.kif 13857-13857
Making music
is
exhaustively
partitioned
into
instrumental music
and
singing
(
partition
NarrativeText
FictionalText
HistoricalAccount
)
Mid-level-ontology.kif 16298-16298
Narrative text
is
exhaustively
partitioned
into
fictional text
and
historical account
(
partition
Number
RealNumber
ImaginaryNumber
ComplexNumber
)
Merge.kif 1835-1835
Number
is
exhaustively
partitioned
into
real number
,
imaginary number
, and
complex number
(
partition
OrganicObject
Organism
AnatomicalStructure
)
Merge.kif 14501-14501
Organic object
is
exhaustively
partitioned
into
organism
and
anatomical structure
(
partition
Organism
Animal
Plant
Fungus
Microorganism
)
Merge.kif 14510-14510
Organism
is
exhaustively
partitioned
into
animal
,
plant
,
fungus
, and
microorganism
(
partition
ParticulateMatter
CoarseParticulateMatter
FineParticulateMatter
)
Geography.kif 7742-7742
PM
is
exhaustively
partitioned
into
PM10
and
PM2.5
(
partition
Phalanx
ToeBone
FingerBone
)
Anatomy.kif 1321-1321
Phalanx
is
exhaustively
partitioned
into
toe bone
and
finger bone
(
partition
Physical
Object
Process
)
Merge.kif 826-826
Physical
is
exhaustively
partitioned
into
object
and
process
(
partition
PhysicalQuantity
ConstantQuantity
FunctionQuantity
)
Merge.kif 2037-2037
Physical quantity
is
exhaustively
partitioned
into
constant quantity
and
function quantity
(
partition
PlaceOfCommerce
CommercialBuilding
CommercialUnit
)
Mid-level-ontology.kif 8191-8191
Place of commerce
is
exhaustively
partitioned
into
commercial building
and
commercial unit
(
partition
PoliticoEconomicAttribute
FormOfGovernment
EconomicAttribute
)
Mid-level-ontology.kif 21108-21108
Politico economic attribute
is
exhaustively
partitioned
into
form of government
and
economic attribute
(
partition
PostSecondarySchool
JuniorCollege
College
University
)
Mid-level-ontology.kif 18110-18110
Post secondary school
is
exhaustively
partitioned
into
junior college
,
college
, and
university
(
partition
ProteinStructuralAttribute
ProteinStructuralAttributeComposite
ProteinStructuralAttributePrimitive
)
VirusProteinAndCellPart.kif 319-319
Protein structural attribute
is
exhaustively
partitioned
into
protein structural attribute composite
and
protein structural attribute primitive
(
partition
PsychologicalAttribute
StateOfMind
TraitAttribute
)
Merge.kif 18445-18445
Psychological attribute
is
exhaustively
partitioned
into
state of mind
and
trait attribute
(
partition
PureSubstance
CompoundSubstance
ElementalSubstance
)
Merge.kif 1095-1095
Pure substance
is
exhaustively
partitioned
into
compound substance
and
elemental substance
(
partition
Quantity
FiniteQuantity
InfiniteQuantity
)
Mid-level-ontology.kif 3335-3335
Quantity
is
exhaustively
partitioned
into
finite quantity
and
infinite quantity
(
partition
QuantityChange
Increasing
Decreasing
)
Merge.kif 11011-11011
Quantity change
is
exhaustively
partitioned
into
increasing
and
decreasing
(
partition
RadioactiveWeapon
NuclearWeapon
RadiologicalWeapon
)
WMD.kif 648-648
Radioactive weapon
is
exhaustively
partitioned
into
nuclear weapon
and
radiological weapon
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