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 16428-16430
(
domain
father
1
Organism
)
Merge.kif 16426-16426
Die Zahl 1 Argument von
father
ist ein
fall
von
Organism
%n{nicht}
(
domain
father
2
Organism
)
Merge.kif 16427-16427
Die Zahl 2 Argument von
father
ist ein
fall
von
Organism
%n{nicht}
(
instance
father
BinaryPredicate
)
Merge.kif 16420-16420
father
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
father
PartialValuedRelation
)
Merge.kif 16419-16419
father
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
father
SingleValuedRelation
)
Merge.kif 16418-16418
father
ist ein
fall
von
SingleValuedRelation
%n{nicht}
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 23361-23361
(
termFormat
EnglishLanguage
father
"father")
domainEnglishFormat.kif 23360-23360
(
termFormat
tg
father
"ama")
relations-tg.txt 229-229
antecedent
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16422-16424
Wenn
Organism
ist der
vater
von
** Organism
%n{nicht},
dann
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht}
(=>
(
father
?CHILD ?FATHER)
(
attribute
?FATHER
Male
))
Merge.kif 16432-16434
Wenn
Organism
ist der
vater
von
** Organism
%n{nicht},
dann
Male
ist ein
attribut
von
** Organism
%n{nicht}
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 23061-23076
cousin
Human
and
** Human
genau dann wenn es gibt
Woman
und
Man
um
grandmother
** Human
and
** Woman
und
grandfather
** Human
and
** Man
und
grandmother
** ** Human
and
** Woman
und
grandfather
** ** Human
and
** Man
und es gibt nicht
Organism
und
** Organism
um
** Organism
ist die
mutter
von
** Human
%n{nicht} und
** ** Organism
ist der
vater
von
** Human
%n{nicht} und
** Organism
ist die
mutter
von
** ** Human
%n{nicht} und
** ** Organism
ist der
vater
von
** ** Human
%n{nicht}
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23152-23159
stepfather
Human
and
Man
genau dann wenn es gibt
** Human
um
** ** Human
ist die
mutter
von
** Human
%n{nicht} und
spouse
** Man
and
** ** Human
und
** Man
ist der
vater
von
** Human
nicht
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23169-23176
stepmother
Human
and
Woman
genau dann wenn es gibt
** Human
um
** ** Human
ist der
vater
von
** Human
%n{nicht} und
spouse
** Woman
and
** ** Human
und
** Woman
ist die
mutter
von
** Human
nicht
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10336-10343
Wenn
Process
ist ein
fall
von
SexualReproduction
%n{nicht} und
Organism
ist ein
resultat
von
** Process
%n{nicht},
dann es gibt
** Organism
und
** Organism
um
** ** Organism
ist die
mutter
von
** Organism
%n{nicht} und
** ** Organism
ist der
vater
von
** Organism
%n{nicht}
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16487-16491
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
Male
ist ein
attribut
von
** Organism
%n{nicht},
dann
** Organism
ist der
vater
von
** ** Organism
%n{nicht}
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23021-23025
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** Organism
ist ein
fall
von
Man
%n{nicht},
dann
** Organism
ist der
vater
von
** ** Organism
%n{nicht}
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16386-16394
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
Process
ist ein
fall
von
SexualReproduction
%n{nicht} und
** Process
ist der
agent
von
** Organism
%n{nicht} und
** ** Organism
ist ein
resultat
von
** Process
%n{nicht},
dann
** Organism
ist die
mutter
von
** ** Organism
%n{nicht} oder
** Organism
ist der
vater
von
** ** Organism
%n{nicht}
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
Wenn
fathersBrothersDaughter
Organism
and
** Organism
,
dann es gibt
Man
und
Human
um
** Man
ist der
vater
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
und
daughter
** Human
and
** ** Organism
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
Wenn
fathersBrothersSon
Organism
and
** Organism
,
dann es gibt
Man
und
Human
um
** Man
ist der
vater
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
und
son
** Human
and
** ** Organism
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
Wenn
fathersBrothersWife
Organism
and
Man
,
dann es gibt
** Man
und
Woman
um
** ** Man
ist der
vater
von
** Organism
%n{nicht} und
brother
** ** Man
and
** Woman
und
wife
** Woman
and
** Man
(=>
(
fathersSistersDaughter
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 714-720
Wenn
fathersSistersDaughter
Organism
and
** Organism
,
dann es gibt
Woman
und
Human
um
** Woman
ist der
vater
von
** Organism
%n{nicht} und
sister
** Woman
and
** Human
und
daughter
** Human
and
** ** Organism
(=>
(
fathersSistersHusband
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 630-636
Wenn
fathersSistersHusband
Organism
and
Woman
,
dann es gibt
** Woman
und
Man
um
** ** Woman
ist der
vater
von
** Organism
%n{nicht} und
sister
** ** Woman
and
** Man
und
husband
** Man
and
** Woman
(=>
(
fathersSistersSon
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 702-708
Wenn
fathersSistersSon
Organism
and
** Organism
,
dann es gibt
Woman
und
Human
um
** Woman
ist der
vater
von
** Organism
%n{nicht} und
sister
** Woman
and
** Human
und
son
** Human
and
** ** Organism
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23083-23088
Wenn
grandfather
Human
and
Man
,
dann es gibt
Organism
um
** Man
ist der
vater
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** Human
%n{nicht}
(=>
(
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
Wenn
BereavedFather
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
und
** entity
um
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
** ** entity
ist der
vater
von
** entity
%n{nicht} haelt
waehrend
** ** TimeInterval
%n{nicht} und
Dead
ist ein
attribut
von
** ** entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
instance
?MULE
Mule
)
(
exists
(?DONKEY ?HORSE)
(
and
(
father
?MULE ?DONKEY)
(
instance
?DONKEY
Donkey
)
(
mother
?MULE ?HORSE)
(
instance
?HORSE
Horse
))))
Mid-level-ontology.kif 20164-20171
Wenn
Organism
ist ein
fall
von
Mule
%n{nicht},
dann es gibt
** Organism
und
** Organism
um
** ** Organism
ist der
vater
von
** Organism
%n{nicht} und
** ** Organism
ist ein
fall
von
Donkey
%n{nicht} und
** ** Organism
ist die
mutter
von
** Organism
%n{nicht} und
** ** Organism
ist ein
fall
von
Horse
%n{nicht}
(=>
(
paternalAunt
?P ?AUN)
(
exists
(?F)
(
and
(
father
?P ?F)
(
sister
?F ?AUN))))
ArabicCulture.kif 584-589
Wenn
paternalAunt
Organism
and
Human
,
dann es gibt
Woman
um
** Woman
ist der
vater
von
** Organism
%n{nicht} und
sister
** Woman
and
** Human
(=>
(
paternalUncle
?P ?UNC)
(
exists
(?F)
(
and
(
father
?P ?F)
(
brother
?F ?UNC))))
ArabicCulture.kif 562-567
Wenn
paternalUncle
Organism
and
Human
,
dann es gibt
Man
um
** Man
ist der
vater
von
** Organism
%n{nicht} und
brother
** Man
and
** 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