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 24524-24526 | |
(domain serviceProvider 1 ServiceProcess) | Mid-level-ontology.kif 24520-24520 | |
(domain serviceProvider 2 CognitiveAgent) | Mid-level-ontology.kif 24521-24521 | |
(instance serviceProvider AsymmetricRelation) | Mid-level-ontology.kif 24518-24518 | |
(instance serviceProvider BinaryPredicate) | Mid-level-ontology.kif 24517-24517 | |
(instance serviceProvider CaseRole) | Mid-level-ontology.kif 24523-24523 | |
(instance serviceProvider IntentionalRelation) | Mid-level-ontology.kif 24519-24519 | |
(subrelation serviceProvider agent) | Mid-level-ontology.kif 24522-24522 |
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 52279-52279 | |
(termFormat ChineseTraditionalLanguage serviceProvider "服務提供者") | domainEnglishFormat.kif 52278-52278 | |
(termFormat EnglishLanguage serviceProvider "service provider") | domainEnglishFormat.kif 52277-52277 |
antecedent |
![]() |
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 1946-1957 | |
(=> (and (instance ?AOC AOCnumber) (instance ?AIRLINE Airline) (possesses ?AIRLINE ?AOC)) (confersRight (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE)) |
Transportation.kif 4092-4102 | |
(=> (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 1913-1925 | |
(=> (capability ChildCareService agent ?X) (exists (?SITTER) (and (employs ?X ?SITTER) (capability ChildCareService serviceProvider ?SITTER)))) |
Hotel.kif 1894-1899 | |
(=> (instance ?AIRLINE Airline) (hasPurpose ?AIRLINE (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))))) |
Transportation.kif 4445-4451 | |
(=> (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 2165-2177 | |
(=> (instance ?EVENT ServiceProcess) (exists (?PROVIDER) (and (instance ?PROVIDER CognitiveAgent) (serviceProvider ?EVENT ?PROVIDER)))) |
Mid-level-ontology.kif 24539-24544 | |
(=> (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 2292-2303 | |
(=> (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 1883-1892 | |
(=> (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 2273-2284 | |
(=> (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 1934-1944 | |
(=> (instance ?X SecretarialService) (exists (?SP ?SR ?SEC) (and (serviceProvider ?X ?SP) (serviceRecipient ?X ?SR) (employs ?SP ?SEC) (attribute ?SEC ClericalSecretary)))) |
Hotel.kif 2311-2318 | |
(=> (instance ?X ServiceProcess) (exists (?AGENT ?CUST) (and (serviceProvider ?X ?AGENT) (serviceRecipient ?X ?CUST) (not (equal ?AGENT ?CUST))))) |
Hotel.kif 1783-1789 | |
(=> (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 15569-15578 | |
(=> (providesDestination ?TC ?REG) (modalAttribute (exists (?SVC) (and (instance ?SVC TransportationService) (serviceProvider ?SVC ?TC) (destination ?SVC ?REG))) Possibility)) |
Transportation.kif 4542-4549 |
![]() |
![]() |