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 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
-------------------------


(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 23357-23357 mutualStranger e mutualAcquaintance sono disgiunti
(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 22985-22985 cohabitant è una sottorelazione di mutualAcquaintance
(subrelation coworker mutualAcquaintance) Mid-level-ontology.kif 22962-22962 coworker è una sottorelazione di mutualAcquaintance
(subrelation friend mutualAcquaintance) Mid-level-ontology.kif 22950-22950 friend è una sottorelazione di mutualAcquaintance
(subrelation spouse mutualAcquaintance) Merge.kif 16578-16578 spouse è una sottorelazione di mutualAcquaintance
(termFormat ChineseLanguage mutualAcquaintance "相识熟人") domainEnglishFormat.kif 39483-39483
(termFormat ChineseTraditionalLanguage mutualAcquaintance "相識熟人") domainEnglishFormat.kif 39482-39482
(termFormat EnglishLanguage mutualAcquaintance "mutual acquaintance") domainEnglishFormat.kif 39481-39481


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