organizationName - Sigma Knowledge base Browser

appearance as argument number 1

(instance organizationName BinaryPredicate)	Media.kif 3386-3386	organization name is an instance of binary predicate
(instance organizationName AsymmetricRelation)	Media.kif 3387-3387	organization name is an instance of asymmetric relation
(domain organizationName 1 SymbolicString)	Media.kif 3388-3388	The number 1 argument of organization name is an instance of symbolic string
(domain organizationName 2 Organization)	Media.kif 3389-3389	The number 2 argument of organization name is an instance of organization
(subrelation organizationName agentName)	Media.kif 3390-3390	organization name is a subrelation of agent name
(documentation organizationName EnglishLanguage "(organizationName ?STRING ?OBJ) means that ?STRING is a full or partial name for the Organization ?OBJ.")	Media.kif 3391-3393	organization name is a subrelation of agent name

appearance as argument number 2

(format EnglishLanguage organizationName "%2 is called %1")	domainEnglishFormat.kif 4040-4040
(format ChineseTraditionalLanguage organizationName "%2 是 called %1 ")	domainEnglishFormat.kif 4041-4041
(format ChineseLanguage organizationName "%2 是 called %1 ")	domainEnglishFormat.kif 4042-4042
(termFormat EnglishLanguage organizationName "organization name")	domainEnglishFormat.kif 65912-65912

consequent

(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Organization))
    (organizationName ?STRING ?OBJ))

If X has name Y and X is an instance of organization, then X is called Y