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 362-364
(domain trusts 1 AutonomousAgent) Law.kif 356-356 trusts の数値 1 引数は AutonomousAgentinstance では %n
(domain trusts 2 AutonomousAgent) Law.kif 357-357 trusts の数値 2 引数は AutonomousAgentinstance では %n
(domainSubclass trusts 3 IntentionalProcess) Law.kif 358-358 trusts の数値 3 引数は 意図的なプロセスsubclass では %n
(instance trusts TernaryPredicate) Law.kif 355-355 trusts3進述語instance では %n

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

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


(=>
    (distrusts ?A1 ?A2 ?P)
    (not
        (trusts ?A1 ?A2 ?P)))
Law.kif 417-420


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 3.0 is open source software produced by Articulate Software and its partners