Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  mutualAcquaintance

Sigma KEE - mutualAcquaintance
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 16618-16622
(domain mutualAcquaintance 1 Human) Merge.kif 16624-16624 Le nombre 1 argument de mutualAcquaintance est une instance de humain
(domain mutualAcquaintance 2 Human) Merge.kif 16625-16625 Le nombre 2 argument de mutualAcquaintance est une instance de humain
(instance mutualAcquaintance BinaryPredicate) Merge.kif 16615-16615 mutualAcquaintance est une instance de pr�dicat binaire
(instance mutualAcquaintance SymmetricRelation) Merge.kif 16616-16616 mutualAcquaintance est une instance de relation sym�trique
(subrelation mutualAcquaintance acquaintance) Merge.kif 16626-16626 mutualAcquaintance est une sous-relation de acquaintance

appearance as argument number 2
-------------------------


(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 23641-23641 mutualStranger et mutualAcquaintance sont disjoint
(format ChineseLanguage mutualAcquaintance "%2 %n 是 %1 的 mutual 熟人") domainEnglishFormat.kif 1767-1767 mutualStranger et mutualAcquaintance sont disjoint
(format ChineseTraditionalLanguage mutualAcquaintance "%2 %n 是 %1 的 mutual 熟人") domainEnglishFormat.kif 1766-1766 mutualStranger et mutualAcquaintance sont disjoint
(format EnglishLanguage mutualAcquaintance "%2 is %n a mutual acquaintance of %1") domainEnglishFormat.kif 1765-1765 mutualStranger et mutualAcquaintance sont disjoint
(subrelation cohabitant mutualAcquaintance) Mid-level-ontology.kif 23269-23269 cohabitant est une sous-relation de mutualAcquaintance
(subrelation coworker mutualAcquaintance) Mid-level-ontology.kif 23246-23246 coworker est une sous-relation de mutualAcquaintance
(subrelation friend mutualAcquaintance) Mid-level-ontology.kif 23234-23234 friend est une sous-relation de mutualAcquaintance
(subrelation spouse mutualAcquaintance) Merge.kif 16627-16627 spouse est une sous-relation de mutualAcquaintance
(termFormat ChineseLanguage mutualAcquaintance "相识熟人") domainEnglishFormat.kif 39521-39521 spouse est une sous-relation de mutualAcquaintance
(termFormat ChineseTraditionalLanguage mutualAcquaintance "相識熟人") domainEnglishFormat.kif 39520-39520 spouse est une sous-relation de mutualAcquaintance
(termFormat EnglishLanguage mutualAcquaintance "mutual acquaintance") domainEnglishFormat.kif 39519-39519 spouse est une sous-relation de mutualAcquaintance


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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