wants |
(=> (rewards ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC)))) |
Law.kif 116-122 |
|
(=> (rewards ?A ?H) (exists (?P) (and (agent ?P ?H) (wants ?A ?P)))) |
Law.kif 104-109 | |
(=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 29598-29601 |