Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - serviceProvider
serviceProvider

appearance as argument number 1
-------------------------


s__documentation(s__serviceProvider__m,s__EnglishLanguage,'"(serviceProvider ?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT."')

Mid-level-ontology.kif 21972-21974
s__domain(s__serviceProvider__m,n__1,s__ServiceProcess)

Mid-level-ontology.kif 21968-21968 The number 1 argument of service provider is an instance of service
s__domain(s__serviceProvider__m,n__2,s__CognitiveAgent)

Mid-level-ontology.kif 21969-21969 The number 2 argument of service provider is an instance of cognitive agent
s__instance(s__serviceProvider__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__Class)

Mid-level-ontology.kif 21966-21966 service provider is an instance of asymmetric relation
s__instance(s__serviceProvider__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__Class)

Mid-level-ontology.kif 21965-21965 service provider is an instance of binary predicate
s__instance(s__CaseRole,s__Class)

s__instance(s__serviceProvider__m,s__CaseRole)

Mid-level-ontology.kif 21971-21971 service provider is an instance of case role
s__instance(s__IntentionalRelation,s__Class)

s__instance(s__serviceProvider__m,s__IntentionalRelation)

Mid-level-ontology.kif 21967-21967 service provider is an instance of intentional relation
s__subrelation(s__serviceProvider__m,s__agent__m)

Mid-level-ontology.kif 21970-21970 service provider is a subrelation of agent

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__serviceProvider__m,'"%2 %n{doesnt} 在 %1 中提供服务"')

chinese_format.kif 233-233
s__format(s__EnglishLanguage,s__serviceProvider__m,'"%2 %n{doesnt} provide%p{s} a service during %1"')

english_format.kif 237-237
s__termFormat(s__ChineseLanguage,s__serviceProvider__m,'"服务供应者"')

chinese_format.kif 234-234
s__termFormat(s__ChineseLanguage,s__serviceProvider__m,'"服务提供者"')

domainEnglishFormat.kif 52258-52258
s__termFormat(s__ChineseTraditionalLanguage,s__serviceProvider__m,'"服務提供者"')

domainEnglishFormat.kif 52257-52257
s__termFormat(s__EnglishLanguage,s__serviceProvider__m,'"service provider"')

domainEnglishFormat.kif 52256-52256

antecedent
-------------------------


( ! [V__AGENT,V__X] :
   ((s__instance(V__AGENT,s__CognitiveAgent) =>
       (((s__instance(V__X,s__PhotocopyingService) &
             s__serviceProvider(V__X,V__AGENT))
         =>
         (( ? [V__DEVICE] :
             ((s__instance(V__DEVICE,s__Photocopier) &
                 s__possesses(V__AGENT,V__DEVICE)
               &
               s__instrument(V__X,V__DEVICE))))))))
)
)

Hotel.kif 2111-2119
( ! [V__X,V__Y] :
   ((s__instance(V__Y,s__CognitiveAgent) =>
       (((s__instance(V__X,s__WaterTransportationService) &
             s__serviceProvider(V__X,V__Y)
           &
           s__attribute(V__Y,s__CoastalAndGreatLakesFreightTransportation))
         =>
         (( ? [V__FREIGHT, V__SHIP, V__WATER] :
             ((s__subProcess(V__FREIGHT,V__X)
               &
               s__instance(V__FREIGHT,s__WaterTransportation) &
               s__instrument(V__FREIGHT,V__SHIP)
             &
             s__instance(V__SHIP,s__CargoShip) &
             s__eventLocated(V__FREIGHT,V__WATER)
           &
           s__instance(V__WATER,s__WaterArea) &
           s__geographicSubregion(V__WATER,s__UnitedStates))))))))
)
)

naics.kif 8191-8204
( ! [V__X,V__Y] :
   ((s__instance(V__Y,s__CognitiveAgent) =>
       (((s__instance(V__X,s__WaterTransportationService) &
             s__serviceProvider(V__X,V__Y)
           &
           s__attribute(V__Y,s__CoastalAndGreatLakesPassengerTransportation))
         =>
         (( ? [V__CRUISE, V__SHIP, V__WATER] :
             ((s__subProcess(V__CRUISE,V__X)
               &
               s__instance(V__CRUISE,s__WaterTransportation) &
               s__instrument(V__CRUISE,V__SHIP)
             &
             s__instance(V__SHIP,s__PassengerShip) &
             s__eventLocated(V__CRUISE,V__WATER)
           &
           s__instance(V__WATER,s__WaterArea) &
           s__geographicSubregion(V__WATER,s__UnitedStates) &
           ~(( ? [V__FERRY] :
               ((s__instance(V__FERRY,s__ShortSeaPassengerShip) &
                   (V__SHIP = V__FERRY))))))))))))
)
)

