Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 16606-16610
(
domain
acquaintance
1
Human
)
Merge.kif 16612-16612
熟人
的 1 数量 是
人类
的
instance
(
domain
acquaintance
2
Human
)
Merge.kif 16613-16613
熟人
的 2 数量 是
人类
的
instance
(
instance
acquaintance
BinaryPredicate
)
Merge.kif 16604-16604
熟人
是
二元谓语
的
instance
appearance as argument number 2
(
disjointRelation
stranger
acquaintance
)
Mid-level-ontology.kif 23395-23395
陌生人
和
熟人
是
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 16626-16626
相识熟人
是
熟人
的
subrelation
(
termFormat
ChineseLanguage
acquaintance
"熟人")
domainEnglishFormat.kif 5328-5328
(
termFormat
ChineseTraditionalLanguage
acquaintance
"熟人")
domainEnglishFormat.kif 5327-5327
(
termFormat
EnglishLanguage
acquaintance
"acquaintance")
domainEnglishFormat.kif 5326-5326
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