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 22933-22935
(
domain
serviceProvider
1
ServiceProcess
)
Mid-level-ontology.kif 22929-22929
Il numero 1 argomenti di
serviceProvider
è un
istanza
di
ServiceProcess
(
domain
serviceProvider
2
CognitiveAgent
)
Mid-level-ontology.kif 22930-22930
Il numero 2 argomenti di
serviceProvider
è un
istanza
di
AgenteCognitivo
(
instance
serviceProvider
AsymmetricRelation
)
Mid-level-ontology.kif 22927-22927
serviceProvider
è un'
istanza
di
RelazioneAsimmetrica
(
instance
serviceProvider
BinaryPredicate
)
Mid-level-ontology.kif 22926-22926
serviceProvider
è un'
istanza
di
PredicatoBinario
(
instance
serviceProvider
CaseRole
)
Mid-level-ontology.kif 22932-22932
serviceProvider
è un'
istanza
di
RuoloSemantico
(
instance
serviceProvider
IntentionalRelation
)
Mid-level-ontology.kif 22928-22928
serviceProvider
è un'
istanza
di
IntentionalRelation
(
subrelation
serviceProvider
agent
)
Mid-level-ontology.kif 22931-22931
serviceProvider
è una
sottorelazione
di
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 52277-52277
(
termFormat
ChineseTraditionalLanguage
serviceProvider
"服務提供者")
domainEnglishFormat.kif 52276-52276
(
termFormat
EnglishLanguage
serviceProvider
"service provider")
domainEnglishFormat.kif 52275-52275
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
è un'
istanza
di
PhotocopyingService
serviceProvider
ServiceProcess
and
AgenteCognitivo
Oggetto
Oggetto
è un'
istanza
di
Photocopier
AgenteCognitivo
possiede
es
Oggetto
Oggetto
è uno
strumento
per
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
è un'
istanza
di
WaterTransportationService
serviceProvider
ServiceProcess
and
AgenteCognitivo
attribute
AgenteCognitivo
and
CoastalAndGreatLakesFreightTransportation
Processo
Oggetto
and
AreaGeografica
Processo
è un
sottoprocesso
di
ServiceProcess
Processo
è un'
istanza
di
WaterTransportation
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
CargoShip
eventLocated
Processo
and
AreaGeografica
AreaGeografica
è un'
istanza
di
SuperficieAcquatica
geographicSubregion
AreaGeografica
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
è un'
istanza
di
WaterTransportationService
serviceProvider
ServiceProcess
and
AgenteCognitivo
attribute
AgenteCognitivo
and
CoastalAndGreatLakesPassengerTransportation
Processo
Oggetto
and
AreaGeografica
Processo
è un
sottoprocesso
di
ServiceProcess
Processo
è un'
istanza
di
WaterTransportation
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
PassengerShip
eventLocated
Processo
and
AreaGeografica
AreaGeografica
è un'
istanza
di
SuperficieAcquatica
geographicSubregion
AreaGeografica
and
UnitedStates
Entit�
Entit�
è un'
istanza
di
ShortSeaPassengerShip
Oggetto
is
uguale
a
Entit�
(=>
(
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
è un'
istanza
di
WaterTransportationService
serviceProvider
ServiceProcess
and
AgenteCognitivo
attribute
AgenteCognitivo
and
DeepSeaFreightTransportation
Processo
Oggetto
Processo
è un
sottoprocesso
di
ServiceProcess
Processo
è un'
istanza
di
WaterTransportation
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
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
è un'
istanza
di
WaterTransportationService
serviceProvider
ServiceProcess
and
AgenteCognitivo
attribute
AgenteCognitivo
and
DeepSeaPassengerTransportation
Processo
Oggetto
Processo
è un
sottoprocesso
di
ServiceProcess
Processo
è un'
istanza
di
WaterTransportation
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
PassengerShip
eventLocated
Processo
and
WorldOcean
Entit�
Entit�
è un'
istanza
di
ShortSeaPassengerShip
Oggetto
is
uguale
a
Entit�
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
AgenteCognitivo
and
DeepSeaCoastalAndGreatLakesWaterTransportation
AgenteCognitivo
è un'
istanza
di
TransportationCompany
ServiceProcess
Oggetto
ServiceProcess
è un'
istanza
di
WaterTransportationService
serviceProvider
ServiceProcess
and
AgenteCognitivo
eventLocated
ServiceProcess
and
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
AgenteCognitivo
è
localizzato
in
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
attribute
AutonomousAgent
and
TravelerAccommodation
AutonomousAgent
è
capace
di fare
RoomCleaningService
nel ruolo
agent
AgenteCognitivo
Oggetto
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AgenteCognitivo
and
Maid
Oggetto
è un'
istanza
di
HotelUnit
Oggetto
è una
parte
di
appartenenze
di
AutonomousAgent
Oggetto
è
capace
di fare
RoomCleaningService
nel ruolo
patient
AgenteCognitivo
è
capace
di fare
RoomCleaningService
nel ruolo
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 3240-3250
Oggetto
è un'
istanza
di
AOCnumber
AgenteCognitivo
è un'
istanza
di
Airline
AgenteCognitivo
possiede
es
Oggetto
FederalAviationAdministration
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
AirTransportationService
serviceProvider
Entit�
and
AgenteCognitivo
(=>
(
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
Oggetto
è un'
istanza
di
Nursery
%è un
elemento
di %2
attribute
AutonomousAgent
and
TravelerAccommodation
AgenteCognitivo
Entit�
attribute
Oggetto
and
CommunalAttribute
AutonomousAgent
impiega
s
AgenteCognitivo
AgenteCognitivo
ha
scopo
Entit�
è un'
istanza
di
ChildCareService
serviceProvider
Entit�
and
AgenteCognitivo
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
AutonomousAgent
è
capace
di fare
ChildCareService
nel ruolo
agent
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
AgenteCognitivo
è
capace
di fare
ChildCareService
nel ruolo
serviceProvider
(=>
(
instance
?AIRLINE
Airline
)
(
hasPurpose
?AIRLINE
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))))
Transportation.kif 3356-3362
Entit�Concreta
è un'
istanza
di
Airline
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
AirTransportationService
serviceProvider
Entit�
and
Entit�Concreta
(=>
(
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
è un'
istanza
di
CheckInService
AgenteCognitivo
AgenteCognitivo
,
Processo
and
Processo
customer
AgenteCognitivo
and
AgenteCognitivo
serviceProvider
ServiceProcess
and
AgenteCognitivo
Processo
è un'
istanza
di
Greeting
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
AgenteCognitivo
Processo
è un
sottoprocesso
di
ServiceProcess
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
AgenteCognitivo
ServiceProcess
causa
s
Processo
(=>
(
instance
?EVENT
ServiceProcess
)
(
exists
(?PROVIDER)
(
and
(
instance
?PROVIDER
CognitiveAgent
)
(
serviceProvider
?EVENT ?PROVIDER))))
Mid-level-ontology.kif 22948-22953
ServiceProcess
è un'
istanza
di
ServiceProcess
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
AgenteCognitivo
serviceProvider
ServiceProcess
and
AgenteCognitivo
(=>
(
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
è un'
istanza
di
MedicalService
AutonomousAgent
AgenteCognitivo
and
Processo
ServiceProcess
è un
agente
di
AutonomousAgent
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AgenteCognitivo
and
MedicalDoctor
serviceProvider
ServiceProcess
and
AgenteCognitivo
Processo
è un'
istanza
di
ProcessoTerapeutico
Processo
è un'
istanza
di
ProcessoDiagnostico
Processo
è un
sottoprocesso
di
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
è un'
istanza
di
ChildCareService
Organismo
Organismo
Organismo
è un'
istanza
di
HumanChild
Organismo
è un'
istanza
di
HumanBaby
serviceProvider
ServiceProcess
and
Organismo
Organismo
è un
paziente
di
ServiceProcess
Organismo
è un
parente
di
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
è un'
istanza
di
SafetyDepositService
Oggetto
Processo
,
Oggetto
and
AgenteCognitivo
serviceProvider
ServiceProcess
and
AgenteCognitivo
Oggetto
è un'
istanza
di
SafeContainer
Processo
è un'
istanza
di
Trattenere
Processo
è
localizzato
in
Oggetto
AgenteCognitivo
possiede
es
Oggetto
Oggetto
è un
paziente
di
Processo
Processo
è un
sottoprocesso
di
ServiceProcess
AgenteCognitivo
non
possiede
Oggetto
(=>
(
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
è un'
istanza
di
RoomCleaningService
AgenteCognitivo
Oggetto
and
Processo
attribute
AgenteCognitivo
and
Maid
serviceProvider
ServiceProcess
and
AgenteCognitivo
ServiceProcess
è
localizzato
in
Oggetto
Processo
è un
sottoprocesso
di
ServiceProcess
Processo
è un'
istanza
di
Cleaning
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
(=>
(
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
è un'
istanza
di
SecretarialService
AgenteCognitivo
AgenteCognitivo
and
AgenteCognitivo
serviceProvider
ServiceProcess
and
AgenteCognitivo
serviceRecipient
ServiceProcess
and
AgenteCognitivo
AgenteCognitivo
impiega
s
AgenteCognitivo
attribute
AgenteCognitivo
and
ClericalSecretary
(=>
(
instance
?X
ServiceProcess
)
(
exists
(?AGENT ?CUST)
(
and
(
serviceProvider
?X ?AGENT)
(
serviceRecipient
?X ?CUST)
(
not
(
equal
?AGENT ?CUST)))))
Hotel.kif 1772-1778
ServiceProcess
è un'
istanza
di
ServiceProcess
AgenteCognitivo
AgenteCognitivo
serviceProvider
ServiceProcess
and
AgenteCognitivo
serviceRecipient
ServiceProcess
and
AgenteCognitivo
AgenteCognitivo
is
uguale
a
AgenteCognitivo
(=>
(
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 14225-14234
Proposizione
ha un
attributo
ServiceContract
ServiceProcess
Agreement
and
Proposizione
UST
ServiceProcess
è un'
istanza
di
ServiceProcess
ServiceProcess
esprime
il contenuto di
Proposizione
serviceProvider
ServiceProcess
and
Agreement
serviceRecipient
ServiceProcess
and
Proposizione
UST
partyToAgreement
Proposizione
and
Agreement
partyToAgreement
Proposizione
and
Proposizione
UST
(=>
(
providesDestination
?TC ?REG)
(
modalAttribute
(
exists
(?SVC)
(
and
(
instance
?SVC
TransportationService
)
(
serviceProvider
?SVC ?TC)
(
destination
?SVC ?REG)))
Possibility
))
Transportation.kif 3453-3460
providesDestination
TransportationCompany
and
Regione
l'affermazione
Entit�
Entit�
è un'
istanza
di
TransportationService
serviceProvider
Entit�
and
TransportationCompany
Entit�
fine
s in
Regione
ha il modello di forza di
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