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