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


KB Term:  Term intersection
English Word: 

Sigma KEE - mutualAcquaintance
mutualAcquaintance

appearance as argument number 1
-------------------------


(instance mutualAcquaintance BinaryPredicate) Merge.kif 16903-16903 mutual acquaintance is an instance of binary predicate
(instance mutualAcquaintance SymmetricRelation) Merge.kif 16904-16904 mutual acquaintance is an instance of symmetric relation
(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 16906-16910 mutual acquaintance is an instance of symmetric relation
(domain mutualAcquaintance 1 Human) Merge.kif 16912-16912 The number 1 argument of mutual acquaintance is an instance of human
(domain mutualAcquaintance 2 Human) Merge.kif 16913-16913 The number 2 argument of mutual acquaintance is an instance of human
(subrelation mutualAcquaintance acquaintance) Merge.kif 16914-16914 mutual acquaintance is a subrelation of acquaintance

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


(subrelation spouse mutualAcquaintance) Merge.kif 16915-16915 spouse is a subrelation of mutual acquaintance
(subrelation friend mutualAcquaintance) Mid-level-ontology.kif 25269-25269 friend is a subrelation of mutual acquaintance
(subrelation coworker mutualAcquaintance) Mid-level-ontology.kif 25281-25281 coworker is a subrelation of mutual acquaintance
(subrelation cohabitant mutualAcquaintance) Mid-level-ontology.kif 25304-25304 cohabitant is a subrelation of mutual acquaintance
(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 25676-25676 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
(format ChineseTraditionalLanguage mutualAcquaintance "%2 %n 是 %1 的 mutual 熟人") domainEnglishFormat.kif 1770-1770 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
(termFormat EnglishLanguage mutualAcquaintance "mutual acquaintance") domainEnglishFormat.kif 39487-39487 mutual stranger and mutual acquaintance are disjoint
(termFormat ChineseTraditionalLanguage mutualAcquaintance "相識熟人") domainEnglishFormat.kif 39488-39488 mutual stranger and mutual acquaintance are disjoint
(termFormat ChineseLanguage mutualAcquaintance "相识熟人") domainEnglishFormat.kif 39489-39489 mutual stranger and mutual acquaintance are disjoint


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners