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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 16707-16711
(domain mutualAcquaintance 1 Human) Merge.kif 16713-16713 mutualAcquaintance の数値 1 引数は 人［人間］ の instance では
(domain mutualAcquaintance 2 Human) Merge.kif 16714-16714 mutualAcquaintance の数値 2 引数は 人［人間］ の instance では
(instance mutualAcquaintance BinaryPredicate) Merge.kif 16704-16704 mutualAcquaintance は 2進述語 の instance では
(instance mutualAcquaintance SymmetricRelation) Merge.kif 16705-16705 mutualAcquaintance は 対称関係 の instance では
(subrelation mutualAcquaintance acquaintance) Merge.kif 16715-16715 mutualAcquaintance は acquaintance の subrelation では

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


(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 25001-25001 mutualStranger と mutualAcquaintance は disjoint では
(format ChineseLanguage mutualAcquaintance "%2 %n 是 %1 的 mutual 熟人") domainEnglishFormat.kif 1771-1771 mutualStranger と mutualAcquaintance は disjoint では
(format ChineseTraditionalLanguage mutualAcquaintance "%2 %n 是 %1 的 mutual 熟人") domainEnglishFormat.kif 1770-1770 mutualStranger と mutualAcquaintance は disjoint では
(format EnglishLanguage mutualAcquaintance "%2 is %n a mutual acquaintance of %1") domainEnglishFormat.kif 1769-1769 mutualStranger と mutualAcquaintance は disjoint では
(subrelation cohabitant mutualAcquaintance) Mid-level-ontology.kif 24629-24629 cohabitant は mutualAcquaintance の subrelation では
(subrelation coworker mutualAcquaintance) Mid-level-ontology.kif 24606-24606 coworker は mutualAcquaintance の subrelation では
(subrelation friend mutualAcquaintance) Mid-level-ontology.kif 24594-24594 friend は mutualAcquaintance の subrelation では
(subrelation spouse mutualAcquaintance) Merge.kif 16716-16716 spouse は mutualAcquaintance の subrelation では
(termFormat ChineseLanguage mutualAcquaintance "相识熟人") domainEnglishFormat.kif 39496-39496 spouse は mutualAcquaintance の subrelation では
(termFormat ChineseTraditionalLanguage mutualAcquaintance "相識熟人") domainEnglishFormat.kif 39495-39495 spouse は mutualAcquaintance の subrelation では
(termFormat EnglishLanguage mutualAcquaintance "mutual acquaintance") domainEnglishFormat.kif 39494-39494 spouse は mutualAcquaintance の subrelation では


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