| Logo(logo) | | logo, logotype |
| 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 886-889 | |
| (subclass Logo Image) | Media.kif 890-890 | Logo is a subclass of image |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Logo "logo") | domainEnglishFormat.kif 65180-65180 |
| antecedent |
|
|
| (=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ AutonomousAgent) (instance ?OBJ Product))) |
Media.kif 895-901 |
|
|
|
|