Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
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
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 16615-16617
(
domain
daughter
1
Organism
)
Merge.kif 16613-16613
The number 1 argument of
daughter
is an
instance
of
organism
(
domain
daughter
2
Organism
)
Merge.kif 16614-16614
The number 2 argument of
daughter
is an
instance
of
organism
(
instance
daughter
BinaryPredicate
)
Merge.kif 16611-16611
daughter
is an
instance
of
binary predicate
(
subrelation
daughter
parent
)
Merge.kif 16612-16612
daughter
is a
subrelation
of
parent
appearance as argument number 2
(
format
ChineseLanguage
daughter
"%1 是 %2 的
daughter
")
domainEnglishFormat.kif 3162-3162
(
format
ChineseTraditionalLanguage
daughter
"%1 是 %2 的
daughter
")
domainEnglishFormat.kif 3161-3161
(
format
EnglishLanguage
daughter
"%1 is the
daughter
of %2")
domainEnglishFormat.kif 3160-3160
(
termFormat
ChineseLanguage
daughter
"女儿")
domainEnglishFormat.kif 18657-18657
(
termFormat
ChineseTraditionalLanguage
daughter
"女兒")
domainEnglishFormat.kif 18656-18656
(
termFormat
EnglishLanguage
daughter
"daughter")
domainEnglishFormat.kif 18655-18655
antecedent
(=>
(
daughter
?CHILD ?PARENT)
(
attribute
?CHILD
Female
))
Merge.kif 16619-16621
If
an organism
is the
daughter
of
another organism
,
then
female
is an
attribute
of
the organism
consequent
(<=>
(
niece
?N ?H)
(
exists
(?S)
(
and
(
sibling
?S ?H)
(
daughter
?N ?S))))
Mid-level-ontology.kif 24764-24769
A woman
is the &iece$"niece" of
a human
if and only if there exists
an organism
such that
the organism
is a
sibling
of
the human
and
the woman
is the
daughter
of
the organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Woman
))
(
daughter
?CHILD ?PARENT))
Mid-level-ontology.kif 24674-24678
If
an organism
is a
parent
of
another organism
and
the other organism
is an
instance
of
woman
,
then
the other organism
is the
daughter
of
the organism
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 686-692
If
an organism
is the
father
's
brother
's
daughter
of
another organism
,
then there exist
a man
and
a human
such that
the man
is a
father
of
the organism
and
the man
is the
brother
of
the human
and
the human
is the
daughter
of
the other organism
(=>
(
fathersSistersDaughter
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 742-748
If
an organism
is the
father
's
sister
's
daughter
of
another organism
,
then there exist
a woman
and
a human
such that
the woman
is a
father
of
the organism
and
the woman
is the
sister
of
the human
and
the human
is the
daughter
of
the other organism
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 714-720
If the
mother
's
brother
's
daughter
of
an organism
is
another organism
,
then there exist
a man
and
a human
such that
the man
is a
mother
of
the organism
and
the man
is the
brother
of
the human
and
the human
is the
daughter
of
the other organism
(=>
(
mothersSistersDaughter
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 770-776
If the
mother
's
sister
's
daughter
of
an organism
is
another organism
,
then there exist
a woman
and
a human
such that
the woman
is a
mother
of
the organism
and
the woman
is the
sister
of
the human
and
the human
is the
daughter
of
the other 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