"ComputedAstronomicalRadioSource" （インタープリタタイプ）

計算から導き出される天文電波源．

詳細

使用可能な形式

  • 天文電波源の任意の自然言語名，あるいはこれを返す計算．

制約条件の指定

解釈

例題

例  (4)

天文電波源を解釈する：

計算から導き出された天文電波源を解釈する：

あるクラスの天文電波源に限る：

特性で制約を付ける：