naics.kif 8214-8232
( ! [V__X,V__Y] :
   ((s__instance(V__Y,s__CognitiveAgent) =>
       (((s__instance(V__X,s__WaterTransportationService) &
             s__serviceProvider(V__X,V__Y)
           &
           s__attribute(V__Y,s__DeepSeaFreightTransportation))
         =>
         (( ? [V__FREIGHT, V__SHIP] :
             ((s__subProcess(V__FREIGHT,V__X)
               &
               s__instance(V__FREIGHT,s__WaterTransportation) &
               s__instrument(V__FREIGHT,V__SHIP)
             &
             s__instance(V__SHIP,s__CargoShip) &
             s__eventLocated(V__FREIGHT,s__WorldOcean))))))))
)
)

naics.kif 8146-8157
( ! [V__X,V__Y] :
   ((s__instance(V__Y,s__CognitiveAgent) =>
       (((s__instance(V__X,s__WaterTransportationService) &
             s__serviceProvider(V__X,V__Y)
           &
           s__attribute(V__Y,s__DeepSeaPassengerTransportation))
         =>
         (( ? [V__CRUISE, V__SHIP] :
             ((s__subProcess(V__CRUISE,V__X)
               &
               s__instance(V__CRUISE,s__WaterTransportation) &
               s__instrument(V__CRUISE,V__SHIP)
             &
             s__instance(V__SHIP,s__PassengerShip) &
             s__eventLocated(V__CRUISE,s__WorldOcean) &
             ~(( ? [V__FERRY] :
                 ((s__instance(V__FERRY,s__ShortSeaPassengerShip) &
                     (V__SHIP = V__FERRY))))))))))))
)
)

naics.kif 8166-8182

consequent
-------------------------


( ! [V__X] :
   (((s__attribute(V__X,s__DeepSeaCoastalAndGreatLakesWaterTransportation) &
         s__instance(V__X,s__TransportationCompany))
       =>
       (( ? [V__SERVICE, V__PLACE] :
           ((s__instance(V__SERVICE,s__WaterTransportationService) &
               s__serviceProvider(V__SERVICE,V__X)
             &
             s__eventLocated(V__SERVICE,V__PLACE)
           &
           s__instance(V__PLACE,s__WaterArea) &
           s__located(V__X,s__NorthAmerica))))))
)
)

naics.kif 8127-8137
( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       (((s__attribute(V__X,s__TravelerAccommodation) &
             s__capability(s__RoomCleaningService,s__agent__m,V__X))
         =>
         (( ? [V__MAID, V__HOTELROOM] :
             ((s__instance(V__MAID,s__CognitiveAgent) &
                 (s__employs(V__X,V__MAID)
                 &
                 s__attribute(V__MAID,s__Maid) &
                 s__instance(V__HOTELROOM,s__HotelUnit) &
                 s__part(V__HOTELROOM,s__PropertyFn(V__X))
             &
             s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
           &
           s__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID)))))))))
)
)

Hotel.kif 1910-1921
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3195-3205
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1877-1889
( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       ((s__capability(s__ChildCareService,s__agent__m,V__X)
         =>
         (( ? [V__SITTER] :
             ((s__instance(V__SITTER,s__CognitiveAgent) &
                 (s__employs(V__X,V__SITTER)
                 &
                 s__capability(s__ChildCareService,s__serviceProvider__m,V__SITTER)))))))))
)
)

Hotel.kif 1858-1863
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3311-3317
( ! [V__CHECK] :
   ((s__instance(V__CHECK,s__CheckInService) =>
       (( ? [V__AGENT, V__CUST, V__GREET, V__SERVICE] :
           ((s__instance(V__AGENT,s__CognitiveAgent) &
               s__instance(V__CUST,s__CognitiveAgent) &
               (s__customer(V__CUST,V__AGENT)
               &
               s__serviceProvider(V__CHECK,V__AGENT)
             &
             s__instance(V__GREET,s__Greeting) &
             s__agent(V__GREET,V__CUST)
           &
           s__destination(V__GREET,V__AGENT)
         &
         s__subProcess(V__GREET,V__CHECK)
       &
       s__instance(V__SERVICE,s__Process) &
       s__agent(V__SERVICE,V__AGENT)
     &
     s__causes(V__CHECK,V__SERVICE)))))))
)
)

Hotel.kif 2127-2139
( ! [V__EVENT] :
   ((s__instance(V__EVENT,s__ServiceProcess) =>
       (( ? [V__PROVIDER] :
           ((s__instance(V__PROVIDER,s__CognitiveAgent) &
               s__serviceProvider(V__EVENT,V__PROVIDER))))))
   )
)

