(rangeSubclass ShipBerthingFn ShipBerthing)	Transportation.kif 3025-3025	船靠泊 的所得值 是 船靠泊 的 subclass
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 422-422	开始 的所得值 是 有意图过程 的 subclass
(rangeSubclass StopFn IntentionalProcess)	Mid-level-ontology.kif 436-436	停 的所得值 是 有意图过程 的 subclass
(rangeSubclass SupremeCourtFn SupremeCourt)	Government.kif 2180-2180	最高法院 的所得值 是 最高法院 的 subclass
(rangeSubclass TemporalCompositionFn TimeInterval)	Merge.kif 9397-9397	时间分拆函数 的所得值 是 时距 的 subclass
(rangeSubclass TransitFn Translocation)	Transportation.kif 1604-1604	过境 的所得值 是 易位 的 subclass
(rangeSubclass TransportationFn Transportation)	Transportation.kif 1567-1567	运输 的所得值 是 运输 的 subclass
(rangeSubclass TripFn Transportation)	Transportation.kif 1584-1584	旅 的所得值 是 运输 的 subclass
(rangeSubclass VotingFn Voting)	Government.kif 1730-1730	表决 的所得值 是 表决 的 subclass
(rangeSubclass WeekFn Week)	Merge.kif 8974-8974	WeekFn 的所得值 是 星期 的 subclass
(rangeSubclass YearFn Year)	Merge.kif 8578-8578	年函数 的所得值 是 年 的 subclass

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners