| (partition RealNumber RationalNumber IrrationalNumber) |
Merge.kif 1893-1893 |
Nombre r�el est compl�tement d�compos� en nombre rationnel + nombre irrationnel |
| (partition Region GeographicArea SpaceRegion) |
Mid-level-ontology.kif 9026-9026 |
R�gion est compl�tement d�compos� en secteur g�ographique + SpaceRegion |
| (partition Relation Predicate Function) |
Merge.kif 2162-2162 |
Relation est compl�tement d�compos� en predicat + function |
| (partition Relation TotalValuedRelation PartialValuedRelation) |
Merge.kif 2163-2163 |
Relation est compl�tement d�compos� en relation total + relation partielle |
| (partition Rock Boulder Cobble Pebble) |
Geography.kif 7257-7257 |
Rock est compl�tement d�compos� en Boulder, Cobble, + Pebble |
| (partition RollingStock PassengerRailcar FreightCar) |
Transportation.kif 2140-2140 |
RollingStock est compl�tement d�compos� en PassengerRailcar + FreightCar |
| (partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) |
Mid-level-ontology.kif 19132-19132 |
SeasonOfYear est compl�tement d�compos� en WinterSeason, SpringSeason, SummerSeason, + FallSeason |
| (partition SetOrClass Set Class) |
Merge.kif 2129-2129 |
Ensemble ou classe est compl�tement d�compos� en ensemble + classe |
| (partition SpaceRegion AtmosphericRegion OuterSpaceRegion) |
Mid-level-ontology.kif 9069-9069 |
SpaceRegion est compl�tement d�compos� en AtmosphericRegion + OuterSpaceRegion |
| (partition Substance PureSubstance Mixture) |
Merge.kif 1042-1042 |
Substance est compl�tement d�compos� en substance pure + mixture |
| (partition Substance SyntheticSubstance NaturalSubstance) |
Merge.kif 1043-1043 |
Substance est compl�tement d�compos� en SyntheticSubstance + NaturalSubstance |
| (partition TimePosition TimeInterval TimePoint) |
Merge.kif 2079-2079 |
Position temporel est compl�tement d�compos� en interval temporel + point temporel |
| (partition TwoDimensionalAngle RightAngle ObliqueAngle AcuteAngle) |
Mid-level-ontology.kif 4866-4866 |
TwoDimensionalAngle est compl�tement d�compos� en RightAngle, ObliqueAngle, + AcuteAngle |
| (partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) |
Merge.kif 17796-17796 |
TwoDimensionalFigure est compl�tement d�compos� en OpenTwoDimensionalFigure + ClosedTwoDimensionalFigure |
| (partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) |
Merge.kif 6223-6223 |
Unit� de mesure est compl�tement d�compos� en CompositeUnitOfMeasure + NonCompositeUnitOfMeasure |
| (partition Virus DNAVirus RNAVirus) |
VirusProteinAndCellPart.kif 40-40 |
Virus est compl�tement d�compos� en DNAVirus + RNAVirus |
| (partition Virus UnenvelopedVirus EnvelopedVirus) |
VirusProteinAndCellPart.kif 42-42 |
Virus est compl�tement d�compos� en UnenvelopedVirus + EnvelopedVirus |
| (partition Virus VirusDoubleStranded VirusSingleStranded) |
VirusProteinAndCellPart.kif 41-41 |
Virus est compl�tement d�compos� en VirusDoubleStranded + VirusSingleStranded |
| (partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) |
WMD.kif 673-673 |
WeaponOfMassDestruction est compl�tement d�compos� en RadioactiveWeapon + BiochemicalWeapon |
| (partition Wicker PlantWicker SyntheticWicker) |
Mid-level-ontology.kif 4590-4590 |
Wicker est compl�tement d�compos� en PlantWicker + SyntheticWicker |
| (partition Word Noun Verb Adjective Adverb ParticleWord) |
Merge.kif 15249-15249 |
Mot est compl�tement d�compos� en nom, verbe, adjectif, adverbe, + ParticleWord |
