Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
ServiceProcess
SocialInteraction
)
Merge.kif 11864-11864
Service
is a
subclass
of
social interaction
(
subclass
ValetParking
ServiceProcess
)
TransportDetail.kif 143-143
Valet parking
is a
subclass
of
service
(
subclass
TransportationService
ServiceProcess
)
Transportation.kif 3335-3335
Transportation service
is a
subclass
of
service
(
subclass
CommercialService
ServiceProcess
)
Merge.kif 11875-11875
Commercial service
is a
subclass
of
service
(
subclass
LaundryService
ServiceProcess
)
Hotel.kif 1780-1780
Laundry service
is a
subclass
of
service
(
subclass
DryCleaningService
ServiceProcess
)
Hotel.kif 1804-1804
Dry-clean
is a
subclass
of
service
(
subclass
ValetLaundryService
ServiceProcess
)
Hotel.kif 1821-1821
Valet laundry
is a
subclass
of
service
(
subclass
IroningService
ServiceProcess
)
Hotel.kif 1850-1850
Ironing service
is a
subclass
of
service
(
subclass
ChildCareService
ServiceProcess
)
Hotel.kif 1866-1866
Child-care service
is a
subclass
of
service
(
subclass
RoomCleaningService
ServiceProcess
)
Hotel.kif 1918-1918
Service
is a
subclass
of
service
(
subclass
TurndownService
ServiceProcess
)
Hotel.kif 1948-1948
Turndown service
is a
subclass
of
service
(
subclass
RoomService
ServiceProcess
)
Hotel.kif 1964-1964
Room service
is a
subclass
of
service
(
subclass
WakeUpService
ServiceProcess
)
Hotel.kif 1989-1989
Wake-up service
is a
subclass
of
service
(
subclass
TourService
ServiceProcess
)
Hotel.kif 2082-2082
Tour service
is a
subclass
of
service
(
subclass
CurrencyExchangeService
ServiceProcess
)
Hotel.kif 2096-2096
Currency exchange
is a
subclass
of
service
(
subclass
PhotocopyingService
ServiceProcess
)
Hotel.kif 2126-2126
Photocopying service
is a
subclass
of
service
(
subclass
CheckInService
ServiceProcess
)
Hotel.kif 2148-2148
Check-in service
is a
subclass
of
service
(
subclass
CheckOutService
ServiceProcess
)
Hotel.kif 2181-2181
Check-out service
is a
subclass
of
service
(
subclass
ExecutiveService
ServiceProcess
)
Hotel.kif 2240-2240
Executive service
is a
subclass
of
service
(
subclass
SafetyDepositService
ServiceProcess
)
Hotel.kif 2255-2255
Safety deposit box
is a
subclass
of
service
(
subclass
MedicalService
ServiceProcess
)
Hotel.kif 2275-2275
Medical service
is a
subclass
of
service
(
subclass
SecretarialService
ServiceProcess
)
Hotel.kif 2294-2294
Secretarial service
is a
subclass
of
service
(
subclass
CateringService
ServiceProcess
)
Dining.kif 571-571
Catering
is a
subclass
of
service
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
