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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - acquaintance
acquaintance

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


s__documentation(s__acquaintance__m,s__ChineseLanguage,'"(acquaintance ?H1 ?H2)的意思是 ?H1 已经认识也 知道一些有关 ?H2 的事,例如 ?H2 的名字和外表。用这个谓词所做的定义需要以 holdsDuring 来限制它发生的 时间。注:acquaintance 是不对称的。有关它的对称版本可参考 mutualAcquaintance。"')

chinese_format.kif 3707-3709
s__documentation(s__acquaintance__m,s__EnglishLanguage,'"(acquaintance ?H1 ?H2) means that ?H1 has met and knows something about ?H2, such as ?H2s name and appearance. Statements made with this predicate should be temporally specified with holdsDuring. Note that acquaintance is not symmetric. For the symmetric version, see mutualAcquaintance."')

Merge.kif 15759-15763
s__domain(s__acquaintance__m,n__1,s__Human)

Merge.kif 15765-15765 The number 1 argument of acquaintance is an instance of human
s__domain(s__acquaintance__m,n__2,s__Human)

Merge.kif 15766-15766 The number 2 argument of acquaintance is an instance of human
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__acquaintance__m,s__BinaryPredicate)

Merge.kif 15757-15757 acquaintance is an instance of binary predicate

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


s__disjointRelation(s__stranger__m,s__acquaintance__m)

Mid-level-ontology.kif 21538-21538 stranger and acquaintance are disjoint
s__format(s__ChineseLanguage,s__acquaintance__m,'"%2 %n 是 %1 的 acquaintance "')

domainEnglishFormat.kif 52-52
s__format(s__ChineseTraditionalLanguage,s__acquaintance__m,'"%2 %n 是 %1 的 acquaintance "')

domainEnglishFormat.kif 51-51
s__format(s__EnglishLanguage,s__acquaintance__m,'"%2 is %n an acquaintance of %1"')

domainEnglishFormat.kif 50-50
s__subrelation(s__mutualAcquaintance__m,s__acquaintance__m)

Merge.kif 15779-15779 mutual acquaintance is a subrelation of acquaintance
s__termFormat(s__ChineseLanguage,s__acquaintance__m,'"熟人"')

domainEnglishFormat.kif 5337-5337
s__termFormat(s__ChineseTraditionalLanguage,s__acquaintance__m,'"熟人"')

domainEnglishFormat.kif 5336-5336
s__termFormat(s__EnglishLanguage,s__acquaintance__m,'"acquaintance"')

domainEnglishFormat.kif 5335-5335


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