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 16511-16513
(
domain
daughter
1
Organism
)
Merge.kif 16509-16509
O argumento numero 1 de
daughter
e' uma
instancia
de
Organismo
(
domain
daughter
2
Organism
)
Merge.kif 16510-16510
O argumento numero 2 de
daughter
e' uma
instancia
de
Organismo
(
instance
daughter
BinaryPredicate
)
Merge.kif 16507-16507
daughter
e' uma
instancia
de
Predicado Binario
(
subrelation
daughter
parent
)
Merge.kif 16508-16508
daughter
e' uma
sub
-relacao de
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 16515-16517
daughter
Organismo
and
Organismo
Female
e' um
atributo
de
Organismo
consequent
(<=>
(
niece
?N ?H)
(
exists
(?S)
(
and
(
sibling
?S ?H)
(
daughter
?N ?S))))
Mid-level-ontology.kif 23175-23180
niece
Woman
and
Humano
Organismo
Organismo
e' um
irmao
ou uma irma de
Humano
daughter
Woman
and
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Woman
))
(
daughter
?CHILD ?PARENT))
Mid-level-ontology.kif 23085-23089
Organismo
e' um
genitor
de
Organismo
Organismo
e' uma
instancia
de
Woman
daughter
Organismo
and
Organismo
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
fathersBrothersDaughter
Organismo
and
Organismo
Man
Humano
Man
e' o
pai
de
Organismo
brother
Man
and
Humano
daughter
Humano
and
Organismo
(=>
(
fathersSistersDaughter
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 714-720
fathersSistersDaughter
Organismo
and
Organismo
Woman
Humano
Woman
e' o
pai
de
Organismo
sister
Woman
and
Humano
daughter
Humano
and
Organismo
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 690-696
mothersBrothersDaughter
Organismo
and
Organismo
Man
Humano
Man
e' a
mae
de
Organismo
brother
Man
and
Humano
daughter
Humano
and
Organismo
(=>
(
mothersSistersDaughter
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 738-744
mothersSistersDaughter
Organismo
and
Organismo
Woman
Humano
Woman
e' a
mae
de
Organismo
sister
Woman
and
Humano
daughter
Humano
and
Organismo
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