Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| distrusts |
| appearance as argument number 1 |
|
| (instance distrusts TernaryPredicate) | Law.kif 347-347 | distrusts is an instance of ternary predicate |
| (domain distrusts 1 AutonomousAgent) | Law.kif 348-348 | The number 1 argument of distrusts is an instance of agent |
| (domain distrusts 2 AutonomousAgent) | Law.kif 349-349 | The number 2 argument of distrusts is an instance of agent |
| (domainSubclass distrusts 3 IntentionalProcess) | Law.kif 350-350 | The number 3 argument of distrusts is a subclass of intentional process |
| (documentation distrusts EnglishLanguage "A Relation between two Agents and a class of Processes where the first agent does not believe that the second agent will do what he says, at least with respect to that kind of action, either because he will lie, or because he simply is not capable of performing the action.") | Law.kif 354-358 | The number 3 argument of distrusts is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage distrusts "distrusts") | Law.kif 351-351 | |
| (format EnglishLanguage distrusts "%1 distrusts %2 will do %3") | Law.kif 352-352 |
| antecedent |
|
|
| (=> (distrusts ?A1 ?A2 ?P) (not (trusts ?A1 ?A2 ?P))) |
Law.kif 398-401 | If X distrusts Y will do Z, then X trusts Y will do Z |
| (=> (distrusts ?A1 ?A2 ?P) (believes ?A1 (modalAttribute (exists (?PI) (and (instance ?PI ?P) (agent ?PI ?A2))) Unlikely))) |
Law.kif 403-411 | If X distrusts Y will do Z, then X believes the statement there exists W such that W is an instance of Z and Y is an agent of W has the modal force of unlikely |
| consequent |
|
|
| (=> (trusts ?A1 ?A2 ?P) (not (distrusts ?A1 ?A2 ?P))) |
Law.kif 360-363 | If X trusts Y will do Z, then X distrusts Y will do Z |
|