refers |
appearance as argument number 1 |
![]() |
(documentation refers ChineseLanguage "(refers ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 提到或引用 ?OBJ2。注:refers 的意思比 represents 更概括,因为大概可以说,只有当一样东西在引用另一样东西时 才能描述这件东西。例如:一篇主题为油价最近的变化的文章可以提到许多其它的东西,如:总体经济状况、 加利福尼亚的天气、全球变暖的前景、替代能源的选择和各家石油公司股票的价格,等等。") | chinese_format.kif 2154-2157 | |
(documentation refers EnglishLanguage "(refers ?OBJ1 ?OBJ2) means that ?OBJ1 mentions or includes a reference to ?OBJ2. Note that refers is more general in meaning than represents, because presumably something can represent something else only if it refers to this other thing. For example, an article whose topic is a recent change in the price of oil may refer to many other things, e.g. the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc.") | Merge.kif 4118-4126 | |
(domain refers 1 Entity) | Merge.kif 4115-4115 | domain refers, 1 and Entity |
(domain refers 2 Entity) | Merge.kif 4116-4116 | domain refers, 2 and Entity |
(instance refers BinaryPredicate) | Merge.kif 4114-4114 | instance refers and BinaryPredicate |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |