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
daughter
Sigma KEE - daughter
daughter
appearance as argument number 1
(
documentation
daughter
ChineseLanguage
"这是女儿的概括关系。(
daughter
?CHILD ?PARENT)的意思 是 ?CHILD 是 ?PARENT 的亲生女儿。")
chinese_format.kif 3695-3696
(
documentation
daughter
EnglishLanguage
"The general relationship of daughterhood. (
daughter
?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT.")
Merge.kif 16440-16442
(
domain
daughter
1
Organism
)
Merge.kif 16438-16438
Die Zahl 1 Argument von
daughter
ist ein
fall
von
Organism
%n{nicht}
(
domain
daughter
2
Organism
)
Merge.kif 16439-16439
Die Zahl 2 Argument von
daughter
ist ein
fall
von
Organism
%n{nicht}
(
instance
daughter
BinaryPredicate
)
Merge.kif 16436-16436
daughter
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
daughter
parent
)
Merge.kif 16437-16437
daughter
ist eine
teilrelation
von
parent
appearance as argument number 2
(
format
ChineseLanguage
daughter
"%1 是 %2 的
daughter
")
domainEnglishFormat.kif 3166-3166
(
format
ChineseTraditionalLanguage
daughter
"%1 是 %2 的
daughter
")
domainEnglishFormat.kif 3165-3165
(
format
EnglishLanguage
daughter
"%1 is the
daughter
of %2")
domainEnglishFormat.kif 3164-3164
(
termFormat
ChineseLanguage
daughter
"女儿")
domainEnglishFormat.kif 18648-18648
(
termFormat
ChineseTraditionalLanguage
daughter
"女兒")
domainEnglishFormat.kif 18647-18647
(
termFormat
EnglishLanguage
daughter
"daughter")
domainEnglishFormat.kif 18646-18646
antecedent
(=>
(
daughter
?CHILD ?PARENT)
(
attribute
?CHILD
Female
))
Merge.kif 16444-16446
Wenn
daughter
Organism
and
** Organism
,
dann
Female
ist ein
attribut
von
** Organism
%n{nicht}
consequent
(<=>
(
niece
?N ?H)
(
exists
(?S)
(
and
(
sibling
?S ?H)
(
daughter
?N ?S))))
Mid-level-ontology.kif 23123-23128
niece
Woman
and
Human
genau dann wenn es gibt
Organism
um
** Human
ist die
geschwister
von
** Organism
%n{nicht} und
daughter
** Woman
and
** Organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Woman
))
(
daughter
?CHILD ?PARENT))
Mid-level-ontology.kif 23033-23037
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** ** Organism
ist ein
fall
von
Woman
%n{nicht},
dann
daughter
** ** Organism
and
** Organism
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
Wenn
fathersBrothersDaughter
Organism
and
** Organism
,
dann es gibt
Man
und
Human
um
** Man
ist der
vater
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
und
daughter
** Human
and
** ** Organism
(=>
(
fathersSistersDaughter
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 714-720
Wenn
fathersSistersDaughter
Organism
and
** Organism
,
dann es gibt
Woman
und
Human
um
** Woman
ist der
vater
von
** Organism
%n{nicht} und
sister
** Woman
and
** Human
und
daughter
** Human
and
** ** Organism
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 690-696
Wenn
mothersBrothersDaughter
Organism
and
** Organism
,
dann es gibt
Man
und
Human
um
** Man
ist die
mutter
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
und
daughter
** Human
and
** ** Organism
(=>
(
mothersSistersDaughter
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 738-744
Wenn
mothersSistersDaughter
Organism
and
** Organism
,
dann es gibt
Woman
und
Human
um
** Woman
ist die
mutter
von
** Organism
%n{nicht} und
sister
** Woman
and
** Human
und
daughter
** Human
and
** ** Organism
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