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 22880-22882
(
domain
serviceProvider
1
ServiceProcess
)
Mid-level-ontology.kif 22876-22876
The number 1 argument of
service provider
is an
instance
of
service
(
domain
serviceProvider
2
CognitiveAgent
)
Mid-level-ontology.kif 22877-22877
The number 2 argument of
service provider
is an
instance
of
cognitive agent
(
instance
serviceProvider
AsymmetricRelation
)
Mid-level-ontology.kif 22874-22874
service provider
is an
instance
of
asymmetric relation
(
instance
serviceProvider
BinaryPredicate
)
Mid-level-ontology.kif 22873-22873
service provider
is an
instance
of
binary predicate
(
instance
serviceProvider
CaseRole
)
Mid-level-ontology.kif 22879-22879
service provider
is an
instance
of
case role
(
instance
serviceProvider
IntentionalRelation
)
Mid-level-ontology.kif 22875-22875
service provider
is an
instance
of
intentional relation
(
subrelation
serviceProvider
agent
)
Mid-level-ontology.kif 22878-22878
service provider
is a
subrelation
of
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
If
a service
is an
instance
of
photocopying service
and
a cognitive agent
provides a service during
the service
,
then there exists
an object
such that
the object
is an
instance
of
photocopier
and
the cognitive agent
possess
es
the object
and
the object
is an
instrument
for
the service
(=>
(
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
If
a service
is an
instance
of
Water Transportation Service
and
a cognitive agent
provides a service during
the service
and
coastal and great lakes freight transportation
is an
attribute
of
the cognitive agent
,
then there exist
a process
,
an object
and
a geographic area
such that
the process
is a
subprocess
of
the service
and
the process
is an
instance
of
water transportation
and
the object
is an
instrument
for
the process
and
the object
is an
instance
of
cargo ship
and
the process
is
located
at
the geographic area
and
the geographic area
is an
instance
of
water area
and
the geographic area
is a
geographic
subregion of
united states
(=>
(
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
If
a service
is an
instance
of
Water Transportation Service
and
a cognitive agent
provides a service during
the service
and
coastal and great lakes passenger transportation
is an
attribute
of
the cognitive agent
,
then there exist
a process
,
an object
and
a geographic area
such that
the process
is a
subprocess
of
the service
and
the process
is an
instance
of
water transportation
and
the object
is an
instrument
for
the process
and
the object
is an
instance
of
passenger ship
and
the process
is
located
at
the geographic area
and
the geographic area
is an
instance
of
water area
and
the geographic area
is a
geographic
subregion of
united states
and there doesn't exist
an entity
such that
the entity
is an
instance
of
short sea passenger ship
and
the object
is
equal
to
the 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
If
a service
is an
instance
of
Water Transportation Service
and
a cognitive agent
provides a service during
the service
and
deep sea freight transportation
is an
attribute
of
the cognitive agent
,
then there exist
a process
and
an object
such that
the process
is a
subprocess
of
the service
and
the process
is an
instance
of
water transportation
and
the object
is an
instrument
for
the process
and
the object
is an
instance
of
cargo ship
and
the process
is
located
at
world ocean
(=>
(
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
If
a service
is an
instance
of
Water Transportation Service
and
a cognitive agent
provides a service during
the service
and
deep sea passenger transportation
is an
attribute
of
the cognitive agent
,
then there exist
a process
and
an object
such that
the process
is a
subprocess
of
the service
and
the process
is an
instance
of
water transportation
and
the object
is an
instrument
for
the process
and
the object
is an
instance
of
passenger ship
and
the process
is
located
at
world ocean
and there doesn't exist
an entity
such that
the entity
is an
instance
of
short sea passenger ship
and
the object
is
equal
to
the 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
If
deep sea coastal and great lakes water transportation
is an
attribute
of
a cognitive agent
and
the cognitive agent
is an
instance
of
transportation company
,
then there exist
a service
and
an object
such that
the service
is an
instance
of
Water Transportation Service
and
the cognitive agent
provides a service during
the service
and
the service
is
located
at
the object
and
the object
is an
instance
of
water area
and
the cognitive agent
is
located
at
north america
(=>
(
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
If
traveler accommodation
is an
attribute
of
an agent
and
the agent
is
capable
of doing
service
as a
agent
,
then there exist
a cognitive agent
and
an object
such that
the agent
employ
s
the cognitive agent
and
maid
is an
attribute
of
the cognitive agent
and
the object
is an
instance
of
hotel unit
and
the object
is a
part
of
belongings
of
the agent
and
the object
is
capable
of doing
service
as a
patient
and
the cognitive agent
is
capable
of doing
service
as a
service provider
(=>
(
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
If
an object
is an
instance
of
AOC number
and
a cognitive agent
is an
instance
of
Airline
and
the cognitive agent
possess
es
the object
,
then
Federal Aviation Administration
allow
s
the cognitive agent
to perform task of the type there exists
an entity
such that
the entity
is an
instance
of
Air Transportation Service
and
the cognitive agent
provides a service during
the entity
(=>
(
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
If
an object
is an
instance
of
nursery
and
the object
is an
element
of
belongings
of
an agent
and
traveler accommodation
is an
attribute
of
the agent
,
then there exist
a cognitive agent
and
an entity
such that
communal
is an
attribute
of
the object
and
the agent
employ
s
the cognitive agent
and
the cognitive agent
has the purpose
the entity
is an
instance
of
child-care service
and
the cognitive agent
provides a service during
the entity
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
If
an agent
is
capable
of doing
child-care service
as a
agent
,
then there exists
a cognitive agent
such that
the agent
employ
s
the cognitive agent
and
the cognitive agent
is
capable
of doing
child-care service
as a
service provider
(=>
(
instance
?AIRLINE
Airline
)
(
hasPurpose
?AIRLINE
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))))
Transportation.kif 3304-3310
If
a physical
is an
instance
of
Airline
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
Air Transportation Service
and
the physical
provides a service during
the entity
(=>
(
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
If
a service
is an
instance
of
check-in service
,
then there exist
a cognitive agent
,
another cognitive agent
,, ,
a process
and
another process
such that
the cognitive agent
is a
customer
of
the other cognitive agent
and
the cognitive agent
provides a service during
the service
and
the process
is an
instance
of
greeting
and
the other cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the cognitive agent
and
the process
is a
subprocess
of
the service
and
the other process
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the other process
and
the service
cause
s
the other process
(=>
(
instance
?EVENT
ServiceProcess
)
(
exists
(?PROVIDER)
(
and
(
instance
?PROVIDER
CognitiveAgent
)
(
serviceProvider
?EVENT ?PROVIDER))))
Mid-level-ontology.kif 22895-22900
If
a service
is an
instance
of
service
,
then there exists
a cognitive agent
such that
the cognitive agent
is an
instance
of
cognitive agent
and
the cognitive agent
provides a service during
the service
(=>
(
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
If
a service
is an
instance
of
medical service
,
then there exist
an agent
,
a cognitive agent
and
a process
such that
the agent
is an
agent
of
the service
and
the agent
employ
s
the cognitive agent
and
medical doctor
is an
attribute
of
the cognitive agent
and
the cognitive agent
provides a service during
the service
and
the process
is an
instance
of
therapeutic process
or
the process
is an
instance
of
diagnostic process
and
the process
is a
subprocess
of
the service
(=>
(
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
If
a service
is an
instance
of
child-care service
,
then there exist
an organism
and
another organism
such that
the organism
is an
instance
of
human child
or
the organism
is an
instance
of
human baby
and
the other organism
provides a service during
the service
and
the organism
is a
patient
of
the service
and
the other organism
is not a
parent
of
the 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
If
a service
is an
instance
of
safety deposit box
,
then there exist
an object
,
a process
,, ,
another object
and
a cognitive agent
such that
the cognitive agent
provides a service during
the service
and
the object
is an
instance
of
safe container
and
the process
is an
instance
of
keeping
and
the process
is
located
at
the object
and
the cognitive agent
possess
es
the object
and
the other object
is a
patient
of
the process
and
the process
is a
subprocess
of
the service
and
the cognitive agent
doesn't
possess
the other 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
If
a service
is an
instance
of
service
,
then there exist
a cognitive agent
,
an object
and
a process
such that
maid
is an
attribute
of
the cognitive agent
and
the cognitive agent
provides a service during
the service
and
the service
is
located
at
the object
and
the process
is a
subprocess
of
the service
and
the process
is an
instance
of
cleaning
and
the object
is a
patient
of
the process
and
the cognitive agent
is an
agent
of
the process
(=>
(
instance
?X
SecretarialService
)
(
exists
(?SP ?SR ?SEC)
(
and
(
serviceProvider
?X ?SP)
(
serviceRecipient
?X ?SR)
(
employs
?SP ?SEC)
(
attribute
?SEC
ClericalSecretary
))))
Hotel.kif 2300-2307
If
a service
is an
instance
of
secretarial service
,
then there exist
a cognitive agent
,
another cognitive agent
and
a third cognitive agent
such that
the cognitive agent
provides a service during
the service
and
the other cognitive agent
receives a service during
the service
and
the cognitive agent
employ
s
the third cognitive agent
and
clerical secretary
is an
attribute
of
the third cognitive agent
(=>
(
instance
?X
ServiceProcess
)
(
exists
(?AGENT ?CUST)
(
and
(
serviceProvider
?X ?AGENT)
(
serviceRecipient
?X ?CUST)
(
not
(
equal
?AGENT ?CUST)))))
Hotel.kif 1772-1778
If
a service
is an
instance
of
service
,
then there exist
a cognitive agent
and
another cognitive agent
such that
the cognitive agent
provides a service during
the service
and
the other cognitive agent
receives a service during
the service
and
the cognitive agent
is not
equal
to
the other cognitive agent
(=>
(
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 14197-14206
If
a proposition
the
attribute
service contract
,
then there exist
a service
,
an agreement
and
the proposition
UST such that
the service
is an
instance
of
service
and
the service
express
es the content of
the proposition
and
the agreement
provides a service during
the service
and
the proposition
UST receives a service during
the service
and
the agreement
is a
party
to agreement of
the proposition
and
the proposition
UST is a
party
to agreement of
the proposition
(=>
(
providesDestination
?TC ?REG)
(
modalAttribute
(
exists
(?SVC)
(
and
(
instance
?SVC
TransportationService
)
(
serviceProvider
?SVC ?TC)
(
destination
?SVC ?REG)))
Possibility
))
Transportation.kif 3401-3408
If
a transportation company
provides
transportation
to
a region
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
transportation service
and
the transportation company
provides a service during
the entity
and
the entity
end
s up at
the region
has the
modal
force
of
possibility
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