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


(documentation acquaintance ChineseLanguage "(acquaintance ?H1 ?H2)的意思是 ?H1 已经认识也 知道一些有关 ?H2 的事,例如 ?H2 的名字和外表。用这个谓词所做的定义需要以 holdsDuring 来限制它发生的 时间。注:acquaintance 是不对称的。有关它的对称版本可参考 mutualAcquaintance。") chinese_format.kif 3707-3709
(documentation acquaintance EnglishLanguage "(acquaintance ?H1 ?H2) means that ?H1 has met and knows something about ?H2, such as ?H2's 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 16535-16539
(domain acquaintance 1 Human) Merge.kif 16541-16541 Le nombre 1 argument de acquaintance est une instance de humain
(domain acquaintance 2 Human) Merge.kif 16542-16542 Le nombre 2 argument de acquaintance est une instance de humain
(instance acquaintance BinaryPredicate) Merge.kif 16533-16533 acquaintance est une instance de pr�dicat binaire

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


(disjointRelation stranger acquaintance) Mid-level-ontology.kif 23343-23343 stranger et acquaintance sont disjoint
(format ChineseLanguage acquaintance "%2 %n 是 %1 的 acquaintance ") domainEnglishFormat.kif 52-52
(format ChineseTraditionalLanguage acquaintance "%2 %n 是 %1 的 acquaintance ") domainEnglishFormat.kif 51-51
(format EnglishLanguage acquaintance "%2 is %n an acquaintance of %1") domainEnglishFormat.kif 50-50
(subrelation mutualAcquaintance acquaintance) Merge.kif 16555-16555 mutualAcquaintance est une sous-relation de acquaintance
(termFormat ChineseLanguage acquaintance "熟人") domainEnglishFormat.kif 5328-5328
(termFormat ChineseTraditionalLanguage acquaintance "熟人") domainEnglishFormat.kif 5327-5327
(termFormat EnglishLanguage acquaintance "acquaintance") domainEnglishFormat.kif 5326-5326


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