| (partition RealNumber RationalNumber IrrationalNumber) |
Merge.kif 1893-1893 |
RealNumber wird vollstaendig in RationalNumber und IrrationalNumber verteilt |
| (partition Region GeographicArea SpaceRegion) |
Mid-level-ontology.kif 9026-9026 |
Region wird vollstaendig in GeographicArea und SpaceRegion verteilt |
| (partition Relation Predicate Function) |
Merge.kif 2162-2162 |
Relation wird vollstaendig in Predicate und Function verteilt |
| (partition Relation TotalValuedRelation PartialValuedRelation) |
Merge.kif 2163-2163 |
Relation wird vollstaendig in TotalValuedRelation und PartialValuedRelation verteilt |
| (partition Rock Boulder Cobble Pebble) |
Geography.kif 7257-7257 |
Rock wird vollstaendig in Boulder, Cobble, und Pebble verteilt |
| (partition RollingStock PassengerRailcar FreightCar) |
Transportation.kif 2140-2140 |
RollingStock wird vollstaendig in PassengerRailcar und FreightCar verteilt |
| (partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) |
Mid-level-ontology.kif 19132-19132 |
SeasonOfYear wird vollstaendig in WinterSeason, SpringSeason, SummerSeason, und FallSeason verteilt |
| (partition SetOrClass Set Class) |
Merge.kif 2129-2129 |
SetOrClass wird vollstaendig in Set und Class verteilt |
| (partition SpaceRegion AtmosphericRegion OuterSpaceRegion) |
Mid-level-ontology.kif 9069-9069 |
SpaceRegion wird vollstaendig in AtmosphericRegion und OuterSpaceRegion verteilt |
| (partition Substance PureSubstance Mixture) |
Merge.kif 1042-1042 |
Substance wird vollstaendig in PureSubstance und Mixture verteilt |
| (partition Substance SyntheticSubstance NaturalSubstance) |
Merge.kif 1043-1043 |
Substance wird vollstaendig in SyntheticSubstance und NaturalSubstance verteilt |
| (partition TimePosition TimeInterval TimePoint) |
Merge.kif 2079-2079 |
TimePosition wird vollstaendig in TimeInterval und TimePoint verteilt |
| (partition TwoDimensionalAngle RightAngle ObliqueAngle AcuteAngle) |
Mid-level-ontology.kif 4866-4866 |
TwoDimensionalAngle wird vollstaendig in RightAngle, ObliqueAngle, und AcuteAngle verteilt |
| (partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) |
Merge.kif 17796-17796 |
TwoDimensionalFigure wird vollstaendig in OpenTwoDimensionalFigure und ClosedTwoDimensionalFigure verteilt |
| (partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) |
Merge.kif 6223-6223 |
UnitOfMeasure wird vollstaendig in CompositeUnitOfMeasure und NonCompositeUnitOfMeasure verteilt |
| (partition Virus DNAVirus RNAVirus) |
VirusProteinAndCellPart.kif 40-40 |
Virus wird vollstaendig in DNAVirus und RNAVirus verteilt |
| (partition Virus UnenvelopedVirus EnvelopedVirus) |
VirusProteinAndCellPart.kif 42-42 |
Virus wird vollstaendig in UnenvelopedVirus und EnvelopedVirus verteilt |
| (partition Virus VirusDoubleStranded VirusSingleStranded) |
VirusProteinAndCellPart.kif 41-41 |
Virus wird vollstaendig in VirusDoubleStranded und VirusSingleStranded verteilt |
| (partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) |
WMD.kif 673-673 |
WeaponOfMassDestruction wird vollstaendig in RadioactiveWeapon und BiochemicalWeapon verteilt |
| (partition Wicker PlantWicker SyntheticWicker) |
Mid-level-ontology.kif 4590-4590 |
Wicker wird vollstaendig in PlantWicker und SyntheticWicker verteilt |
| (partition Word Noun Verb Adjective Adverb ParticleWord) |
Merge.kif 15249-15249 |
Word wird vollstaendig in Noun, Verb, Adjective, Adverb, und ParticleWord verteilt |
