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
O argumento numero 1 de
serviceProvider
e' uma
instancia
de
ServiceProcess
(
domain
serviceProvider
2
CognitiveAgent
)
Mid-level-ontology.kif 22877-22877
O argumento numero 2 de
serviceProvider
e' uma
instancia
de
Agente Cognitivo
(
instance
serviceProvider
AsymmetricRelation
)
Mid-level-ontology.kif 22874-22874
serviceProvider
e' uma
instancia
de
Relacao Assimetrica
(
instance
serviceProvider
BinaryPredicate
)
Mid-level-ontology.kif 22873-22873
serviceProvider
e' uma
instancia
de
Predicado Binario
(
instance
serviceProvider
CaseRole
)
Mid-level-ontology.kif 22879-22879
serviceProvider
e' uma
instancia
de
Role em Caso
(
instance
serviceProvider
IntentionalRelation
)
Mid-level-ontology.kif 22875-22875
serviceProvider
e' uma
instancia
de
IntentionalRelation
(
subrelation
serviceProvider
agent
)
Mid-level-ontology.kif 22878-22878
serviceProvider
e' uma
sub
-relacao de
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
ServiceProcess
e' uma
instancia
de
PhotocopyingService
serviceProvider
ServiceProcess
and
Agente Cognitivo
Objeto
Objeto
e' uma
instancia
de
Photocopier
Agente Cognitivo
possui
Objeto
Objeto
e' um
instrumento
para
ServiceProcess
(=>
(
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
ServiceProcess
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
CoastalAndGreatLakesFreightTransportation
e' um
atributo
de
Agente Cognitivo
Processo
Objeto
and
Area Geografica
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
WaterTransportation
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
CargoShip
eventLocated
Processo
and
Area Geografica
Area Geografica
e' uma
instancia
de
Area Aquatica
geographicSubregion
Area Geografica
and
UnitedStates
(=>
(
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
ServiceProcess
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
CoastalAndGreatLakesPassengerTransportation
e' um
atributo
de
Agente Cognitivo
Processo
Objeto
and
Area Geografica
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
WaterTransportation
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
PassengerShip
eventLocated
Processo
and
Area Geografica
Area Geografica
e' uma
instancia
de
Area Aquatica
geographicSubregion
Area Geografica
and
UnitedStates
Entidade
Entidade
e' uma
instancia
de
ShortSeaPassengerShip
Objeto
e'
igual
a
Entidade
(=>
(
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
ServiceProcess
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
DeepSeaFreightTransportation
e' um
atributo
de
Agente Cognitivo
Processo
Objeto
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
WaterTransportation
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
CargoShip
eventLocated
Processo
and
WorldOcean
(=>
(
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
ServiceProcess
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
DeepSeaPassengerTransportation
e' um
atributo
de
Agente Cognitivo
Processo
Objeto
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
WaterTransportation
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
PassengerShip
eventLocated
Processo
and
WorldOcean
Entidade
Entidade
e' uma
instancia
de
ShortSeaPassengerShip
Objeto
e'
igual
a
Entidade
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
DeepSeaCoastalAndGreatLakesWaterTransportation
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
TransportationCompany
ServiceProcess
Objeto
ServiceProcess
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
eventLocated
ServiceProcess
and
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Agente Cognitivo
e'
situado
em
NorthAmerica
(=>
(
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
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
capaz
de fazer
RoomCleaningService
no role
agent
Agente Cognitivo
Objeto
AutonomousAgent
emprega
Agente Cognitivo
Maid
e' um
atributo
de
Agente Cognitivo
Objeto
e' uma
instancia
de
HotelUnit
Objeto
e' uma &parte de
propriedade
de
AutonomousAgent
Objeto
e'
capaz
de fazer
RoomCleaningService
no role
patient
Agente Cognitivo
e'
capaz
de fazer
RoomCleaningService
no role
serviceProvider
(=>
(
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
Objeto
e' uma
instancia
de
AOCnumber
Agente Cognitivo
e' uma
instancia
de
Airline
Agente Cognitivo
possui
Objeto
FederalAviationAdministration
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
AirTransportationService
serviceProvider
Entidade
and
Agente Cognitivo
(=>
(
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
Objeto
e' uma
instancia
de
Nursery
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
Agente Cognitivo
Entidade
CommunalAttribute
e' um
atributo
de
Objeto
AutonomousAgent
emprega
Agente Cognitivo
Agente Cognitivo
tem por
fim
Entidade
e' uma
instancia
de
ChildCareService
serviceProvider
Entidade
and
Agente Cognitivo
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
AutonomousAgent
e'
capaz
de fazer
ChildCareService
no role
agent
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
Agente Cognitivo
e'
capaz
de fazer
ChildCareService
no role
serviceProvider
(=>
(
instance
?AIRLINE
Airline
)
(
hasPurpose
?AIRLINE
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))))
Transportation.kif 3304-3310
Fisico
e' uma
instancia
de
Airline
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
AirTransportationService
serviceProvider
Entidade
and
Fisico
(=>
(
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
ServiceProcess
e' uma
instancia
de
CheckInService
Agente Cognitivo
Agente Cognitivo
,
Processo
and
Processo
customer
Agente Cognitivo
and
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
Processo
e' uma
instancia
de
Greeting
Processo
e' um
agente
de
Agente Cognitivo
Processo
termina
em
Agente Cognitivo
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
ServiceProcess
causa
Processo
(=>
(
instance
?EVENT
ServiceProcess
)
(
exists
(?PROVIDER)
(
and
(
instance
?PROVIDER
CognitiveAgent
)
(
serviceProvider
?EVENT ?PROVIDER))))
Mid-level-ontology.kif 22895-22900
ServiceProcess
e' uma
instancia
de
ServiceProcess
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
(=>
(
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
ServiceProcess
e' uma
instancia
de
MedicalService
AutonomousAgent
Agente Cognitivo
and
Processo
ServiceProcess
e' um
agente
de
AutonomousAgent
AutonomousAgent
emprega
Agente Cognitivo
MedicalDoctor
e' um
atributo
de
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
Processo
e' uma
instancia
de
Processo Terapeutico
Processo
e' uma
instancia
de
Processo de Diagnostico
Processo
e' um
sub
-processo de
ServiceProcess
(=>
(
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
ServiceProcess
e' uma
instancia
de
ChildCareService
Organismo
Organismo
Organismo
e' uma
instancia
de
HumanChild
Organismo
e' uma
instancia
de
HumanBaby
serviceProvider
ServiceProcess
and
Organismo
Organismo
e' um
patient
de
ServiceProcess
Organismo
e' um
genitor
de
Organismo
(=>
(
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
ServiceProcess
e' uma
instancia
de
SafetyDepositService
Objeto
Processo
,
Objeto
and
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
Objeto
e' uma
instancia
de
SafeContainer
Processo
e' uma
instancia
de
Manter
Processo
e'
situado
em
Objeto
Agente Cognitivo
possui
Objeto
Objeto
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
ServiceProcess
Agente Cognitivo
nao
possui
%n
Objeto
(=>
(
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
ServiceProcess
e' uma
instancia
de
RoomCleaningService
Agente Cognitivo
Objeto
and
Processo
Maid
e' um
atributo
de
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
ServiceProcess
e'
situado
em
Objeto
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
Cleaning
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
(=>
(
instance
?X
SecretarialService
)
(
exists
(?SP ?SR ?SEC)
(
and
(
serviceProvider
?X ?SP)
(
serviceRecipient
?X ?SR)
(
employs
?SP ?SEC)
(
attribute
?SEC
ClericalSecretary
))))
Hotel.kif 2300-2307
ServiceProcess
e' uma
instancia
de
SecretarialService
Agente Cognitivo
Agente Cognitivo
and
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
serviceRecipient
ServiceProcess
and
Agente Cognitivo
Agente Cognitivo
emprega
Agente Cognitivo
ClericalSecretary
e' um
atributo
de
Agente Cognitivo
(=>
(
instance
?X
ServiceProcess
)
(
exists
(?AGENT ?CUST)
(
and
(
serviceProvider
?X ?AGENT)
(
serviceRecipient
?X ?CUST)
(
not
(
equal
?AGENT ?CUST)))))
Hotel.kif 1772-1778
ServiceProcess
e' uma
instancia
de
ServiceProcess
Agente Cognitivo
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
serviceRecipient
ServiceProcess
and
Agente Cognitivo
Agente Cognitivo
e'
igual
a
Agente Cognitivo
(=>
(
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
Proposicao
tem um
atributo
de
ServiceContract
ServiceProcess
Agreement
and
Proposicao
UST
ServiceProcess
e' uma
instancia
de
ServiceProcess
ServiceProcess
exprime
o conteudo de
Proposicao
serviceProvider
ServiceProcess
and
Agreement
serviceRecipient
ServiceProcess
and
Proposicao
UST
partyToAgreement
Proposicao
and
Agreement
partyToAgreement
Proposicao
and
Proposicao
UST
(=>
(
providesDestination
?TC ?REG)
(
modalAttribute
(
exists
(?SVC)
(
and
(
instance
?SVC
TransportationService
)
(
serviceProvider
?SVC ?TC)
(
destination
?SVC ?REG)))
Possibility
))
Transportation.kif 3401-3408
providesDestination
TransportationCompany
and
Regiao
o argumento
Entidade
Entidade
e' uma
instancia
de
TransportationService
serviceProvider
Entidade
and
TransportationCompany
Entidade
termina
em
Regiao
tem a
forca
modal
de
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