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 381-383
(domain trusts 1 AutonomousAgent) Law.kif 375-375 trusts 的 1 数量 是 施事体 的 instance
(domain trusts 2 AutonomousAgent) Law.kif 376-376 trusts 的 2 数量 是 施事体 的 instance
(domainSubclass trusts 3 IntentionalProcess) Law.kif 377-377 trusts 的 3 数量 是 有意图过程 的 subclass
(instance trusts TernaryRelation) Law.kif 374-374 trusts 是 三元关系 的 instance

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


(format EnglishLanguage trusts " %1 trusts %2") Law.kif 379-379
(termFormat EnglishLanguage trusts "trusts") Law.kif 378-378

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


(=>
    (trusts ?A1 ?A2
        (capability ?P agent ?A2))
    (knows ?A1
        (capability ?P agent ?A2)))		 Law.kif 403-407
(=>
    (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 419-434
(=>
    (trusts ?A1 ?A2 ?P)
    (believes ?A1
        (modalAttribute
            (exists (?PI)
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2))) Possibility)))		 Law.kif 409-417
(=>
    (trusts ?A1 ?A2 ?P)
    (not
        (distrusts ?A1 ?A2 ?P)))		 Law.kif 398-401

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