Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  trusts

Sigma KEE - trusts
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 Le nombre 1 argument de trusts est une instance de AutonomousAgent
(domain trusts 2 AutonomousAgent) Law.kif 357-357 Le nombre 2 argument de trusts est une instance de AutonomousAgent
(domainSubclass trusts 3 IntentionalProcess) Law.kif 358-358 Le nombre 3 argument de trusts est une sous-classe de processus intentionnel
(instance trusts TernaryPredicate) Law.kif 355-355 trusts est une instance de pr�dicat ternaire

appearance as argument number 2
-------------------------


(format EnglishLanguage trusts " %1 trusts %2") Law.kif 360-360
(termFormat EnglishLanguage trusts "trusts") Law.kif 359-359

antecedent
-------------------------


(=>
    (trusts ?A1 ?A2
        (capability ?P agent ?A2))
    (knows ?A1
        (capability ?P agent ?A2)))
Law.kif 384-388
(=>
    (trusts ?A1 ?A2 ?P)
    (believes ?A1
        (=>
            (exists (?S ?PI ?P)
                (and
                    (instance ?S Stating)
                    (containsFormula ?S
                        (and
                            (instance ?PI ?P)
                            (agent ?PI ?A2)))))
            (modalAttribute
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2)) Likely))))
Law.kif 400-415
(=>
    (trusts ?A1 ?A2 ?P)
    (believes ?A1
        (modalAttribute
            (exists (?PI)
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2))) Possibility)))
Law.kif 390-398
(=>
    (trusts ?A1 ?A2 ?P)
    (not
        (distrusts ?A1 ?A2 ?P)))
Law.kif 379-382

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners