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 and
服務
(
domain
serviceProvider
2
CognitiveAgent
)
Mid-level-ontology.kif 22878-22878
域
服務提供者
, 2 and
CognitiveAgent
(
instance
serviceProvider
AsymmetricRelation
)
Mid-level-ontology.kif 22875-22875
例
服務提供者
and
AsymmetricRelation
(
instance
serviceProvider
BinaryPredicate
)
Mid-level-ontology.kif 22874-22874
例
服務提供者
and
BinaryPredicate
(
instance
serviceProvider
CaseRole
)
Mid-level-ontology.kif 22880-22880
例
服務提供者
and
CaseRole
(
instance
serviceProvider
IntentionalRelation
)
Mid-level-ontology.kif 22876-22876
例
服務提供者
and
有意圖的關係
(
subrelation
serviceProvider
agent
)
Mid-level-ontology.kif 22879-22879
子關係
服務提供者
and
agent
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
例
服務
and
PhotocopyingService
服務提供者
服務
and
CognitiveAgent
Object
例
Object
and
Photocopier
擁有
CognitiveAgent
and
Object
儀器
服務
and
Object
(=>
(
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
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
attribute
CognitiveAgent
and
沿海和大湖泊貨運
Process
Object
and
GeographicArea
子過程
Process
and
服務
例
Process
and
水運
儀器
Process
and
Object
例
Object
and
貨船
Process
是
located
在
GeographicArea
例
GeographicArea
and
WaterArea
GeographicArea
是
美國
的
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
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
attribute
CognitiveAgent
and
沿海和大湖泊客運
Process
Object
and
GeographicArea
子過程
Process
and
服務
例
Process
and
水運
儀器
Process
and
Object
例
Object
and
客船
Process
是
located
在
GeographicArea
例
GeographicArea
and
WaterArea
GeographicArea
是
美國
的
geographic
次要地區
Entity
例
Entity
and
近海客船
等於
Object
and
Entity
(=>
(
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
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
attribute
CognitiveAgent
and
深海貨運
Process
Object
子過程
Process
and
服務
例
Process
and
水運
儀器
Process
and
Object
例
Object
and
貨船
Process
是
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
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
attribute
CognitiveAgent
and
深海客運
Process
Object
子過程
Process
and
服務
例
Process
and
水運
儀器
Process
and
Object
例
Object
and
客船
Process
是
located
在
世界海洋
Entity
例
Entity
and
近海客船
等於
Object
and
Entity
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
CognitiveAgent
and
深海沿岸和大湖泊水運
例
CognitiveAgent
and
運輸公司
服務
Object
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
服務
是
located
在
Object
例
Object
and
WaterArea
位於
CognitiveAgent
and
北美
(=>
(
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
AutonomousAgent
and
旅客住宿
能力
RoomCleaningService
,
agent
and
AutonomousAgent
CognitiveAgent
Object
採用
AutonomousAgent
and
CognitiveAgent
attribute
CognitiveAgent
and
女傭
例
Object
and
HotelUnit
部分
Object
and
屬性
AutonomousAgent
能力
RoomCleaningService
,
患者
and
Object
能力
RoomCleaningService
,
服務提供者
and
CognitiveAgent
(=>
(
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
例
Object
and
AOCnumber
例
CognitiveAgent
and
Airline
擁有
CognitiveAgent
and
Object
賦予權利
entity
例
entity
and
AirTransportationService
服務提供者
entity
and
CognitiveAgent
,
FederalAviationAdministration
and
CognitiveAgent
(=>
(
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
例
Object
and
Nursery
元件
Object
and
屬性
AutonomousAgent
attribute
AutonomousAgent
and
旅客住宿
CognitiveAgent
entity
attribute
Object
and
CommunalAttribute
採用
AutonomousAgent
and
CognitiveAgent
有目的
CognitiveAgent
and
例
entity
and
ChildCareService
服務提供者
entity
and
CognitiveAgent
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
能力
ChildCareService
,
agent
and
AutonomousAgent
CognitiveAgent
採用
AutonomousAgent
and
CognitiveAgent
能力
ChildCareService
,
服務提供者
and
CognitiveAgent
(=>
(
instance
?AIRLINE
Airline
)
(
hasPurpose
?AIRLINE
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))))
Transportation.kif 3304-3310
例
Physical
and
Airline
有目的
Physical
and
entity
例
entity
and
AirTransportationService
服務提供者
entity
and
Physical
(=>
(
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
例
服務
and
CheckInService
CognitiveAgent
CognitiveAgent
,
Process
and
Process
CognitiveAgent
是
CognitiveAgent
的
customer
服務提供者
服務
and
CognitiveAgent
例
Process
and
歡迎
agent
Process
and
CognitiveAgent
目的地
Process
and
CognitiveAgent
子過程
Process
and
服務
例
Process
and
Process
agent
Process
and
CognitiveAgent
原因
服務
and
Process
(=>
(
instance
?EVENT
ServiceProcess
)
(
exists
(?PROVIDER)
(
and
(
instance
?PROVIDER
CognitiveAgent
)
(
serviceProvider
?EVENT ?PROVIDER))))
Mid-level-ontology.kif 22896-22901
例
服務
and
服務
CognitiveAgent
例
CognitiveAgent
and
CognitiveAgent
服務提供者
服務
and
CognitiveAgent
(=>
(
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
例
服務
and
MedicalService
AutonomousAgent
CognitiveAgent
and
Process
agent
服務
and
AutonomousAgent
採用
AutonomousAgent
and
CognitiveAgent
attribute
CognitiveAgent
and
醫生
服務提供者
服務
and
CognitiveAgent
例
Process
and
TherapeuticProcess
例
Process
and
DiagnosticProcess
子過程
Process
and
服務
(=>
(
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
例
服務
and
ChildCareService
Organism
Organism
例
Organism
and
人類的孩子
例
Organism
and
人類寶貝
服務提供者
服務
and
Organism
患者
服務
and
Organism
親
Organism
and
Organism
(=>
(
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
例
服務
and
SafetyDepositService
Object
Process
,
Object
and
CognitiveAgent
服務提供者
服務
and
CognitiveAgent
例
Object
and
安全的容器
例
Process
and
Keeping
位於
Process
and
Object
擁有
CognitiveAgent
and
Object
患者
Process
and
Object
子過程
Process
and
服務
擁有
CognitiveAgent
and
Object
(=>
(
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
例
服務
and
RoomCleaningService
CognitiveAgent
Object
and
Process
attribute
CognitiveAgent
and
女傭
服務提供者
服務
and
CognitiveAgent
位於
服務
and
Object
子過程
Process
and
服務
例
Process
and
清潔的
患者
Process
and
Object
agent
Process
and
CognitiveAgent
(=>
(
instance
?X
SecretarialService
)
(
exists
(?SP ?SR ?SEC)
(
and
(
serviceProvider
?X ?SP)
(
serviceRecipient
?X ?SR)
(
employs
?SP ?SEC)
(
attribute
?SEC
ClericalSecretary
))))
Hotel.kif 2300-2307
例
服務
and
SecretarialService
CognitiveAgent
CognitiveAgent
and
CognitiveAgent
服務提供者
服務
and
CognitiveAgent
服務接收者
服務
and
CognitiveAgent
採用
CognitiveAgent
and
CognitiveAgent
attribute
CognitiveAgent
and
文書秘書
(=>
(
instance
?X
ServiceProcess
)
(
exists
(?AGENT ?CUST)
(
and
(
serviceProvider
?X ?AGENT)
(
serviceRecipient
?X ?CUST)
(
not
(
equal
?AGENT ?CUST)))))
Hotel.kif 1772-1778
例
服務
and
服務
CognitiveAgent
CognitiveAgent
服務提供者
服務
and
CognitiveAgent
服務接收者
服務
and
CognitiveAgent
等於
CognitiveAgent
and
CognitiveAgent
(=>
(
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
屬性
Proposition
and
服務合同
服務
協議
and
Proposition
UST
例
服務
and
服務
實現
服務
and
Proposition
服務提供者
服務
and
協議
服務接收者
服務
and
Proposition
UST
協議
是
Proposition
的
party
協議
Proposition
UST 是
Proposition
的
party
協議
(=>
(
providesDestination
?TC ?REG)
(
modalAttribute
(
exists
(?SVC)
(
and
(
instance
?SVC
TransportationService
)
(
serviceProvider
?SVC ?TC)
(
destination
?SVC ?REG)))
Possibility
))
Transportation.kif 3401-3408
運輸公司
provides
transportation
對於
Region
模態屬性
entity
例
entity
and
TransportationService
服務提供者
entity
and
運輸公司
目的地
entity
and
Region
and
可能性
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