(=>     (rewards ?A ?H)     (exists (?O ?POS ?PROC)         (and             (occupiesPosition ?A ?POS ?O)             (agent ?PROC ?A)             (wants ?O ?PROC))))	Law.kif 116-122	If a human rewards an agent, then there exist an organization, a position and a process such that the human holds the position of the position in the organization and the human is an agent of the process and the organization wants the process
(=>     (rewards ?A ?H)     (exists (?P)         (and             (agent ?P ?H)             (wants ?A ?P))))	Law.kif 104-109	If a cognitive agent rewards an agent, then there exists a process such that the agent is an agent of the process and the cognitive agent wants the process
(=>     (suffers ?A ?B)     (not         (wants ?B ?A)))	Mid-level-ontology.kif 29610-29613	If a cognitive agent suffers from a process, then the cognitive agent doesn't want the process

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