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
(
subclass
ValetParking
ServiceProcess
)
TransportDetail.kif 143-143
(
subclass
TransportationService
ServiceProcess
)
Transportation.kif 3335-3335
(
subclass
CommercialService
ServiceProcess
)
Merge.kif 11875-11875
(
subclass
LaundryService
ServiceProcess
)
Hotel.kif 1780-1780
(
subclass
DryCleaningService
ServiceProcess
)
Hotel.kif 1804-1804
(
subclass
ValetLaundryService
ServiceProcess
)
Hotel.kif 1821-1821
(
subclass
IroningService
ServiceProcess
)
Hotel.kif 1850-1850
(
subclass
ChildCareService
ServiceProcess
)
Hotel.kif 1866-1866
(
subclass
RoomCleaningService
ServiceProcess
)
Hotel.kif 1918-1918
(
subclass
TurndownService
ServiceProcess
)
Hotel.kif 1948-1948
(
subclass
RoomService
ServiceProcess
)
Hotel.kif 1964-1964
(
subclass
WakeUpService
ServiceProcess
)
Hotel.kif 1989-1989
(
subclass
TourService
ServiceProcess
)
Hotel.kif 2082-2082
(
subclass
CurrencyExchangeService
ServiceProcess
)
Hotel.kif 2096-2096
(
subclass
PhotocopyingService
ServiceProcess
)
Hotel.kif 2126-2126
(
subclass
CheckInService
ServiceProcess
)
Hotel.kif 2148-2148
(
subclass
CheckOutService
ServiceProcess
)
Hotel.kif 2181-2181
(
subclass
ExecutiveService
ServiceProcess
)
Hotel.kif 2240-2240
(
subclass
SafetyDepositService
ServiceProcess
)
Hotel.kif 2255-2255
(
subclass
MedicalService
ServiceProcess
)
Hotel.kif 2275-2275
(
subclass
SecretarialService
ServiceProcess
)
Hotel.kif 2294-2294
(
subclass
CateringService
ServiceProcess
)
Dining.kif 571-571
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