representsForAgent - Sigma Knowledge base Browser

appearance as argument number 1

(instance representsForAgent TernaryPredicate)	Merge.kif 4577-4577	represents for agent is an instance of ternary predicate
(domain representsForAgent 1 Entity)	Merge.kif 4578-4578	The number 1 argument of represents for agent is an instance of entity
(domain representsForAgent 2 Entity)	Merge.kif 4579-4579	The number 2 argument of represents for agent is an instance of entity
(domain representsForAgent 3 AutonomousAgent)	Merge.kif 4580-4580	The number 3 argument of represents for agent is an instance of agent
(documentation representsForAgent EnglishLanguage "A very general predicate. (representsForAgent ?ENTITY1 ?ENTITY2 ?AGENT) means that the ?AGENT chooses to use ?ENTITY1 to 'stand for' ?ENTITY2.")	Merge.kif 4582-4584	The number 3 argument of represents for agent is an instance of agent

appearance as argument number 2

(termFormat EnglishLanguage representsForAgent "represents for agent")	domainEnglishFormat.kif 49533-49533
(termFormat ChineseTraditionalLanguage representsForAgent "代表代理人")	domainEnglishFormat.kif 49534-49534
(termFormat ChineseLanguage representsForAgent "代表代理人")	domainEnglishFormat.kif 49535-49535
(format EnglishLanguage representsForAgent "%3 %n{doesn't} use%p{s} %1 to stand for %2")	english_format.kif 230-230

antecedent

(=>
(representsForAgent ?REP ?ENTITY ?AGENT)
(represents ?REP ?ENTITY))

If X uses Y to stand for Z, then Y expresses Z

consequent

(=>
    (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
    (exists (?AGENT)
        (representsForAgent ?REP ?ENTITY ?AGENT)))

If X represents Y in the language Z, then there exists W such that W uses X to stand for Y