represents |
appearance as argument number 1 |
![]() |
(documentation represents ChineseLanguage "这是一个十分概括的符号 Predicate, (represents ?THING ?ENTITY) 的意思是 ?THING 在某些方面表示、表意味、 想象和形容 ?ENTITY等等。 Predicate containsInformation 和 realization 是 represents 的子关系。注: represents 是 refers 的子关系,因为只有当一样东西在引用另一样东西时,才能描述这件东西。可参考 names 的文档字符串。") | chinese_format.kif 2164-2168 | |
(documentation represents EnglishLanguage "A very general semiotics Predicate. (represents ?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY. The Predicates containsInformation and realization are subrelations of represents. Note that represents is a subrelation of refers, since something can represent something else only if it refers to this other thing. See the documentation string for names.") | Merge.kif 4367-4373 | |
(instance represents BinaryPredicate) | Merge.kif 4365-4365 | instance represents and BinaryPredicate |
(subrelation represents refers) | Merge.kif 4364-4364 | subrelation represents and refers |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(represents ResistorElement Dissipator) | engineering.kif 848-848 | represents ResistorElement and Dissipator |
(represents ResistorElement ElectricalTwopole) | engineering.kif 849-849 | represents ResistorElement and ElectricalTwopole |
![]() |
![]() |