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 (?RECEIVER)         (and             (instance ?RECEIVER CognitiveAgent)             (serviceRecipient ?EVENT ?RECEIVER))))	Mid-level-ontology.kif 25221-25226	If X is an instance of service, then there exists Y such that Y is an instance of cognitive agent and Y receives 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 ExecutiveService)     (exists (?HUMAN ?LEVEL ?ROOM)         (and             (serviceRecipient ?SVC ?HUMAN)             (stays ?HUMAN ?ROOM)             (located ?ROOM ?LEVEL)             (attribute ?LEVEL ExecutiveLevel))))	Hotel.kif 2263-2270	If X is an instance of executive service, then there exist Y, Z, W such that Y receives a service during X, Y stays at W, W is located at Z, and executive level is an attribute of Z
(=>     (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 ?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

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