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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 401-403
(domain trusts 1 Agent) Law.kif 395-395
(domain trusts 2 Agent) Law.kif 396-396
(domainSubclass trusts 3 IntentionalProcess) Law.kif 397-397
(instance trusts TernaryRelation) Law.kif 394-394

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


(format EnglishLanguage trusts " %1 trusts %2") Law.kif 399-399
(termFormat EnglishLanguage trusts "trusts") Law.kif 398-398

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


(=>
    (trusts ?A1 ?A2
        (capability ?P agent ?A2))
    (knows ?A1
        (capability ?P agent ?A2)))
Law.kif 423-427
(=>
    (trusts ?A1 ?A2 ?P)
    (believes ?A1
        (=>
            (and
                (instance ?S Stating)
                (containsFormula ?S
                    (exists (?PI)
                        (and
                            (instance ?PI ?P)
                            (agent ?PI ?A2)))))
            (modalAttribute
                (exists (?PI)
                    (and
                        (instance ?PI ?P)
                        (agent ?PI ?A2))) Likely))))
Law.kif 439-455
(=>
    (trusts ?A1 ?A2 ?P)
    (believes ?A1
        (modalAttribute
            (exists (?PI)
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2))) Possibility)))
Law.kif 429-437
(=>
    (trusts ?A1 ?A2 ?P)
    (not
        (distrusts ?A1 ?A2 ?P)))
Law.kif 418-421

consequent
-------------------------


(=>
    (distrusts ?A1 ?A2 ?P)
    (not
        (trusts ?A1 ?A2 ?P)))
Law.kif 457-460


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners