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 16643-16647
(domain mutualAcquaintance 1 Human) Merge.kif 16649-16649 The number 1 argument of mutual acquaintance is an instance of human
(domain mutualAcquaintance 2 Human) Merge.kif 16650-16650 The number 2 argument of mutual acquaintance is an instance of human
(instance mutualAcquaintance BinaryPredicate) Merge.kif 16640-16640 mutual acquaintance is an instance of binary predicate
(instance mutualAcquaintance SymmetricRelation) Merge.kif 16641-16641 mutual acquaintance is an instance of symmetric relation
(subrelation mutualAcquaintance acquaintance) Merge.kif 16651-16651 mutual acquaintance is a subrelation of acquaintance

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


(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 24472-24472 mutual stranger and mutual acquaintance are disjoint
(format ChineseLanguage mutualAcquaintance "%2 %n 是 %1 的 mutual 熟人") domainEnglishFormat.kif 1771-1771 mutual stranger and mutual acquaintance are disjoint
(format ChineseTraditionalLanguage mutualAcquaintance "%2 %n 是 %1 的 mutual 熟人") domainEnglishFormat.kif 1770-1770 mutual stranger and mutual acquaintance are disjoint
(format EnglishLanguage mutualAcquaintance "%2 is %n a mutual acquaintance of %1") domainEnglishFormat.kif 1769-1769 mutual stranger and mutual acquaintance are disjoint
(subrelation cohabitant mutualAcquaintance) Mid-level-ontology.kif 24100-24100 cohabitant is a subrelation of mutual acquaintance
(subrelation coworker mutualAcquaintance) Mid-level-ontology.kif 24077-24077 coworker is a subrelation of mutual acquaintance
(subrelation friend mutualAcquaintance) Mid-level-ontology.kif 24065-24065 friend is a subrelation of mutual acquaintance
(subrelation spouse mutualAcquaintance) Merge.kif 16652-16652 spouse is a subrelation of mutual acquaintance
(termFormat ChineseLanguage mutualAcquaintance "相识熟人") domainEnglishFormat.kif 39513-39513 spouse is a subrelation of mutual acquaintance
(termFormat ChineseTraditionalLanguage mutualAcquaintance "相識熟人") domainEnglishFormat.kif 39512-39512 spouse is a subrelation of mutual acquaintance
(termFormat EnglishLanguage mutualAcquaintance "mutual acquaintance") domainEnglishFormat.kif 39511-39511 spouse is a subrelation of mutual acquaintance


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