Mid-level-ontology.kif 21987-21992
( ! [V__MS] :
   ((s__instance(V__MS,s__MedicalService) =>
       (( ? [V__AGENT, V__HUMAN, V__PROC] :
           ((s__instance(V__AGENT,s__Agent) &
               s__instance(V__HUMAN,s__CognitiveAgent) &
               (s__agent(V__MS,V__AGENT)
               &
               s__employs(V__AGENT,V__HUMAN)
             &
             s__attribute(V__HUMAN,s__MedicalDoctor) &
             s__serviceProvider(V__MS,V__HUMAN)
           &
           (s__instance(V__PROC,s__TherapeuticProcess) |
             s__instance(V__PROC,s__DiagnosticProcess))
           &
           s__subProcess(V__PROC,V__MS)))))))
)
)

Hotel.kif 2254-2265
( ! [V__SVC] :
   ((s__instance(V__SVC,s__ChildCareService) =>
       (( ? [V__CHILD, V__SITTER] :
           ((s__instance(V__SITTER,s__Organism) &
               s__instance(V__SITTER,s__CognitiveAgent) &
               ((s__instance(V__CHILD,s__HumanChild) |
                   s__instance(V__CHILD,s__HumanBaby))
                 &
                 s__serviceProvider(V__SVC,V__SITTER)
               &
               s__patient(V__SVC,V__CHILD)
             &
             ~(s__parent(V__CHILD,V__SITTER))))))))
)
)

Hotel.kif 1847-1856
( ! [V__SVC] :
   ((s__instance(V__SVC,s__SafetyDepositService) =>
       (( ? [V__SAFE, V__KEEP, V__OBJ, V__AGENT] :
           ((s__instance(V__OBJ,s__Object) &
               s__instance(V__AGENT,s__CognitiveAgent) &
               (s__serviceProvider(V__SVC,V__AGENT)
               &
               s__instance(V__SAFE,s__SafeContainer) &
               s__instance(V__KEEP,s__Keeping) &
               s__located(V__KEEP,V__SAFE)
             &
             s__possesses(V__AGENT,V__SAFE)
           &
           s__patient(V__KEEP,V__OBJ)
         &
         s__subProcess(V__KEEP,V__SVC)
       &
       ~(s__possesses(V__AGENT,V__OBJ))))))))
)
)

Hotel.kif 2235-2246
( ! [V__X] :
   ((s__instance(V__X,s__RoomCleaningService) =>
       (( ? [V__MAID, V__PLACE, V__CLEAN] :
           ((s__instance(V__MAID,s__CognitiveAgent) &
               s__instance(V__PLACE,s__Object) &
               (s__attribute(V__MAID,s__Maid) &
                 s__serviceProvider(V__X,V__MAID)
               &
               s__located(V__X,V__PLACE)
             &
             s__subProcess(V__CLEAN,V__X)
           &
           s__instance(V__CLEAN,s__Cleaning) &
           s__patient(V__CLEAN,V__PLACE)
         &
         s__agent(V__CLEAN,V__MAID)))))))
)
)

Hotel.kif 1898-1908
( ! [V__X] :
   ((s__instance(V__X,s__SecretarialService) =>
       (( ? [V__SP, V__SR, V__SEC] :
           ((s__instance(V__SP,s__CognitiveAgent) &
               s__instance(V__SR,s__CognitiveAgent) &
               s__instance(V__SEC,s__CognitiveAgent) &
               (s__serviceProvider(V__X,V__SP)
               &
               s__serviceRecipient(V__X,V__SR)
             &
             s__employs(V__SP,V__SEC)
           &
           s__attribute(V__SEC,s__ClericalSecretary)))))))
)
)

Hotel.kif 2273-2280
( ! [V__X] :
   ((s__instance(V__X,s__ServiceProcess) =>
       (( ? [V__AGENT, V__CUST] :
           ((s__instance(V__AGENT,s__CognitiveAgent) &
               s__instance(V__CUST,s__CognitiveAgent) &
               (s__serviceProvider(V__X,V__AGENT)
               &
               s__serviceRecipient(V__X,V__CUST)
             &
             ~((V__AGENT = V__CUST))))))))
)
)

Hotel.kif 1747-1753
( ! [V__C,V__CUST,V__SERVICE] :
   (((s__instance(V__C,s__Proposition) &
         s__instance(V__C,s__CognitiveAgent) &
         s__instance(V__CUST,s__Agreement) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__SERVICE,s__Agreement) &
         s__instance(V__SERVICE,s__CognitiveAgent))
       =>
       ((s__property(V__C,s__ServiceContract) =>
           (( ? [V__SP] :
               ((s__instance(V__SP,s__ServiceProcess) &
                   s__realization(V__SP,V__C)
                 &
                 s__serviceProvider(V__SP,V__SERVICE)
               &
               s__serviceRecipient(V__SP,V__CUST)
             &
             s__partyToAgreement(V__C,V__SERVICE)
           &
           s__partyToAgreement(V__C,V__CUST))))))))
)
)

Mid-level-ontology.kif 13390-13399
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3408-3415


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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