(rangeSubclass ShipBerthingFn ShipBerthing)	Transportation.kif 3025-3025	ShipBerthingFn が返す値は ShipBerthing の subclasses では %n
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 422-422	StartFn が返す値は 意図的なプロセス の subclasses では %n
(rangeSubclass StopFn IntentionalProcess)	Mid-level-ontology.kif 436-436	StopFn が返す値は 意図的なプロセス の subclasses では %n
(rangeSubclass SupremeCourtFn SupremeCourt)	Government.kif 2180-2180	SupremeCourtFn が返す値は SupremeCourt の subclasses では %n
(rangeSubclass TemporalCompositionFn TimeInterval)	Merge.kif 9375-9375	TemporalCompositionFn が返す値は 時間間隔 の subclasses では %n
(rangeSubclass TransitFn Translocation)	Transportation.kif 1604-1604	TransitFn が返す値は Translocation の subclasses では %n
(rangeSubclass TransportationFn Transportation)	Transportation.kif 1567-1567	TransportationFn が返す値は 交通手段 の subclasses では %n
(rangeSubclass TripFn Transportation)	Transportation.kif 1584-1584	TripFn が返す値は 交通手段 の subclasses では %n
(rangeSubclass VotingFn Voting)	Government.kif 1730-1730	VotingFn が返す値は Voting の subclasses では %n
(rangeSubclass WeekFn Week)	Merge.kif 8952-8952	WeekFn が返す値は 週 の subclasses では %n
(rangeSubclass YearFn Year)	Merge.kif 8556-8556	YearFn が返す値は 年 の subclasses では %n

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