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
father
Sigma KEE - father
father
appearance as argument number 1
(
documentation
father
ChineseLanguage
"这是父亲的概括关系。(
father
?CHILD ?FATHER)的意思是 ?FATHER 是 ?CHILD 的亲生父亲。")
chinese_format.kif 3693-3694
(
documentation
father
EnglishLanguage
"The general relationship of fatherhood. (
father
?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD.")
Merge.kif 16499-16501
(
domain
father
1
Organism
)
Merge.kif 16497-16497
The number 1 argument of
father
is an
instance
of
organism
(
domain
father
2
Organism
)
Merge.kif 16498-16498
The number 2 argument of
father
is an
instance
of
organism
(
instance
father
BinaryPredicate
)
Merge.kif 16491-16491
father
is an
instance
of
binary predicate
(
instance
father
PartialValuedRelation
)
Merge.kif 16490-16490
father
is an
instance
of
partial valued relation
(
instance
father
SingleValuedRelation
)
Merge.kif 16489-16489
father
is an
instance
of
single valued relation
appearance as argument number 2
(
format
ChineseLanguage
father
"%2 %n 是 %1
father
")
chinese_format.kif 527-527
(
format
EnglishLanguage
father
"%2 is %n a
father
of %1")
english_format.kif 532-532
(
format
FrenchLanguage
father
"%2 est %n le p�re de %1")
french_format.kif 311-311
(
format
ItalianLanguage
father
"%2 è %n un padre di %1")
relations-it.txt 109-109
(
format
JapaneseLanguage
father
"%2 は %1 の
father
では %n")
japanese_format.kif 2079-2079
(
format
PortugueseLanguage
father
"%2 e' %n o pai de %1")
portuguese_format.kif 263-263
(
format
cz
father
"%2 %p{je} %n{nen�} a
father
of %1")
relations-cz.txt 317-317
(
format
de
father
"%2 ist der vater von %1 %n{nicht}")
relations-de.txt 686-686
(
format
hi
father
"%2 %1 kaa janaka %n hai")
relations-hindi.txt 149-149
(
format
ro
father
"%2 %n{nu} este
father
%t{tatãl} lui %1")
relations-ro.kif 332-332
(
format
sv
father
"%2 är %n{inte} en pappa till %1")
relations-sv.txt 341-341
(
format
tg
father
"%2 %n ay ang ama sa %1")
relations-tg.txt 228-228
(
termFormat
ChineseLanguage
father
"父亲")
chinese_format.kif 528-528
(
termFormat
ChineseTraditionalLanguage
father
"父親")
domainEnglishFormat.kif 23381-23381
(
termFormat
EnglishLanguage
father
"father")
domainEnglishFormat.kif 23380-23380
(
termFormat
tg
father
"ama")
relations-tg.txt 229-229
antecedent
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16493-16495
If
an organism
is a
father
of
another organism
,
then
the organism
is a
parent
of
the other organism
(=>
(
father
?CHILD ?FATHER)
(
attribute
?FATHER
Male
))
Merge.kif 16503-16505
If
an organism
is a
father
of
another organism
,
then
male
is an
attribute
of
the organism
consequent
(<=>
(
cousin
?P1 ?P2)
(
and
(
exists
(?G1 ?G2)
(
and
(
grandmother
?P1 ?G1)
(
grandfather
?P1 ?G2)
(
grandmother
?P2 ?G1)
(
grandfather
?P2 ?G2)))
(
not
(
exists
(?M ?F)
(
and
(
mother
?P1 ?M)
(
father
?P1 ?F)
(
mother
?P2 ?M)
(
father
?P2 ?F))))))
Mid-level-ontology.kif 23344-23359
A human
and
another human
are
cousins
if and only if there exist
a woman
and
a man
such that the
grandmother
of
the human
is
the woman
and the
grandfather
of
the human
is
the man
and the
grandmother
of
the other human
is
the woman
and the
grandfather
of
the other human
is
the man
and there don't exist
an organism
and
another organism
such that
the organism
is a
mother
of
the human
and
the other organism
is a
father
of
the human
and
the organism
is a
mother
of
the other human
and
the other organism
is a
father
of
the other human
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23435-23442
A man
is the
stepfather
of
a human
if and only if there exists
another human
such that
the other human
is a
mother
of
the human
and
the man
is the
spouse
of
the other human
and
the man
is not a
father
of
the human
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23452-23459
A woman
is the
stepfather
of
a human
if and only if there exists
another human
such that
the other human
is a
father
of
the human
and
the woman
is the
spouse
of
the other human
and
the woman
is not a
mother
of
the human
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10372-10379
If
a process
is an
instance
of
sexual reproduction
and
an organism
is a
result
of
the process
,
then there exist
another organism
and
a third organism
such that
the other organism
is a
mother
of
the organism
and
the third organism
is a
father
of
the organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16558-16562
If
an organism
is a
parent
of
another organism
and
male
is an
attribute
of
the organism
,
then
the organism
is a
father
of
the other organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23304-23308
If
an organism
is a
parent
of
another organism
and
the organism
is an
instance
of
man
,
then
the organism
is a
father
of
the other organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16457-16465
If
an organism
is a
parent
of
another organism
and
a process
is an
instance
of
sexual reproduction
and
the organism
is an
agent
of
the process
and
the other organism
is a
result
of
the process
,
then
the organism
is a
mother
of
the other organism
or
the organism
is a
father
of
the other organism
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
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
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
If
an organism
is the
father
's
brother
's
son
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
son
of
the other organism
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
If
an organism
is the
father
's
brother
's
wife
of
a man
,
then there exist
another man
and
a woman
such that
the other man
is a
father
of
the organism
and
the other man
is the
brother
of
the woman
and
the woman
is the
wife
of
the man
(=>
(
fathersSistersDaughter
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 714-720
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
(=>
(
fathersSistersHusband
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 630-636
If
an organism
is the
father
's
sister
's
husband
of
a woman
,
then there exist
another woman
and
a man
such that
the other woman
is a
father
of
the organism
and
the other woman
is the
sister
of
the man
and
the man
is the
huband
of
the woman
(=>
(
fathersSistersSon
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 702-708
If
an organism
is the
father
's
sister
's
son
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
son
of
the other organism
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23366-23371
If the
grandfather
of
a human
is
a man
,
then there exists
an organism
such that
the man
is a
father
of
the organism
and
the organism
is a
parent
of
the human
(=>
(
holdsDuring
?T
(
attribute
?P
BereavedFather
))
(
exists
(?BEFORE ?C)
(
and
(
earlier
?BEFORE ?T)
(
holdsDuring
?BEFORE
(
father
?P ?C))
(
holdsDuring
?T
(
attribute
?C
Dead
)))))
ArabicCulture.kif 760-766
If
bereaved father
is an
attribute
of
an entity
holds
during
a time interval
,
then there exist
another time interval
and
another entity
such that
the other time interval
happens
earlier
than
the time interval
and
the other entity
is a
father
of
the entity
holds
during
the other time interval
and
dead
is an
attribute
of
the other entity
holds
during
the time interval
(=>
(
instance
?MULE
Mule
)
(
exists
(?DONKEY ?HORSE)
(
and
(
father
?MULE ?DONKEY)
(
instance
?DONKEY
Donkey
)
(
mother
?MULE ?HORSE)
(
instance
?HORSE
Horse
))))
Mid-level-ontology.kif 20422-20429
If
an organism
is an
instance
of
mule
,
then there exist
another organism
and
a third organism
such that
the other organism
is a
father
of
the organism
and
the other organism
is an
instance
of
donkey
and
the third organism
is a
mother
of
the organism
and
the third organism
is an
instance
of
horse
(=>
(
paternalAunt
?P ?AUN)
(
exists
(?F)
(
and
(
father
?P ?F)
(
sister
?F ?AUN))))
ArabicCulture.kif 584-589
If the
paternal
aunt
of
an organism
is
a human
,
then there exists
a woman
such that
the woman
is a
father
of
the organism
and
the woman
is the
sister
of
the human
(=>
(
paternalUncle
?P ?UNC)
(
exists
(?F)
(
and
(
father
?P ?F)
(
brother
?F ?UNC))))
ArabicCulture.kif 562-567
If the
paternal
uncle
of
an organism
is
a human
,
then there exists
a man
such that
the man
is a
father
of
the organism
and
the man
is the
brother
of
the human
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
father