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 21521-21523
(domain serviceProvider 1 ServiceProcess) Mid-level-ontology.kif 21517-21517
(domain serviceProvider 2 CognitiveAgent) Mid-level-ontology.kif 21518-21518
(instance serviceProvider AsymmetricRelation) Mid-level-ontology.kif 21515-21515
(instance serviceProvider BinaryPredicate) Mid-level-ontology.kif 21514-21514
(instance serviceProvider CaseRole) Mid-level-ontology.kif 21520-21520
(instance serviceProvider IntentionalRelation) Mid-level-ontology.kif 21516-21516
(subrelation serviceProvider agent) Mid-level-ontology.kif 21519-21519

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 "服务提供者") domainEnglishFormat.kif 52258-52258
(termFormat ChineseTraditionalLanguage serviceProvider "服務提供者") domainEnglishFormat.kif 52257-52257
(termFormat EnglishLanguage serviceProvider "service provider") domainEnglishFormat.kif 52256-52256

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


(=>
    (and
        (instance ?X PhotocopyingService)
        (serviceProvider ?X ?AGENT))
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Photocopier)
            (possesses ?AGENT ?DEVICE)
            (instrument ?X ?DEVICE))))
Hotel.kif 2098-2106
(=>
    (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 8191-8204
(=>
    (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 8214-8232
(=>
    (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 8146-8157
(=>
    (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 8166-8182

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 8127-8137
(=>
    (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 1897-1908
(=>
    (and
        (instance ?AOC AOCnumber)
        (instance ?AIRLINE Airline)
        (possesses ?AIRLINE ?AOC))
    (confersRight
        (exists (?AIR)
            (and
                (instance ?AIR AirTransportationService)
                (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE))
Transportation.kif 3195-3205
(=>
    (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 1864-1876
(=>
    (capability ChildCareService agent ?X)
    (exists (?SITTER)
        (and
            (employs ?X ?SITTER)
            (capability ChildCareService serviceProvider ?SITTER))))
Hotel.kif 1845-1850
(=>
    (instance ?AIRLINE Airline)
    (hasPurpose ?AIRLINE
        (exists (?AIR)
            (and
                (instance ?AIR AirTransportationService)
                (serviceProvider ?AIR ?AIRLINE)))))
Transportation.kif 3311-3317
(=>
    (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 2114-2126
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))
Mid-level-ontology.kif 21536-21541
(=>
    (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 2241-2252
(=>
    (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 1834-1843
(=>
    (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 2222-2233
(=>
    (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 1885-1895
(=>
    (instance ?X SecretarialService)
    (exists (?SP ?SR ?SEC)
        (and
            (serviceProvider ?X ?SP)
            (serviceRecipient ?X ?SR)
            (employs ?SP ?SEC)
            (attribute ?SEC ClericalSecretary))))
Hotel.kif 2260-2267
(=>
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
        (and
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
            (not
                (equal ?AGENT ?CUST)))))
Hotel.kif 1734-1740
(=>
    (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 12947-12956
(=>
    (providesDestination ?TC ?REG)
    (modalAttribute
        (exists (?SVC)
            (and
                (instance ?SVC TransportationService)
                (serviceProvider ?SVC ?TC)
                (destination ?SVC ?REG))) Possibility))
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