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 405-407
(domain trusts 1 AutonomousAgent) Law.kif 399-399 trusts 的 1 数量 是 施事体 的 instance
(domain trusts 2 AutonomousAgent) Law.kif 400-400 trusts 的 2 数量 是 施事体 的 instance
(domainSubclass trusts 3 IntentionalProcess) Law.kif 401-401 trusts 的 3 数量 是 有意图过程 的 subclass
(instance trusts TernaryRelation) Law.kif 398-398 trusts 是 三元关系 的 instance

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


(format EnglishLanguage trusts " %1 trusts %2") Law.kif 403-403
(termFormat EnglishLanguage trusts "trusts") Law.kif 402-402

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


(=>
    (trusts ?A1 ?A2
        (capability ?P agent ?A2))
    (knows ?A1
        (capability ?P agent ?A2)))		 Law.kif 427-431
(=>
    (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 443-458
(=>
    (trusts ?A1 ?A2 ?P)
    (believes ?A1
        (modalAttribute
            (exists (?PI)
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2))) Possibility)))		 Law.kif 433-441
(=>
    (trusts ?A1 ?A2 ?P)
    (not
        (distrusts ?A1 ?A2 ?P)))		 Law.kif 422-425

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


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


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