rangeSubclass |
(rangeSubclass ShipBerthingFn ShipBerthing) | Transportation.kif 3025-3025 | |
(rangeSubclass StartFn IntentionalProcess) | Mid-level-ontology.kif 422-422 | |
(rangeSubclass StopFn IntentionalProcess) | Mid-level-ontology.kif 436-436 | |
(rangeSubclass SupremeCourtFn SupremeCourt) | Government.kif 2180-2180 | |
(rangeSubclass TemporalCompositionFn TimeInterval) | Merge.kif 9375-9375 | |
(rangeSubclass TransitFn Translocation) | Transportation.kif 1604-1604 | |
(rangeSubclass TransportationFn Transportation) | Transportation.kif 1567-1567 | |
(rangeSubclass TripFn Transportation) | Transportation.kif 1584-1584 | |
(rangeSubclass VotingFn Voting) | Government.kif 1730-1730 | |
(rangeSubclass WeekFn Week) | Merge.kif 8952-8952 | |
(rangeSubclass YearFn Year) | Merge.kif 8556-8556 |