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
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 3693-3694
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16499-16501
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16497-16497
The number 1 argument of
father
is an
instance
of
organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16498-16498
The number 2 argument of
father
is an
instance
of
organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16491-16491
father
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16490-16490
father
is an
instance
of
partial valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16489-16489
father
is an
instance
of
single valued relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 527-527
No TPTP formula. May not be expressible in strict first order.
english_format.kif 532-532
No TPTP formula. May not be expressible in strict first order.
french_format.kif 311-311
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 109-109
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2079-2079
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 263-263
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 317-317
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 686-686
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 149-149
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 332-332
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 341-341
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 228-228
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 528-528
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 23361-23361
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 23360-23360
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 229-229
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16493-16495
If
an organism
is a
father
of
another organism
,
then
the organism
is a
parent
of
the other organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16503-16505
If
an organism
is a
father
of
another organism
,
then
male
is an
attribute
of
the organism
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23113-23128
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23204-23211
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23221-23228
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23073-23077
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23135-23140
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20191-20198
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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