| direct-children | documentation | graph |
inScopeOfInterest | 13 | A very general Predicate. (inScopeOfInterest ?AGENT ?ENTITY) means that ?ENTITY is within the s... | ^ |
enemy | . | Marks two Agents that are enemies of each other | ^ |
enjoys | . | (enjoys ?AGENT ?PROCESS) means that the CognitiveAgent ?AGENT tends to enjoy actions of type ?P... | ^ |
dislikes | . | (dislikes ?AGENT ?OBJECT) means that ?AGENT has a feeling of antipathy to ?OBJECT, i.e. ?AGENT be... | ^ |
disapproves | . | (disapproves ?AGENT ?FORMULA) means that ?AGENT has a feeling of antipathy to the state of affair... | ^ |
approves | . | (approves ?AGENT1 ?AGENT2) means that ?AGENT1 is satisfied that ?AGENT2 has met some requirement ... | ^ |
needs | 1 | (needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?... | ^ |
wants | . | (wants ?AGENT ?OBJECT) means that ?OBJECT is desired by ?AGENT, i.e. ?AGENT believes that ?OBJECT... | ^ |
desires | . | (desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed b... | ^ |
considers | . | (considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposi... | ^ |
believes | . | The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the prop... | ^ |
knows | . | The epistemic predicate of knowing. (knows ?AGENT ?FORMULA) means that ?AGENT knows the propositi... | ^ |
says | . | A basic predicate of Communicating that also entails that the agent is aware of the Formula h... | ^ |