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 20729-20731
(domain serviceProvider 1 ServiceProcess) Mid-level-ontology.kif 20725-20725
(domain serviceProvider 2 CognitiveAgent) Mid-level-ontology.kif 20726-20726
(instance serviceProvider AsymmetricRelation) Mid-level-ontology.kif 20723-20723
(instance serviceProvider BinaryPredicate) Mid-level-ontology.kif 20722-20722
(instance serviceProvider CaseRole) Mid-level-ontology.kif 20728-20728
(instance serviceProvider IntentionalRelation) Mid-level-ontology.kif 20724-20724
(subrelation serviceProvider agent) Mid-level-ontology.kif 20727-20727

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 143-143
(termFormat ChineseLanguage serviceProvider "服务供应者") chinese_format.kif 234-234
(termFormat EnglishLanguage serviceProvider "service provider") domainEnglishFormat.kif 9136-9136

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


(=>
    (and
        (instance ?AS AccommodationService)
        (serviceRecipient ?AS ?CUST)
        (serviceProvider ?AS ?H)
        (serviceInstrument ?AS ?ROOM)
        (instance ?CUST Human)
        (instance ?ROOM HotelRoom)
        (instance ?H Hotel-Organization))
    (exists (?RATE ?PS)
        (and
            (instance ?PS PricingScheme)
            (rentalPrice ?ROOM ?RATE ?H ?PS)
            (rents ?CUST ?H ?ROOM
                (MeasureFn 1 DayDuration)))))
TravelPolicies.kif 1137-1150
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (serviceRecipient ?AS ?EMPLOYEE)
        (serviceProvider ?AS ?H)
        (serviceInstrument ?AS ?ROOM)
        (policyClause ?MaxRateK Prohibition ?TP ?COMPANY)
        (rentalPrice ?ROOM ?RATE ?H ?PS))
    (not
        (greaterThan ?RATE
            (MeasureFn 1000 UnitedStatesDollar))))
TravelPolicies.kif 1179-1194
(=>
    (and
        (instance ?X PhotocopyingService)
        (serviceProvider ?X ?AGENT))
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Photocopier)
            (possesses ?AGENT ?DEVICE)
            (instrument ?X ?DEVICE))))
Hotel.kif 2079-2087

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 1879-1890
(=>
    (and
        (instance ?AOC AOCnumber)
        (instance ?AIRLINE Airline)
        (possesses ?AIRLINE ?AOC))
    (confersRight
        (exists (?AIR)
            (and
                (instance ?AIR AirTransportationService)
                (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE))
Transportation.kif 3105-3115
(=>
    (and
        (instance ?BT BusinessTrip)
        (agent ?BT ?EMPLOYEE))
    (exists (?AS ?H)
        (and
            (instance ?AS AccommodationService)
            (subProcess ?AS ?BT)
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (instance ?H Hotel-Organization))))
TravelPolicies.kif 716-726
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrefAccom Obligation ?TP ?COMPANY))
    (exists (?H)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (instance ?H Hotel-Organization)
            (subjectiveAttribute ?H Favorite ?ORG))))
TravelPolicies.kif 869-884
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrefAccom Obligation ?TP ?COMPANY))
    (exists (?HC)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?HC)
            (instance ?HC HotelChain)
            (subjectiveAttribute ?H Favorite ?ORG))))
TravelPolicies.kif 887-902
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrivRate Obligation ?TP ?COMPANY))
    (exists (?H)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (attribute ?H PrivateRate)
            (instance ?H Hotel-Organization))))
TravelPolicies.kif 980-995
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?SuiteRoom Prohibition ?TP ?COMPANY))
    (exists (?H ?ROOM)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (serviceInstrument ?AS ?ROOM)
            (instance ?H Hotel-Organization)
            (instance ?ROOM HotelRoom)
            (not
                (attribute ?ROOM SuiteRoom)))))
TravelPolicies.kif 1106-1124
(=>
    (and
        (instance ?TP TravelPolicy)
        (policyOwner ?ORG ?TP)
        (policyClause ?PerDiemBound Obligation ?TP ?ORG))
    (exists (?AS ?H ?RATE ?ROOM ?BOUND)
        (and
            (instance ?AS AccommodationService)
            (instance ?H Hotel-Organization)
            (instance ?PS PricingScheme)
            (serviceProvider ?AS ?H)
            (serviceInstrument ?AS ?ROOM)
            (rentalPrice ?ROOM ?RATE ?H ?PS)
            (not
                (greaterThan ?RATE ?BOUND))
            (equal ?BOUND
                (PerDiemFn ?ORG)))))
TravelPolicies.kif 1212-1227
(=>
    (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 1846-1858
(=>
    (capability ChildCareService agent ?X)
    (exists (?SITTER)
        (and
            (employs ?X ?SITTER)
            (capability ChildCareService serviceProvider ?SITTER))))
Hotel.kif 1827-1832
(=>
    (instance ?AIRLINE Airline)
    (hasPurpose ?AIRLINE
        (exists (?AIR)
            (and
                (instance ?AIR AirTransportationService)
                (serviceProvider ?AIR ?AIRLINE)))))
Transportation.kif 3221-3227
(=>
    (instance ?AS AccommodationService)
    (and
        (serviceProvider ?AS Hotel-Organization)
        (serviceRecipient ?AS Human)
        (serviceInstrument ?AS HotelUnit)))
TravelPolicies.kif 750-755
(=>
    (instance ?AS AccommodationService)
    (and
        (serviceProvider ?AS Hotel-Organization)
        (serviceRecipient ?AS Human)))
TravelPolicies.kif 741-745
(=>
    (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 2095-2107
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))
Mid-level-ontology.kif 20745-20750
(=>
    (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 2222-2233
(=>
    (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 1816-1825
(=>
    (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 2203-2214
(=>
    (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 1867-1877
(=>
    (instance ?X SecretarialService)
    (exists (?SP ?SEC)
        (and
            (serviceProvider ?X ?SP)
            (serviceRecipient ?X ?SR)
            (employs ?SP ?SEC)
            (attribute ?SEC ClericalSecretary))))
Hotel.kif 2241-2248
(=>
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
        (and
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
            (not
                (equal ?AGENT ?CUST)))))
Hotel.kif 1716-1722
(=>
    (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 11815-11824
(=>
    (providesDestination ?TC ?REG)
    (modalAttribute
        (exists (?SVC)
            (and
                (instance ?SVC TransportationService)
                (serviceProvider ?SVC ?TC)
                (destination ?SVC ?REG))) Possibility))
Transportation.kif 3318-3325


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