rangeSubclass
(
rangeSubclass
ShipBerthingFn
ShipBerthing
)
Transportation.kif 3025-3025
The values returned by
ship berthing
are
subclasses
of
ship berthing
(
rangeSubclass
StartFn
IntentionalProcess
)
Mid-level-ontology.kif 422-422
The values returned by
start
are
subclasses
of
intentional process
(
rangeSubclass
StopFn
IntentionalProcess
)
Mid-level-ontology.kif 436-436
The values returned by
stop
are
subclasses
of
intentional process
(
rangeSubclass
SupremeCourtFn
SupremeCourt
)
Government.kif 2180-2180
The values returned by
supreme court
are
subclasses
of
supreme court
(
rangeSubclass
TemporalCompositionFn
TimeInterval
)
Merge.kif 9375-9375
The values returned by
temporal composition
are
subclasses
of
time interval
(
rangeSubclass
TransitFn
Translocation
)
Transportation.kif 1604-1604
The values returned by
transit
are
subclasses
of
translocation
(
rangeSubclass
TransportationFn
Transportation
)
Transportation.kif 1567-1567
The values returned by
transportation
are
subclasses
of
transportation
(
rangeSubclass
TripFn
Transportation
)
Transportation.kif 1584-1584
The values returned by
trip
are
subclasses
of
transportation
(
rangeSubclass
VotingFn
Voting
)
Government.kif 1730-1730
The values returned by
voting
are
subclasses
of
voting
(
rangeSubclass
WeekFn
Week
)
Merge.kif 8952-8952
The values returned by
week fn
are
subclasses
of
week
(
rangeSubclass
YearFn
Year
)
Merge.kif 8556-8556
The values returned by
year
are
subclasses
of
year
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