| (partition RealNumber RationalNumber IrrationalNumber) |
Merge.kif 1893-1893 |
Real number is exhaustively partitioned into rational number and irrational number |
| (partition Region GeographicArea SpaceRegion) |
Mid-level-ontology.kif 9026-9026 |
Region is exhaustively partitioned into geographic area and space region |
| (partition Relation Predicate Function) |
Merge.kif 2162-2162 |
Relation is exhaustively partitioned into predicate and function |
| (partition Relation TotalValuedRelation PartialValuedRelation) |
Merge.kif 2163-2163 |
Relation is exhaustively partitioned into total valued relation and partial valued relation |
| (partition Rock Boulder Cobble Pebble) |
Geography.kif 7257-7257 |
Rock is exhaustively partitioned into boulder, cobble, and pebble |
| (partition RollingStock PassengerRailcar FreightCar) |
Transportation.kif 2140-2140 |
Rolling stock is exhaustively partitioned into passenger railcar and freight car |
| (partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) |
Mid-level-ontology.kif 19132-19132 |
Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season |
| (partition SetOrClass Set Class) |
Merge.kif 2129-2129 |
Set or class is exhaustively partitioned into set and class |
| (partition SpaceRegion AtmosphericRegion OuterSpaceRegion) |
Mid-level-ontology.kif 9069-9069 |
Space region is exhaustively partitioned into atmospheric region and outer space region |
| (partition Substance PureSubstance Mixture) |
Merge.kif 1042-1042 |
Substance is exhaustively partitioned into pure substance and mixture |
| (partition Substance SyntheticSubstance NaturalSubstance) |
Merge.kif 1043-1043 |
Substance is exhaustively partitioned into synthetic substance and natural substance |
| (partition TimePosition TimeInterval TimePoint) |
Merge.kif 2079-2079 |
Time position is exhaustively partitioned into time interval and time point |
| (partition TwoDimensionalAngle RightAngle ObliqueAngle AcuteAngle) |
Mid-level-ontology.kif 4866-4866 |
Two dimensional angle is exhaustively partitioned into right angle, oblique angle, and acute angle |
| (partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) |
Merge.kif 17796-17796 |
Two dimensional figure is exhaustively partitioned into open two dimensional figure and closed two dimensional figure |
| (partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) |
Merge.kif 6223-6223 |
Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure |
| (partition Virus DNAVirus RNAVirus) |
VirusProteinAndCellPart.kif 40-40 |
Virus is exhaustively partitioned into DNA virus and RNA virus |
| (partition Virus UnenvelopedVirus EnvelopedVirus) |
VirusProteinAndCellPart.kif 42-42 |
Virus is exhaustively partitioned into unenveloped virus and enveloped virus |
| (partition Virus VirusDoubleStranded VirusSingleStranded) |
VirusProteinAndCellPart.kif 41-41 |
Virus is exhaustively partitioned into virus double stranded and virus single stranded |
| (partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) |
WMD.kif 673-673 |
Weapon of mass destruction is exhaustively partitioned into radioactive weapon and biochemical weapon |
| (partition Wicker PlantWicker SyntheticWicker) |
Mid-level-ontology.kif 4590-4590 |
Wicker is exhaustively partitioned into plant wicker and synthetic wicker |
| (partition Word Noun Verb Adjective Adverb ParticleWord) |
Merge.kif 15249-15249 |
Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word |
