| (partition RealNumber RationalNumber IrrationalNumber) |
Merge.kif 1893-1893 |
実数 は 有理数 + 無理数 に exhaustively partitioned %n |
| (partition Region GeographicArea SpaceRegion) |
Mid-level-ontology.kif 9026-9026 |
地域 は 地理的地域 + SpaceRegion に exhaustively partitioned %n |
| (partition Relation Predicate Function) |
Merge.kif 2162-2162 |
関係 は 述語 + 関数 に exhaustively partitioned %n |
| (partition Relation TotalValuedRelation PartialValuedRelation) |
Merge.kif 2163-2163 |
関係 は 合計値関係 + 部分的価値関係 に exhaustively partitioned %n |
| (partition Rock Boulder Cobble Pebble) |
Geography.kif 7257-7257 |
Rock は Boulder, Cobble, + Pebble に exhaustively partitioned %n |
| (partition RollingStock PassengerRailcar FreightCar) |
Transportation.kif 2140-2140 |
RollingStock は PassengerRailcar + FreightCar に exhaustively partitioned %n |
| (partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) |
Mid-level-ontology.kif 19132-19132 |
SeasonOfYear は WinterSeason, SpringSeason, SummerSeason, + FallSeason に exhaustively partitioned %n |
| (partition SetOrClass Set Class) |
Merge.kif 2129-2129 |
同じセットまたはクラス は セット + クラス に exhaustively partitioned %n |
| (partition SpaceRegion AtmosphericRegion OuterSpaceRegion) |
Mid-level-ontology.kif 9069-9069 |
SpaceRegion は AtmosphericRegion + OuterSpaceRegion に exhaustively partitioned %n |
| (partition Substance PureSubstance Mixture) |
Merge.kif 1042-1042 |
物質 は 純物質 + 混合物 に exhaustively partitioned %n |
| (partition Substance SyntheticSubstance NaturalSubstance) |
Merge.kif 1043-1043 |
物質 は SyntheticSubstance + NaturalSubstance に exhaustively partitioned %n |
| (partition TimePosition TimeInterval TimePoint) |
Merge.kif 2079-2079 |
時間位置 は 時間間隔 + 時点 に exhaustively partitioned %n |
| (partition TwoDimensionalAngle RightAngle ObliqueAngle AcuteAngle) |
Mid-level-ontology.kif 4866-4866 |
TwoDimensionalAngle は RightAngle, ObliqueAngle, + AcuteAngle に exhaustively partitioned %n |
| (partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) |
Merge.kif 17796-17796 |
TwoDimensionalFigure は OpenTwoDimensionalFigure + ClosedTwoDimensionalFigure に exhaustively partitioned %n |
| (partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) |
Merge.kif 6223-6223 |
測定単位 は CompositeUnitOfMeasure + NonCompositeUnitOfMeasure に exhaustively partitioned %n |
| (partition Virus DNAVirus RNAVirus) |
VirusProteinAndCellPart.kif 40-40 |
ウイルス は DNAVirus + RNAVirus に exhaustively partitioned %n |
| (partition Virus UnenvelopedVirus EnvelopedVirus) |
VirusProteinAndCellPart.kif 42-42 |
ウイルス は UnenvelopedVirus + EnvelopedVirus に exhaustively partitioned %n |
| (partition Virus VirusDoubleStranded VirusSingleStranded) |
VirusProteinAndCellPart.kif 41-41 |
ウイルス は VirusDoubleStranded + VirusSingleStranded に exhaustively partitioned %n |
| (partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) |
WMD.kif 673-673 |
WeaponOfMassDestruction は RadioactiveWeapon + BiochemicalWeapon に exhaustively partitioned %n |
| (partition Wicker PlantWicker SyntheticWicker) |
Mid-level-ontology.kif 4590-4590 |
Wicker は PlantWicker + SyntheticWicker に exhaustively partitioned %n |
| (partition Word Noun Verb Adjective Adverb ParticleWord) |
Merge.kif 15249-15249 |
単語 は 名詞, 動詞, 形容詞, 副詞, + ParticleWord に exhaustively partitioned %n |
