mutualAcquaintance |
appearance as argument number 1 |
(documentation mutualAcquaintance ChineseLanguage "(mutualAcquaintance ?H1 ?H2)的意思是 ?H1 和 ?H2 彼此已经认识并且知道对方的一些事情,如名字和外表。用这个谓词所做的定义需要以 holdsDuring 来限制它发生的时间。可以参考这个谓词的比较弱、不对称的版本 acquaintance。") | chinese_format.kif 3710-3712 | |
(documentation mutualAcquaintance EnglishLanguage "(mutualAcquaintance ?H1 ?H2) means that ?H1 and ?H2 have met each other and know something about each other, such as name and appearance. Statements made with this predicate should be temporally specified with holdsDuring. See also the weaker, non-symmetric version of this predicate, acquaintance.") | Merge.kif 16569-16573 | |
(domain mutualAcquaintance 1 Human) | Merge.kif 16575-16575 | Il numero 1 argomenti di mutualAcquaintance è un istanza di Umano |
(domain mutualAcquaintance 2 Human) | Merge.kif 16576-16576 | Il numero 2 argomenti di mutualAcquaintance è un istanza di Umano |
(instance mutualAcquaintance BinaryPredicate) | Merge.kif 16566-16566 | mutualAcquaintance è un' istanza di PredicatoBinario |
(instance mutualAcquaintance SymmetricRelation) | Merge.kif 16567-16567 | mutualAcquaintance è un' istanza di RelazioneSimmetrica |
(subrelation mutualAcquaintance acquaintance) | Merge.kif 16577-16577 | mutualAcquaintance è una sottorelazione di acquaintance |
appearance as argument number 2 |