Logo - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Logo EnglishLanguage "Instances of Logo are Images that identify a particular AutonomousAgent, typically an Organization, and the use of which may be reserved to the identified Agents through trademark registry or other legal sanction.")	Media.kif 877-880
(subclass Logo Image)	Media.kif 881-881	Logo is a subclass of image
(subclass Logo Icon)	Society.kif 302-302	Logo is a subclass of icon

appearance as argument number 2

(subclass Wordmark Logo)	Society.kif 306-306	Wordmark is a subclass of logo
(subclass StockExchangeTicker Logo)	Society.kif 537-537	StockExchangeTicker is a subclass of logo
(termFormat EnglishLanguage Logo "logo")	domainEnglishFormat.kif 65135-65135	StockExchangeTicker is a subclass of logo

antecedent

(=>
    (and
        (instance ?LOGO Logo)
        (represents ?LOGO ?OBJ))
    (or
        (instance ?OBJ AutonomousAgent)
        (instance ?OBJ Product)))

If X is an instance of logo and X expresses Y, then Y is an instance of agent or Y is an instance of product