Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
acquaintance
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 16253-16257
(
domain
acquaintance
1
Human
)
Merge.kif 16259-16259
(
domain
acquaintance
2
Human
)
Merge.kif 16260-16260
(
instance
acquaintance
BinaryPredicate
)
Merge.kif 16251-16251
appearance as argument number 2
(
disjointRelation
stranger
acquaintance
)
Mid-level-ontology.kif 22766-22766
(
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 16273-16273
(
termFormat
ChineseLanguage
acquaintance
"熟人")
domainEnglishFormat.kif 5337-5337
(
termFormat
ChineseTraditionalLanguage
acquaintance
"熟人")
domainEnglishFormat.kif 5336-5336
(
termFormat
EnglishLanguage
acquaintance
"acquaintance")
domainEnglishFormat.kif 5335-5335
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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