acquaintance |
appearance as argument number 1 |
(documentation acquaintance ChineseLanguage "(acquaintance ?H1 ?H2)的意思是 ?H1 已经认识也 知道一些有关 ?H2 的事,例如 ?H2 的名字和外表。用这个谓词所做的定义需要以 holdsDuring 来限制它发生的 时间。注:acquaintance 是不对称的。有关它的对称版本可参考 mutualAcquaintance。") | chinese_format.kif 3707-3709 | |
(documentation acquaintance EnglishLanguage "(acquaintance ?H1 ?H2) means that ?H1 has met and knows something about ?H2, such as ?H2's name and appearance. Statements made with this predicate should be temporally specified with holdsDuring. Note that acquaintance is not symmetric. For the symmetric version, see mutualAcquaintance.") | Merge.kif 16606-16610 | |
(domain acquaintance 1 Human) | Merge.kif 16612-16612 | The number 1 argument of acquaintance is an instance of human |
(domain acquaintance 2 Human) | Merge.kif 16613-16613 | The number 2 argument of acquaintance is an instance of human |
(instance acquaintance BinaryPredicate) | Merge.kif 16604-16604 | acquaintance is an instance of binary predicate |
appearance as argument number 2 |