agentName - Sigma Knowledge base Browser

appearance as argument number 1

(instance agentName BinaryPredicate)	Media.kif 3334-3334	agent name is an instance of binary predicate
(instance agentName AsymmetricRelation)	Media.kif 3335-3335	agent name is an instance of asymmetric relation
(instance agentName PartialValuedRelation)	Media.kif 3336-3336	agent name is an instance of partial valued relation
(domain agentName 1 SymbolicString)	Media.kif 3337-3337	The number 1 argument of agent name is an instance of symbolic string
(domain agentName 2 AutonomousAgent)	Media.kif 3338-3338	The number 2 argument of agent name is an instance of agent
(subrelation agentName names)	Media.kif 3339-3339	agent name is a subrelation of names
(documentation agentName EnglishLanguage "(agentName ?STRING ?OBJ) means that ?STRING is a full or partial name for the AutonomousAgent ?OBJ.")	Media.kif 3340-3342	agent name is a subrelation of names

appearance as argument number 2

(subrelation humanName agentName)	Media.kif 3354-3354	human name is a subrelation of agent name
(subrelation organizationName agentName)	Media.kif 3390-3390	organization name is a subrelation of agent name
(format EnglishLanguage agentName "the name of %2 is %1")	domainEnglishFormat.kif 2712-2712	organization name is a subrelation of agent name
(format ChineseTraditionalLanguage agentName "%2 的 name 是 %1 ")	domainEnglishFormat.kif 2713-2713	organization name is a subrelation of agent name
(format ChineseLanguage agentName "%2 的 name 是 %1 ")	domainEnglishFormat.kif 2714-2714	organization name is a subrelation of agent name
(termFormat EnglishLanguage agentName "agent name")	domainEnglishFormat.kif 65776-65776	organization name is a subrelation of agent name

consequent

(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ AutonomousAgent))
    (agentName ?STRING ?OBJ))

If X has name Y and X is an instance of agent, then the name of X is Y