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
(
domain
father
2
Organism
)
Merge.kif 16498-16498
(
instance
father
BinaryPredicate
)
Merge.kif 16491-16491
(
instance
father
PartialValuedRelation
)
Merge.kif 16490-16490
(
instance
father
SingleValuedRelation
)
Merge.kif 16489-16489
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 16493-16495
(=>
(
father
?CHILD ?FATHER)
(
attribute
?FATHER
Male
))
Merge.kif 16503-16505
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 23113-23128
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23204-23211
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23221-23228
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10372-10379
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16558-16562
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23073-23077
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16457-16465
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
(=>
(
fathersSistersDaughter
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 714-720
(=>
(
fathersSistersHusband
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 630-636
(=>
(
fathersSistersSon
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 702-708
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23135-23140
(=>
(
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
(=>
(
instance
?MULE
Mule
)
(
exists
(?DONKEY ?HORSE)
(
and
(
father
?MULE ?DONKEY)
(
instance
?DONKEY
Donkey
)
(
mother
?MULE ?HORSE)
(
instance
?HORSE
Horse
))))
Mid-level-ontology.kif 20191-20198
(=>
(
paternalAunt
?P ?AUN)
(
exists
(?F)
(
and
(
father
?P ?F)
(
sister
?F ?AUN))))
ArabicCulture.kif 584-589
(=>
(
paternalUncle
?P ?UNC)
(
exists
(?F)
(
and
(
father
?P ?F)
(
brother
?F ?UNC))))
ArabicCulture.kif 562-567
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