Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
serviceProvider
Sigma KEE - serviceProvider
serviceProvider
appearance as argument number 1
(
documentation
serviceProvider
EnglishLanguage
"(
serviceProvider
?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT.")
Mid-level-ontology.kif 22881-22883
(
domain
serviceProvider
1
ServiceProcess
)
Mid-level-ontology.kif 22877-22877
服务供应者
的 1 数量 是
服务
的
instance
(
domain
serviceProvider
2
CognitiveAgent
)
Mid-level-ontology.kif 22878-22878
服务供应者
的 2 数量 是
有认知的主事
的
instance
(
instance
serviceProvider
AsymmetricRelation
)
Mid-level-ontology.kif 22875-22875
服务供应者
是
非对称关系
的
instance
(
instance
serviceProvider
BinaryPredicate
)
Mid-level-ontology.kif 22874-22874
服务供应者
是
二元谓语
的
instance
(
instance
serviceProvider
CaseRole
)
Mid-level-ontology.kif 22880-22880
服务供应者
是
格角色
的
instance
(
instance
serviceProvider
IntentionalRelation
)
Mid-level-ontology.kif 22876-22876
服务供应者
是
有意图的关系
的
instance
(
subrelation
serviceProvider
agent
)
Mid-level-ontology.kif 22879-22879
服务供应者
是
主事
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
serviceProvider
"%2 %n{doesn't} 在 %1 中提供服务")
chinese_format.kif 233-233
(
format
EnglishLanguage
serviceProvider
"%2 %n{doesn't} provide%p{s} a service during %1")
english_format.kif 234-234
(
format
JapaneseLanguage
serviceProvider
"%2 は %1 の間サービスを provide%p{s} %n{ない}")
japanese_format.kif 1965-1965
(
termFormat
ChineseLanguage
serviceProvider
"服务供应者")
chinese_format.kif 234-234
(
termFormat
ChineseLanguage
serviceProvider
"服务提供者")
domainEnglishFormat.kif 52275-52275
(
termFormat
ChineseTraditionalLanguage
serviceProvider
"服務提供者")
domainEnglishFormat.kif 52274-52274
(
termFormat
EnglishLanguage
serviceProvider
"service provider")
domainEnglishFormat.kif 52273-52273
antecedent
(=>
(
and
(
instance
?X
PhotocopyingService
)
(
serviceProvider
?X ?AGENT))
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
Photocopier
)
(
possesses
?AGENT ?DEVICE)
(
instrument
?X ?DEVICE))))
Hotel.kif 2138-2146
如果
服务
是
PhotocopyingService
的
instance
和
有认知的主事
在
那个 服务
中提供服务,
然后 有存在
客体
这样
那个 客体
是
Photocopier
的
instance
和
那个 有认知的主事
possesses
那个 客体
和
那个 客体
是导致
那个 服务
的
instrument
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
如果
服务
是
WaterTransportationService
的
instance
和
有认知的主事
在
那个 服务
中提供服务 和
沿海和大湖泊货运
是
那个 有认知的主事
的
attribute
,
然后 有存在
过程
,
客体
, and 和
地理区域
这样
那个 过程
%n是
那个 服务
的
subProcess
和
那个 过程
是
水运
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 客体
是
货船
的
instance
和
那个 过程
是
located
在
那个 地理区域
和
那个 地理区域
是
水域
的
instance
和
那个 地理区域
是
美国
的
geographic
次要地区
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesPassengerTransportation
))
(
exists
(?CRUISE ?SHIP ?WATER)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8207-8225
如果
服务
是
WaterTransportationService
的
instance
和
有认知的主事
在
那个 服务
中提供服务 和
沿海和大湖泊客运
是
那个 有认知的主事
的
attribute
,
然后 有存在
过程
,
客体
, and 和
地理区域
这样
那个 过程
%n是
那个 服务
的
subProcess
和
那个 过程
是
水运
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 客体
是
客船
的
instance
和
那个 过程
是
located
在
那个 地理区域
和
那个 地理区域
是
水域
的
instance
和
那个 地理区域
是
美国
的
geographic
次要地区 和 不存在
另一个 实体
这样
那个 另外 实体
是
近海客船
的
instance
和
那个 客体
equal
那个 另外 实体
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaFreightTransportation
))
(
exists
(?FREIGHT ?SHIP)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT
WorldOcean
))))
naics.kif 8139-8150
如果
服务
是
WaterTransportationService
的
instance
和
有认知的主事
在
那个 服务
中提供服务 和
深海货运
是
那个 有认知的主事
的
attribute
,
然后 有存在
过程
和
客体
这样
那个 过程
%n是
那个 服务
的
subProcess
和
那个 过程
是
水运
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 客体
是
货船
的
instance
和
那个 过程
是
located
在
世界海洋
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaPassengerTransportation
))
(
exists
(?CRUISE ?SHIP)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE
WorldOcean
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8159-8175
如果
服务
是
WaterTransportationService
的
instance
和
有认知的主事
在
那个 服务
中提供服务 和
深海客运
是
那个 有认知的主事
的
attribute
,
然后 有存在
过程
和
客体
这样
那个 过程
%n是
那个 服务
的
subProcess
和
那个 过程
是
水运
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 客体
是
客船
的
instance
和
那个 过程
是
located
在
世界海洋
和 不存在
另一个 实体
这样
那个 另外 实体
是
近海客船
的
instance
和
那个 客体
equal
那个 另外 实体
consequent
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
如果
深海沿岸和大湖泊水运
是
有认知的主事
的
attribute
和
那个 有认知的主事
是
运输公司
的
instance
,
然后 有存在
服务
和
客体
这样
那个 服务
是
WaterTransportationService
的
instance
和
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 服务
是
located
在
那个 客体
和
那个 客体
是
水域
的
instance
和
那个 有认知的主事
是
located
在
北美
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
如果
旅客住宿
是
施事体
的
attribute
和
那个 施事体
能够担当
主事
的角色做
RoomCleaningService
,
然后 有存在
有认知的主事
和
客体
这样
那个 施事体
employs
那个 有认知的主事
和
女佣
是
那个 有认知的主事
的
attribute
和
那个 客体
是
HotelUnit
的
instance
和
那个 客体
是
那个 施事体
的财产 的
part
和
那个 客体
能够担当
受事
的角色做
RoomCleaningService
和
那个 有认知的主事
能够担当
服务供应者
的角色做
RoomCleaningService
(=>
(
and
(
instance
?AOC
AOCnumber
)
(
instance
?AIRLINE
Airline
)
(
possesses
?AIRLINE ?AOC))
(
confersRight
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))
FederalAviationAdministration
?AIRLINE))
Transportation.kif 3188-3198
如果
客体
是
AOCnumber
的
instance
和
有认知的主事
是
Airline
的
instance
和
那个 有认知的主事
possesses
那个 客体
,
然后
FederalAviationAdministration
允许
那个 有认知的主事
执行 有存在
实体
这样
那个 实体
是
AirTransportationService
的
instance
和
那个 有认知的主事
在
那个 实体
中提供服务 的任务
(=>
(
and
(
instance
?X
Nursery
)
(
element
?X
(
PropertyFn
?HOTEL))
(
attribute
?HOTEL
TravelerAccommodation
))
(
exists
(?NANNY ?CARE)
(
and
(
attribute
?X
CommunalAttribute
)
(
employs
?HOTEL ?NANNY)
(
hasPurpose
?NANNY
(
and
(
instance
?CARE
ChildCareService
)
(
serviceProvider
?CARE ?NANNY))))))
Hotel.kif 1902-1914
如果
客体
是
Nursery
的
instance
和
那个 客体
是
施事体
的财产 的
element
和
旅客住宿
是
那个 施事体
的
attribute
,
然后 有存在
有认知的主事
和
实体
这样
CommunalAttribute
是
那个 客体
的
attribute
和
那个 施事体
employs
那个 有认知的主事
和
那个 有认知的主事
的 目的 是
那个 实体
是
ChildCareService
的
instance
和
那个 有认知的主事
在
那个 实体
中提供服务
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
如果
施事体
能够担当
主事
的角色做
ChildCareService
,
然后 有存在
有认知的主事
这样
那个 施事体
employs
那个 有认知的主事
和
那个 有认知的主事
能够担当
服务供应者
的角色做
ChildCareService
(=>
(
instance
?AIRLINE
Airline
)
(
hasPurpose
?AIRLINE
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))))
Transportation.kif 3304-3310
如果
物理
是
Airline
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
AirTransportationService
的
instance
和
那个 物理
在
那个 实体
中提供服务
(=>
(
instance
?CHECK
CheckInService
)
(
exists
(?AGENT ?CUST ?GREET ?SERVICE)
(
and
(
customer
?CUST ?AGENT)
(
serviceProvider
?CHECK ?AGENT)
(
instance
?GREET
Greeting
)
(
agent
?GREET ?CUST)
(
destination
?GREET ?AGENT)
(
subProcess
?GREET ?CHECK)
(
instance
?SERVICE
Process
)
(
agent
?SERVICE ?AGENT)
(
causes
?CHECK ?SERVICE))))
Hotel.kif 2154-2166
如果
服务
是
CheckInService
的
instance
,
然后 有存在
有认知的主事
,
另一个 有认知的主事
,, ,
过程
, and 和
另一个 过程
这样
那个 有认知的主事
是
那个 另外 有认知的主事
的
customer
和
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 过程
是
欢迎
的
instance
和
那个 另外 有认知的主事
是
那个 过程
的
agent
和
那个 过程
在
那个 有认知的主事
结束 和
那个 过程
%n是
那个 服务
的
subProcess
和
那个 另外 过程
是
过程
的
instance
和
那个 有认知的主事
是
那个 另外 过程
的
agent
和
那个 服务
causes
那个 另外 过程
(=>
(
instance
?EVENT
ServiceProcess
)
(
exists
(?PROVIDER)
(
and
(
instance
?PROVIDER
CognitiveAgent
)
(
serviceProvider
?EVENT ?PROVIDER))))
Mid-level-ontology.kif 22896-22901
如果
服务
是
服务
的
instance
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
是
有认知的主事
的
instance
和
那个 有认知的主事
在
那个 服务
中提供服务
(=>
(
instance
?MS
MedicalService
)
(
exists
(?AGENT ?HUMAN ?PROC)
(
and
(
agent
?MS ?AGENT)
(
employs
?AGENT ?HUMAN)
(
attribute
?HUMAN
MedicalDoctor
)
(
serviceProvider
?MS ?HUMAN)
(
or
(
instance
?PROC
TherapeuticProcess
)
(
instance
?PROC
DiagnosticProcess
))
(
subProcess
?PROC ?MS))))
Hotel.kif 2281-2292
如果
服务
是
MedicalService
的
instance
,
然后 有存在
施事体
,
有认知的主事
, and 和
过程
这样
那个 施事体
是
那个 服务
的
agent
和
那个 施事体
employs
那个 有认知的主事
和
医生
是
那个 有认知的主事
的
attribute
和
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 过程
是
治疗过程
的
instance
或
那个 过程
是
诊断过程
的
instance
和
那个 过程
%n是
那个 服务
的
subProcess
(=>
(
instance
?SVC
ChildCareService
)
(
exists
(?CHILD ?SITTER)
(
and
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
))
(
serviceProvider
?SVC ?SITTER)
(
patient
?SVC ?CHILD)
(
not
(
parent
?CHILD ?SITTER)))))
Hotel.kif 1872-1881
如果
服务
是
ChildCareService
的
instance
,
然后 有存在
生物
和
另一个 生物
这样
那个 生物
是
人类的孩子
的
instance
或
那个 生物
是
人类宝贝
的
instance
和
那个 另外 生物
在
那个 服务
中提供服务 和
那个 生物
是
那个 服务
的
patient
和
那个 另外 生物
不 是
那个 生物
的
parent
(=>
(
instance
?SVC
SafetyDepositService
)
(
exists
(?SAFE ?KEEP ?OBJ ?AGENT)
(
and
(
serviceProvider
?SVC ?AGENT)
(
instance
?SAFE
SafeContainer
)
(
instance
?KEEP
Keeping
)
(
located
?KEEP ?SAFE)
(
possesses
?AGENT ?SAFE)
(
patient
?KEEP ?OBJ)
(
subProcess
?KEEP ?SVC)
(
not
(
possesses
?AGENT ?OBJ)))))
Hotel.kif 2262-2273
如果
服务
是
SafetyDepositService
的
instance
,
然后 有存在
客体
,
过程
,, ,
另一个 客体
, and 和
有认知的主事
这样
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 客体
是
安全的容器
的
instance
和
那个 过程
是
保存
的
instance
和
那个 过程
是
located
在
那个 客体
和
那个 有认知的主事
possesses
那个 客体
和
那个 另外 客体
是
那个 过程
的
patient
和
那个 过程
%n是
那个 服务
的
subProcess
和
那个 有认知的主事
doesn't
possesses
那个 另外 客体
(=>
(
instance
?X
RoomCleaningService
)
(
exists
(?MAID ?PLACE ?CLEAN)
(
and
(
attribute
?MAID
Maid
)
(
serviceProvider
?X ?MAID)
(
located
?X ?PLACE)
(
subProcess
?CLEAN ?X)
(
instance
?CLEAN
Cleaning
)
(
patient
?CLEAN ?PLACE)
(
agent
?CLEAN ?MAID))))
Hotel.kif 1923-1933
如果
服务
是
RoomCleaningService
的
instance
,
然后 有存在
有认知的主事
,
客体
, and 和
过程
这样
女佣
是
那个 有认知的主事
的
attribute
和
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 服务
是
located
在
那个 客体
和
那个 过程
%n是
那个 服务
的
subProcess
和
那个 过程
是
清洁的
的
instance
和
那个 客体
是
那个 过程
的
patient
和
那个 有认知的主事
是
那个 过程
的
agent
(=>
(
instance
?X
SecretarialService
)
(
exists
(?SP ?SR ?SEC)
(
and
(
serviceProvider
?X ?SP)
(
serviceRecipient
?X ?SR)
(
employs
?SP ?SEC)
(
attribute
?SEC
ClericalSecretary
))))
Hotel.kif 2300-2307
如果
服务
是
SecretarialService
的
instance
,
然后 有存在
有认知的主事
,
另一个 有认知的主事
, and 和
第三 有认知的主事
这样
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 另外 有认知的主事
在
那个 服务
中获得服务 和
那个 有认知的主事
employs
那个 第三 有认知的主事
和
文书秘书
是
那个 第三 有认知的主事
的
attribute
(=>
(
instance
?X
ServiceProcess
)
(
exists
(?AGENT ?CUST)
(
and
(
serviceProvider
?X ?AGENT)
(
serviceRecipient
?X ?CUST)
(
not
(
equal
?AGENT ?CUST)))))
Hotel.kif 1772-1778
如果
服务
是
服务
的
instance
,
然后 有存在
有认知的主事
和
另一个 有认知的主事
这样
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 另外 有认知的主事
在
那个 服务
中获得服务 和
那个 有认知的主事
不
equal
那个 另外 有认知的主事
(=>
(
property
?C
ServiceContract
)
(
exists
(?SP ?SERVICE ?CUST)
(
and
(
instance
?SP
ServiceProcess
)
(
realization
?SP ?C)
(
serviceProvider
?SP ?SERVICE)
(
serviceRecipient
?SP ?CUST)
(
partyToAgreement
?C ?SERVICE)
(
partyToAgreement
?C ?CUST))))
Mid-level-ontology.kif 14198-14207
如果
命题
有
服务合同
的
attribute
,
然后 有存在
服务
,
协议
, and 和
那个 命题
UST 这样
那个 服务
是
服务
的
instance
和
那个 服务
表示
那个 命题
的内容 和
那个 协议
在
那个 服务
中提供服务 和
那个 命题
UST 在
那个 服务
中获得服务 和
那个 协议
是
那个 命题
的
party
协议 和
那个 命题
UST 是
那个 命题
的
party
协议
(=>
(
providesDestination
?TC ?REG)
(
modalAttribute
(
exists
(?SVC)
(
and
(
instance
?SVC
TransportationService
)
(
serviceProvider
?SVC ?TC)
(
destination
?SVC ?REG)))
Possibility
))
Transportation.kif 3401-3408
如果
运输公司
provides
transportation
對於
地区
,
然后 有存在
实体
这样
那个 实体
是
TransportationService
的
instance
和
那个 运输公司
在
那个 实体
中提供服务 和
那个 实体
在
那个 地区
结束 的声明 has
可能性
的语气
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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