Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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
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 16625-16627
(
domain
father
1
Organism
)
Merge.kif 16623-16623
The number 1 argument of
father
is an
instance
of
organism
(
domain
father
2
Organism
)
Merge.kif 16624-16624
The number 2 argument of
father
is an
instance
of
organism
(
instance
father
BinaryPredicate
)
Merge.kif 16617-16617
father
is an
instance
of
binary predicate
(
instance
father
PartialValuedRelation
)
Merge.kif 16616-16616
father
is an
instance
of
partial valued relation
(
instance
father
SingleValuedRelation
)
Merge.kif 16615-16615
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 23363-23363
(
termFormat
EnglishLanguage
father
"father")
domainEnglishFormat.kif 23362-23362
(
termFormat
de
father
"vater")
terms-de.txt 208-208
(
termFormat
tg
father
"ama")
relations-tg.txt 229-229
antecedent
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16619-16621
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 16629-16631
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 24693-24708
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 24784-24791
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 24801-24808
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 10498-10505
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 16684-16688
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 24653-24657
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 16583-16591
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 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
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 672-678
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 616-622
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 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
(=>
(
fathersSistersHusband
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 644-650
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
husband
of
the woman
(=>
(
fathersSistersSon
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 728-734
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 24715-24720
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 792-798
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 21772-21779
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 590-595
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 564-569
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