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
-------------------------


(documentation serviceProvider EnglishLanguage "(serviceProvider ?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT.") Mid-level-ontology.kif 20761-20763
(domain serviceProvider 1 ServiceProcess) Mid-level-ontology.kif 20757-20757 domain serviceProvider, 1 and ServiceProcess
(domain serviceProvider 2 CognitiveAgent) Mid-level-ontology.kif 20758-20758 domain serviceProvider, 2 and CognitiveAgent
(instance serviceProvider AsymmetricRelation) Mid-level-ontology.kif 20755-20755 instance serviceProvider and AsymmetricRelation
(instance serviceProvider BinaryPredicate) Mid-level-ontology.kif 20754-20754 instance serviceProvider and BinaryPredicate
(instance serviceProvider CaseRole) Mid-level-ontology.kif 20760-20760 instance serviceProvider and CaseRole
(instance serviceProvider IntentionalRelation) Mid-level-ontology.kif 20756-20756 instance serviceProvider and IntentionalRelation
(subrelation serviceProvider agent) Mid-level-ontology.kif 20759-20759 subrelation serviceProvider and 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 237-237
(termFormat ChineseLanguage serviceProvider "服务供应者") chinese_format.kif 234-234 termFormat ChineseLanguage, serviceProvider and "服务供应者"
(termFormat ChineseLanguage serviceProvider "服务提供者") domainEnglishFormat.kif 52213-52213 termFormat ChineseLanguage, serviceProvider and "服务提供者"
(termFormat ChineseTraditionalLanguage serviceProvider "服務提供者") domainEnglishFormat.kif 52212-52212 termFormat ChineseTraditionalLanguage, serviceProvider and "服務提供者"
(termFormat EnglishLanguage serviceProvider "service provider") domainEnglishFormat.kif 52211-52211 termFormat EnglishLanguage, serviceProvider and "service provider"

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


(=>
    (and
        (instance ?X PhotocopyingService)
        (serviceProvider ?X ?AGENT))
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Photocopier)
            (possesses ?AGENT ?DEVICE)
            (instrument ?X ?DEVICE))))		 Hotel.kif 2084-2092

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


(=>
    (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 1883-1894
(=>
    (and
        (instance ?AOC AOCnumber)
        (instance ?AIRLINE Airline)
        (possesses ?AIRLINE ?AOC))
    (confersRight
        (exists (?AIR)
            (and
                (instance ?AIR AirTransportationService)
                (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE))		 Transportation.kif 3157-3167
(=>
    (and
        (instance ?X Nursery)
        (element ?X
            (PropertyFn ?HOTEL))
        (attribute ?HOTEL TravelerAccommodation))
    (and
        (attribute ?X CommunalAttribute)
        (employs ?HOTEL ?NANNY)
        (hasPurpose ?NANNY
            (exists (?CARE)
                (and
                    (instance ?CARE ChildCareService)
                    (serviceProvider ?CARE ?NANNY))))))		 Hotel.kif 1850-1862
(=>
    (capability ChildCareService agent ?X)
    (exists (?SITTER)
        (and
            (employs ?X ?SITTER)
            (capability ChildCareService serviceProvider ?SITTER))))		 Hotel.kif 1831-1836
(=>
    (instance ?AIRLINE Airline)
    (hasPurpose ?AIRLINE
        (exists (?AIR)
            (and
                (instance ?AIR AirTransportationService)
                (serviceProvider ?AIR ?AIRLINE)))))		 Transportation.kif 3273-3279
(=>
    (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 2100-2112
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))		 Mid-level-ontology.kif 20777-20782
(=>
    (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 2227-2238
(=>
    (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 1820-1829
(=>
    (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 2208-2219
(=>
    (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 1871-1881
(=>
    (instance ?X SecretarialService)
    (exists (?SP ?SR ?SEC)
        (and
            (serviceProvider ?X ?SP)
            (serviceRecipient ?X ?SR)
            (employs ?SP ?SEC)
            (attribute ?SEC ClericalSecretary))))		 Hotel.kif 2246-2253
(=>
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
        (and
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
            (not
                (equal ?AGENT ?CUST)))))		 Hotel.kif 1720-1726
(=>
    (property ?C ServiceContract)
    (exists (?SP)
        (and
            (instance ?SP ServiceProcess)
            (realization ?SP ?C)
            (serviceProvider ?SP ?SERVICE)
            (serviceRecipient ?SP ?CUST)
            (partyToAgreement ?C ?SERVICE)
            (partyToAgreement ?C ?CUST))))		 Mid-level-ontology.kif 11820-11829
(=>
    (providesDestination ?TC ?REG)
    (modalAttribute
        (exists (?SVC)
            (and
                (instance ?SVC TransportationService)
                (serviceProvider ?SVC ?TC)
                (destination ?SVC ?REG))) Possibility))		 Transportation.kif 3370-3377


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners