Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
friend
Sigma KEE - friend
friend
appearance as argument number 1
(
documentation
friend
EnglishLanguage
"(
holdsDuring
?T1 (
friend
?H1 ?H2)) means that during time ?T1, ?H1 and ?H2 know each other, share a relationship of mutual care and concern, and probably also share some common interests.")
Mid-level-ontology.kif 24588-24590
(
domain
friend
1
Human
)
Mid-level-ontology.kif 24592-24592
The number 1 argument of
friend
is an
instance
of
human
(
domain
friend
2
Human
)
Mid-level-ontology.kif 24593-24593
The number 2 argument of
friend
is an
instance
of
human
(
instance
friend
BinaryPredicate
)
Mid-level-ontology.kif 24584-24584
friend
is an
instance
of
binary predicate
(
instance
friend
IntentionalRelation
)
Mid-level-ontology.kif 24586-24586
friend
is an
instance
of
intentional relation
(
instance
friend
SymmetricRelation
)
Mid-level-ontology.kif 24585-24585
friend
is an
instance
of
symmetric relation
(
subrelation
friend
mutualAcquaintance
)
Mid-level-ontology.kif 24594-24594
friend
is a
subrelation
of
mutual acquaintance
appearance as argument number 2
(
format
ChineseLanguage
friend
"%1 %n 是 %2 的
friend
")
domainEnglishFormat.kif 1085-1085
(
format
ChineseTraditionalLanguage
friend
"%1 %n 是 %2 的
friend
")
domainEnglishFormat.kif 1084-1084
(
format
EnglishLanguage
friend
"%2 is %n a
friend
of %1")
domainEnglishFormat.kif 1083-1083
(
termFormat
ChineseLanguage
friend
"朋友")
domainEnglishFormat.kif 25063-25063
(
termFormat
ChineseTraditionalLanguage
friend
"朋友")
domainEnglishFormat.kif 25062-25062
(
termFormat
EnglishLanguage
friend
"friend")
domainEnglishFormat.kif 25061-25061
statement
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
finishes
?TIME
(
WhenFn
JesusOfNazareth
))
(
starts
?TIME
(
WhenFn
TwelveApostles
))
(
forall
(?MEM)
(=>
(
holdsDuring
?TIME
(
member
?MEM
TwelveApostles
))
(
holdsDuring
?TIME
(
friend
?MEM
JesusOfNazareth
))))))
Media.kif 1972-1980
There exists
a time interval
such that
the time interval
is an
instance
of
time interval
and
the time interval
finish
es the
time
of existence of
Jesus of Nazareth
and
the time interval
start
s the
time
of existence of
Twelve apostles
and for all
an entity
if
the entity
is a
member
of
Twelve apostles
holds
during
the time interval
,
then
Jesus of Nazareth
is a
friend
of
the entity
holds
during
the time interval
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