consequent

(=>     (instance ?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 15802-15811	If X is an instance of service contract, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of service (3) Y expresses the content of X (4) Z provides a service during Y (5) W receives a service during Y (6) Z is a party to agreement of X (7) W is a party to agreement of X
(=>     (instance ?EVENT ServiceProcess)     (exists (?PROVIDER)         (and             (instance ?PROVIDER CognitiveAgent)             (serviceProvider ?EVENT ?PROVIDER))))	Mid-level-ontology.kif 25214-25219	If X is an instance of service, then there exists Y such that Y is an instance of cognitive agent and Y provides a service during X
(=>     (instance ?X ServiceProcess)     (exists (?AGENT ?CUST)         (and             (serviceProvider ?X ?AGENT)             (serviceRecipient ?X ?CUST)             (not                 (equal ?AGENT ?CUST)))))	Hotel.kif 1783-1789	If X is an instance of service, then there exist Y, Z such that Y provides a service during X, Z receives a service during X, equal Y, and Z
(=>     (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 1889-1898	If X is an instance of child-care service, then there exist Y, Z such that Y is an instance of human child or Y is an instance of human baby, Z provides a service during X, Y is a patient of X, and Z is not a parent of Y
(=>     (capability ChildCareService agent ?X)     (exists (?SITTER)         (and             (employs ?X ?SITTER)             (capability ChildCareService serviceProvider ?SITTER))))	Hotel.kif 1900-1905	If X is capable of doing child-care service as a agent, then there exists Y such that X employs Y and Y is capable of doing child-care service as a service provider
(=>     (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 1920-1932	If X is an instance of nursery, X is an element of belongings of Y, and traveler accommodation is an attribute of Y, then there exist Z, W such that communal is an attribute of X, Y employs Z, Z has the purpose W is an instance of child-care service, and Z provides a service during W
(=>     (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 1941-1951	If X is an instance of service, then All of the following hold: (1) there exist Y, Z (2) W such that maid is an attribute of Y (3) Y provides a service during X (4) X is located at Z (5) W is a subprocess of X (6) W is an instance of cleaning (7) Z is a patient of W (8) Y is an agent of W
(=>     (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 1953-1964	If traveler accommodation is an attribute of X and X is capable of doing service as a agent, then All of the following hold: (1) there exist Y (2) Z such that X employs Y (3) maid is an attribute of Y (4) Z is an instance of hotel unit (5) Z is a part of belongings of X (6) Z is capable of doing service as a patient (7) Y is capable of doing service as a service provider
(=>     (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 2172-2184	If X is an instance of check-in service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a customer of Z (3) Y provides a service during X (4) W is an instance of greeting (5) Z is an agent of W (6) W ends up at Y (7) W is a subprocess of X (8) V is an instance of process (9) Y is an agent of V (10) X causes V
(=>     (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 2280-2291	If X is an instance of safety deposit box, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that V provides a service during X (3) Y is an instance of safe container (4) Z is an instance of keeping (5) Z is located at Y (6) V possesses Y (7) W is a patient of Z (8) Z is a subprocess of X (9) V doesn't possess W
(=>     (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 2299-2310	If X is an instance of medical service, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) Y employs Z (4) medical doctor is an attribute of Z (5) Z provides a service during X (6) W is an instance of therapeutic process or W is an instance of diagnostic process (7) W is a subprocess of X
(=>     (instance ?X SecretarialService)     (exists (?SP ?SR ?SEC)         (and             (serviceProvider ?X ?SP)             (serviceRecipient ?X ?SR)             (employs ?SP ?SEC)             (attribute ?SEC ClericalSecretary))))	Hotel.kif 2318-2325	If X is an instance of secretarial service, then there exist Y, Z, W such that Y provides a service during X, Z receives a service during X, Y employs W, and clerical secretary is an attribute of W
(=>     (and         (instance ?AOC AOCnumber)         (instance ?AIRLINE Airline)         (possesses ?AIRLINE ?AOC))     (confersRight FederalAviationAdministration ?AIRLINE         (exists (?AIR)             (and                 (instance ?AIR AirTransportationService)                 (serviceProvider ?AIR ?AIRLINE)))))	Transportation.kif 4634-4644	If X is an instance of AOC number, Y is an instance of Airline, and Y possesses X, then Y allows there exists Z such that Z is an instance of Air Transportation Service and Y provides a service during Z to perform task of the type Federal Aviation Administration
(=>     (instance ?AIRLINE Airline)     (hasPurpose ?AIRLINE         (exists (?AIR)             (and                 (instance ?AIR AirTransportationService)                 (serviceProvider ?AIR ?AIRLINE)))))	Transportation.kif 4987-4993	If X is an instance of Airline, then X has the purpose there exists Y such that Y is an instance of Air Transportation Service and X provides a service during Y
(=>     (providesDestination ?TC ?REG)     (modalAttribute         (exists (?SVC)             (and                 (instance ?SVC TransportationService)                 (serviceProvider ?SVC ?TC)                 (destination ?SVC ?REG))) Possibility))	Transportation.kif 5084-5091	If X provides transportation to Y, then the statement there exists Z such that Z is an instance of transportation service, X provides a service during Z, and Z ends up at Y has the modal force of possibility
(=>     (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 HotelOrganization))))	TravelPolicies.kif 718-728	If X is an instance of BusinessTrip and Y is an agent of X, then there exist Z, W such that Z is an instance of AccommodationService, Z is a subprocess of X, Y receives a service during Z, W provides a service during Z, and W is an instance of HotelOrganization
(=>     (instance ?AS AccommodationService)     (exists (?HOTEL ?CUSTOMER ?ROOM)         (and             (instance ?HOTEL HotelOrganization)             (instance ?CUSTOMER Human)             (instance ?ROOM HotelUnit)             (serviceProvider ?AS ?HOTEL)             (serviceRecipient ?AS ?CUSTOMER)             (serviceInstrument ?AS ?ROOM))))	TravelPolicies.kif 753-762	If X is an instance of AccommodationService, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of HotelOrganization (3) Z is an instance of human (4) W is an instance of hotel unit (5) Y provides a service during X (6) Z receives a service during X (7) serviceInstrument X (8) W
(=>     (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 HotelOrganization))))	TravelPolicies.kif 989-1004	If All of the following hold: (1) X is an instance of BusinessTrip (2) Y is an instance of AccommodationService (3) Y is a subprocess of X (4) Z is an instance of TravelPolicy (5) W is an agent of X (6) V employs W (7) V enacts policy Z (8) policy clause U, obligation, Z and V, then there exists T such that W receives a service during Y, T provides a service during Y, PrivateRate is an attribute of T, and T is an instance of HotelOrganization
(=>     (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 8117-8127	If deep sea coastal and great lakes water transportation is an attribute of X and X is an instance of transportation company, then there exist Y, Z such that Y is an instance of Water Transportation Service, X provides a service during Y, Y is located at Z, Z is an instance of water area, and X is located at north america

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners