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 | O argumento numero 1 de trusts e' uma instancia de AutonomousAgent |
(domain trusts 2 AutonomousAgent) | Law.kif 357-357 | O argumento numero 2 de trusts e' uma instancia de AutonomousAgent |
(domainSubclass trusts 3 IntentionalProcess) | Law.kif 358-358 | O argumento numero 3 de trusts e' uma sub-classe de Processo Intencional |
(instance trusts TernaryPredicate) | Law.kif 355-355 | trusts e' uma instancia de Predicado Ternario |
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 |