trusts - Sigma Knowledge base Browser

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	The number 1 argument of trusts is an instance of agent
(domain trusts 2 AutonomousAgent)	Law.kif 357-357	The number 2 argument of trusts is an instance of agent
(domainSubclass trusts 3 IntentionalProcess)	Law.kif 358-358	The number 3 argument of trusts is a subclass of intentional process
(instance trusts TernaryPredicate)	Law.kif 355-355	trusts is an instance of ternary predicate

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	If a cognitive agent trusts an agent, then the cognitive agent knows the agent is capable of doing an entity as a agent
(=> (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	If a cognitive agent trusts an agent, then the cognitive agent believes if there exist an entity, another entity and a kind of intentional process such that the entity is an instance of stating and the entity contains the formula the other entity is an instance of a kind of intentional process and the agent is an agent of the other entity, then the statement the other entity is an instance of the kind of intentional process and the agent is an agent of the other entity has the modal force of likely
(=> (trusts ?A1 ?A2 ?P) (believes ?A1 (modalAttribute (exists (?PI) (and (instance ?PI ?P) (agent ?PI ?A2))) Possibility)))	Law.kif 390-398	If a cognitive agent trusts an agent, then the cognitive agent believes the statement there exists an entity such that the entity is an instance of a kind of intentional process and the agent is an agent of the entity has the modal force of possibility
(=> (trusts ?A1 ?A2 ?P) (not (distrusts ?A1 ?A2 ?P)))	Law.kif 379-382	If an agent trusts another agent, then not the agent distrusts the other agent

consequent

(=>
    (distrusts ?A1 ?A2 ?P)
    (not
        (trusts ?A1 ?A2 ?P)))

Law.kif 417-420

If an agent distrusts another agent,
then not the agent trusts the other agent

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