PropertyFn |
appearance as argument number 1 |
![]() |
(documentation PropertyFn ChineseLanguage "这是个 UnaryFunction,它把一个 Agent 和属于 Agent 的 Object Set 联系起来。") | chinese_format.kif 2135-2136 | |
(documentation PropertyFn EnglishLanguage "A UnaryFunction that maps an Agent to the Set of Objects owned by the Agent.") | Merge.kif 4187-4188 | |
(domain PropertyFn 1 Agent) | Merge.kif 4184-4184 | The number 1 argument of property is an instance of agent |
(instance PropertyFn TotalValuedRelation) | Merge.kif 4183-4183 | Property is an instance of total valued relation |
(instance PropertyFn UnaryFunction) | Merge.kif 4182-4182 | Property is an instance of unary function |
(range PropertyFn Set) | Merge.kif 4185-4185 | The range of property is an instance of set |
appearance as argument number 2 |
![]() |
(format ChineseLanguage PropertyFn "%1 的财产") | chinese_format.kif 269-269 | |
(format EnglishLanguage PropertyFn "belongings of %1") | english_format.kif 274-274 | |
(termFormat ChineseLanguage PropertyFn "属于财产函数") | chinese_format.kif 270-270 | |
(termFormat ChineseLanguage PropertyFn "属性") | domainEnglishFormat.kif 47793-47793 | |
(termFormat ChineseTraditionalLanguage PropertyFn "屬性") | domainEnglishFormat.kif 47792-47792 | |
(termFormat EnglishLanguage PropertyFn "property") | domainEnglishFormat.kif 47791-47791 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |