| 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 16618-16622 | |
| (domain mutualAcquaintance 1 Human) | Merge.kif 16624-16624 | 域 相識熟人, 1 and Human |
| (domain mutualAcquaintance 2 Human) | Merge.kif 16625-16625 | 域 相識熟人, 2 and Human |
| (instance mutualAcquaintance BinaryPredicate) | Merge.kif 16615-16615 | 例 相識熟人 and BinaryPredicate |
| (instance mutualAcquaintance SymmetricRelation) | Merge.kif 16616-16616 | 例 相識熟人 and SymmetricRelation |
| (subrelation mutualAcquaintance acquaintance) | Merge.kif 16626-16626 | 子關係 相識熟人 and 熟人 |
| appearance as argument number 2 |
|
|
| (disjointRelation mutualStranger mutualAcquaintance) | Mid-level-ontology.kif 23410-23410 | 不相交的關係 相互陌生的人 and 相識熟人 |
| (format ChineseLanguage mutualAcquaintance "%2 %n 是 %1 的 mutual 熟人") | domainEnglishFormat.kif 1767-1767 | |
| (format ChineseTraditionalLanguage mutualAcquaintance "%2 %n 是 %1 的 mutual 熟人") | domainEnglishFormat.kif 1766-1766 | |
| (format EnglishLanguage mutualAcquaintance "%2 is %n a mutual acquaintance of %1") | domainEnglishFormat.kif 1765-1765 | |
| (subrelation cohabitant mutualAcquaintance) | Mid-level-ontology.kif 23038-23038 | 子關係 同居 and 相識熟人 |
| (subrelation coworker mutualAcquaintance) | Mid-level-ontology.kif 23015-23015 | 子關係 同事 and 相識熟人 |
| (subrelation friend mutualAcquaintance) | Mid-level-ontology.kif 23003-23003 | 子關係 朋友 and 相識熟人 |
| (subrelation spouse mutualAcquaintance) | Merge.kif 16627-16627 | 子關係 伴侶 and 相識熟人 |
| (termFormat ChineseLanguage mutualAcquaintance "相识熟人") | domainEnglishFormat.kif 39485-39485 | |
| (termFormat ChineseTraditionalLanguage mutualAcquaintance "相識熟人") | domainEnglishFormat.kif 39484-39484 | |
| (termFormat EnglishLanguage mutualAcquaintance "mutual acquaintance") | domainEnglishFormat.kif 39483-39483 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners