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 | Il numero 1 argomenti di trusts è un istanza di AutonomousAgent |
(domain trusts 2 AutonomousAgent) | Law.kif 357-357 | Il numero 2 argomenti di trusts è un istanza di AutonomousAgent |
(domainSubclass trusts 3 IntentionalProcess) | Law.kif 358-358 | Il numero 3 argomento trusts è una sottoclasse diProcessoIntenzionale |
(instance trusts TernaryPredicate) | Law.kif 355-355 | trusts è un' istanza di PredicatoTernario |
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 |
![]() |
![]() |