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
Le nombre 1 argument de
serviceProvider
est une
instance
de
ServiceProcess
(
domain
serviceProvider
2
CognitiveAgent
)
Mid-level-ontology.kif 22878-22878
Le nombre 2 argument de
serviceProvider
est une
instance
de
agent cognitif
(
instance
serviceProvider
AsymmetricRelation
)
Mid-level-ontology.kif 22875-22875
serviceProvider
est une
instance
de
relation asym�trique
(
instance
serviceProvider
BinaryPredicate
)
Mid-level-ontology.kif 22874-22874
serviceProvider
est une
instance
de
pr�dicat binaire
(
instance
serviceProvider
CaseRole
)
Mid-level-ontology.kif 22880-22880
serviceProvider
est une
instance
de
r�le d�pendant du cas
(
instance
serviceProvider
IntentionalRelation
)
Mid-level-ontology.kif 22876-22876
serviceProvider
est une
instance
de
IntentionalRelation
(
subrelation
serviceProvider
agent
)
Mid-level-ontology.kif 22879-22879
serviceProvider
est une
sous
-relation 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
est une
instance
de
PhotocopyingService
serviceProvider
ServiceProcess
and
agent cognitif
objet
objet
est une
instance
de
Photocopier
agent cognitif
poss
�de
objet
objet
est un
instrument
pour
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
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
CoastalAndGreatLakesFreightTransportation
est un
attribut
de
agent cognitif
processus
objet
and
secteur g�ographique
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
WaterTransportation
objet
est un
instrument
pour
processus
objet
est une
instance
de
CargoShip
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
plan d'eau
geographicSubregion
secteur g�ographique
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
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
CoastalAndGreatLakesPassengerTransportation
est un
attribut
de
agent cognitif
processus
objet
and
secteur g�ographique
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
WaterTransportation
objet
est un
instrument
pour
processus
objet
est une
instance
de
PassengerShip
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
plan d'eau
geographicSubregion
secteur g�ographique
and
UnitedStates
entit�
entit�
est une
instance
de
ShortSeaPassengerShip
objet
est
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
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
DeepSeaFreightTransportation
est un
attribut
de
agent cognitif
processus
objet
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
WaterTransportation
objet
est un
instrument
pour
processus
objet
est une
instance
de
CargoShip
eventLocated
processus
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
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
DeepSeaPassengerTransportation
est un
attribut
de
agent cognitif
processus
objet
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
WaterTransportation
objet
est un
instrument
pour
processus
objet
est une
instance
de
PassengerShip
eventLocated
processus
and
WorldOcean
entit�
entit�
est une
instance
de
ShortSeaPassengerShip
objet
est
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
DeepSeaCoastalAndGreatLakesWaterTransportation
est un
attribut
de
agent cognitif
agent cognitif
est une
instance
de
TransportationCompany
ServiceProcess
objet
ServiceProcess
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
eventLocated
ServiceProcess
and
objet
objet
est une
instance
de
plan d'eau
agent cognitif
est
situ
� �
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
est un
attribut
de
AutonomousAgent
AutonomousAgent
est
capable
de faire
RoomCleaningService
dans le r�le
agent
agent cognitif
objet
AutonomousAgent
emploie
agent cognitif
Maid
est un
attribut
de
agent cognitif
objet
est une
instance
de
HotelUnit
objet
est une
partie
de
appartenir
�
AutonomousAgent
objet
est
capable
de faire
RoomCleaningService
dans le r�le
patient
agent cognitif
est
capable
de faire
RoomCleaningService
dans le r�le
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
Objet
est une
instance
de
AOCnumber
agent cognitif
est une
instance
de
Airline
agent cognitif
poss
�de
objet
FederalAviationAdministration
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
AirTransportationService
serviceProvider
entit�
and
agent cognitif
(=>
(
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
Objet
est une
instance
de
Nursery
objet
est un
appartenir
�
AutonomousAgent
TravelerAccommodation
est un
attribut
de
AutonomousAgent
agent cognitif
entit�
CommunalAttribute
est un
attribut
de
objet
AutonomousAgent
emploie
agent cognitif
agent cognitif
a pour
but
entit�
est une
instance
de
ChildCareService
serviceProvider
entit�
and
agent cognitif
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
AutonomousAgent
est
capable
de faire
ChildCareService
dans le r�le
agent
agent cognitif
AutonomousAgent
emploie
agent cognitif
agent cognitif
est
capable
de faire
ChildCareService
dans le r�le
serviceProvider
(=>
(
instance
?AIRLINE
Airline
)
(
hasPurpose
?AIRLINE
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))))
Transportation.kif 3304-3310
Physique
est une
instance
de
Airline
physique
a pour
but
entit�
entit�
est une
instance
de
AirTransportationService
serviceProvider
entit�
and
physique
(=>
(
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
est une
instance
de
CheckInService
agent cognitif
agent cognitif
,
processus
and
processus
customer
agent cognitif
and
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
processus
est une
instance
de
Greeting
processus
est un
agent
de
agent cognitif
processus
aboutit
�
agent cognitif
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
ServiceProcess
cause
processus
(=>
(
instance
?EVENT
ServiceProcess
)
(
exists
(?PROVIDER)
(
and
(
instance
?PROVIDER
CognitiveAgent
)
(
serviceProvider
?EVENT ?PROVIDER))))
Mid-level-ontology.kif 22896-22901
ServiceProcess
est une
instance
de
ServiceProcess
agent cognitif
agent cognitif
est une
instance
de
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
(=>
(
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
est une
instance
de
MedicalService
AutonomousAgent
agent cognitif
and
processus
ServiceProcess
est un
agent
de
AutonomousAgent
AutonomousAgent
emploie
agent cognitif
MedicalDoctor
est un
attribut
de
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
processus
est une
instance
de
processus therapeutique
processus
est une
instance
de
processus de diagnostique
processus
est un
sous
-processus 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
est une
instance
de
ChildCareService
organisme
organisme
organisme
est une
instance
de
HumanChild
organisme
est une
instance
de
HumanBaby
serviceProvider
ServiceProcess
and
organisme
organisme
est un
patient
de
ServiceProcess
organisme
est un
parent
de
organisme
(=>
(
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
est une
instance
de
SafetyDepositService
objet
processus
,
objet
and
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
objet
est une
instance
de
SafeContainer
processus
est une
instance
de
garder
processus
est
situ
� �
objet
agent cognitif
poss
�de
objet
objet
est un
patient
de
processus
processus
est un
sous
-processus de
ServiceProcess
agent cognitif
ne
poss
�de %n{pas}
objet
(=>
(
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
est une
instance
de
RoomCleaningService
agent cognitif
objet
and
processus
Maid
est un
attribut
de
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
ServiceProcess
est
situ
� �
objet
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
Cleaning
objet
est un
patient
de
processus
processus
est un
agent
de
agent cognitif
(=>
(
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
est une
instance
de
SecretarialService
agent cognitif
agent cognitif
and
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
serviceRecipient
ServiceProcess
and
agent cognitif
agent cognitif
emploie
agent cognitif
ClericalSecretary
est un
attribut
de
agent cognitif
(=>
(
instance
?X
ServiceProcess
)
(
exists
(?AGENT ?CUST)
(
and
(
serviceProvider
?X ?AGENT)
(
serviceRecipient
?X ?CUST)
(
not
(
equal
?AGENT ?CUST)))))
Hotel.kif 1772-1778
ServiceProcess
est une
instance
de
ServiceProcess
agent cognitif
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
serviceRecipient
ServiceProcess
and
agent cognitif
agent cognitif
est
agent cognitif
(=>
(
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
a un
attribute
ServiceContract
ServiceProcess
Agreement
and
proposition
UST
ServiceProcess
est une
instance
de
ServiceProcess
ServiceProcess
exprime
le contenu de
proposition
serviceProvider
ServiceProcess
and
Agreement
serviceRecipient
ServiceProcess
and
proposition
UST
partyToAgreement
proposition
and
Agreement
partyToAgreement
proposition
and
proposition
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
r�gion
l'argument
entit�
entit�
est une
instance
de
TransportationService
serviceProvider
entit�
and
TransportationCompany
entit�
aboutit
�
r�gion
a la
force
modale
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