consequent

(=>     (and         (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)         (instance ?ATTR ServiceRating)         (instance ?ENTITY AutonomousAgent))     (exists (?SVC ?CLASSIFY)         (and             (instance ?SVC ServiceProcess)             (agent ?SVC ?ENTITY)             (instance ?CLASSIFY Classifying)             (agent ?CLASSIFY ?AGENT)             (destination ?CLASSIFY ?SVC)             (patient ?CLASSIFY ?ATTR))))	Hotel.kif 3102-3114	If subjectiveAttribute an agent, an attribute and another agent and the attribute is an instance of ServiceRating and the agent is an instance of agent, then there exist a process and another process such that the process is an instance of ServiceProcess and the agent is an agent of the process and the other process is an instance of classifying and the other agent is an agent of the other process and the other process ends up at the process and the attribute is a patient of the other process
(=>     (instance ?RATING ServiceRating)     (hasPurpose ?RATING         (exists (?C ?S)             (and                 (instance ?C Classifying)                 (destination ?C ?S)                 (patient ?C ?RATING)                 (instance ?S ServiceProcess)))))	Hotel.kif 3092-3100	If a physical is an instance of ServiceRating, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of classifying and the entity ends up at the other entity and the physical is a patient of the entity and the other entity is an instance of ServiceProcess
(=>     (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 15558-15567	If a proposition the attribute ServiceContract, then there exist a ServiceProcess, an Agreement and the propositionUST such that the ServiceProcess is an instance of ServiceProcess and the ServiceProcess expresses the content of the proposition and the Agreement provides a service during the ServiceProcess and the propositionUST receives a service during the ServiceProcess and partyToAgreement the proposition and the Agreement and partyToAgreement the proposition and the propositionUST

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 is open source software produced by Articulate Software and its partners