trusts |
appearance as argument number 1 |
(documentation trusts EnglishLanguage "A Relation between two Agents and a class of Processes where the first agent believes that the second agent will do what he says, at least with respect to that kind of action.") | Law.kif 362-364 | |
(domain trusts 1 AutonomousAgent) | Law.kif 356-356 | Die Zahl 1 Argument von trusts ist ein fall von AutonomousAgent %n{nicht} |
(domain trusts 2 AutonomousAgent) | Law.kif 357-357 | Die Zahl 2 Argument von trusts ist ein fall von AutonomousAgent %n{nicht} |
(domainSubclass trusts 3 IntentionalProcess) | Law.kif 358-358 | Die Zahl 3 Argument von trusts ist eine teilkategorie von IntentionalProcess %n{nicht} |
(instance trusts TernaryPredicate) | Law.kif 355-355 | trusts ist ein fall von TernaryPredicate %n{nicht} |
appearance as argument number 2 |
(format EnglishLanguage trusts " %1 trusts %2") | Law.kif 360-360 | |
(termFormat EnglishLanguage trusts "trusts") | Law.kif 359-359 |
antecedent |
consequent |
(=> (distrusts ?A1 ?A2 ?P) (not (trusts ?A1 ?A2 ?P))) |
Law.kif 417-420 |