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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 22832-22834
(domain serviceProvider 1 ServiceProcess) Mid-level-ontology.kif 22828-22828 serviceProvider の数値 1 引数は ServiceProcess の instance では %n
(domain serviceProvider 2 CognitiveAgent) Mid-level-ontology.kif 22829-22829 serviceProvider の数値 2 引数は 認識エージェント の instance では %n
(instance serviceProvider AsymmetricRelation) Mid-level-ontology.kif 22826-22826 serviceProvider は 非対称関係 の instance では %n
(instance serviceProvider BinaryPredicate) Mid-level-ontology.kif 22825-22825 serviceProvider は 2進述語 の instance では %n
(instance serviceProvider CaseRole) Mid-level-ontology.kif 22831-22831 serviceProvider は 格役割 の instance では %n
(instance serviceProvider IntentionalRelation) Mid-level-ontology.kif 22827-22827 serviceProvider は IntentionalRelation の instance では %n
(subrelation serviceProvider agent) Mid-level-ontology.kif 22830-22830 serviceProvider は agent の subrelation では %n

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 52287-52287
(termFormat ChineseTraditionalLanguage serviceProvider "服務提供者") domainEnglishFormat.kif 52286-52286
(termFormat EnglishLanguage serviceProvider "service provider") domainEnglishFormat.kif 52285-52285

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


(=>
    (and
        (instance ?X PhotocopyingService)
        (serviceProvider ?X ?AGENT))
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Photocopier)
            (possesses ?AGENT ?DEVICE)
            (instrument ?X ?DEVICE))))		 Hotel.kif 2138-2146
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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

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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (capability ChildCareService agent ?X)
    (exists (?SITTER)
        (and
            (employs ?X ?SITTER)
            (capability ChildCareService serviceProvider ?SITTER))))		 Hotel.kif 1883-1888
(=>
    (instance ?AIRLINE Airline)
    (hasPurpose ?AIRLINE
        (exists (?AIR)
            (and
                (instance ?AIR AirTransportationService)
                (serviceProvider ?AIR ?AIRLINE)))))		 Transportation.kif 3304-3310
(=>
    (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
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))		 Mid-level-ontology.kif 22847-22852
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (instance ?X SecretarialService)
    (exists (?SP ?SR ?SEC)
        (and
            (serviceProvider ?X ?SP)
            (serviceRecipient ?X ?SR)
            (employs ?SP ?SEC)
            (attribute ?SEC ClericalSecretary))))		 Hotel.kif 2300-2307
(=>
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
        (and
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
            (not
                (equal ?AGENT ?CUST)))))		 Hotel.kif 1772-1778
(=>
    (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 14169-14178
(=>
    (providesDestination ?TC ?REG)
    (modalAttribute
        (exists (?SVC)
            (and
                (instance ?SVC TransportationService)
                (serviceProvider ?SVC ?TC)
                (destination ?SVC ?REG))) Possibility))		 Transportation.kif 3401-3408


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