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
域
父親
, 1 and
Organism
(
domain
father
2
Organism
)
Merge.kif 16427-16427
域
父親
, 2 and
Organism
(
instance
father
BinaryPredicate
)
Merge.kif 16420-16420
例
父親
and
BinaryPredicate
(
instance
father
PartialValuedRelation
)
Merge.kif 16419-16419
例
父親
and
PartialValuedRelation
(
instance
father
SingleValuedRelation
)
Merge.kif 16418-16418
例
父親
and
SingleValuedRelation
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
父親
Organism
and
Organism
親
Organism
and
Organism
(=>
(
father
?CHILD ?FATHER)
(
attribute
?FATHER
Male
))
Merge.kif 16432-16434
父親
Organism
and
Organism
attribute
Organism
and
男
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
Human
Human
是
cousins
女人
人
Human
的
grandmother
是
女人
Human
的
grandfather
是
人
Human
的
grandmother
是
女人
Human
的
grandfather
是
人
Organism
Organism
母親
Human
and
Organism
父親
Human
and
Organism
母親
Human
and
Organism
父親
Human
and
Organism
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23152-23159
人
是
Human
的
stepfather
Human
母親
Human
and
Human
人
是
Human
的
spouse
父親
Human
and
人
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23169-23176
女人
是
Human
的
stepfather
Human
父親
Human
and
Human
女人
是
Human
的
spouse
母親
Human
and
女人
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10336-10343
例
Process
and
SexualReproduction
結果
Process
and
Organism
Organism
Organism
母親
Organism
and
Organism
父親
Organism
and
Organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16487-16491
親
Organism
and
Organism
attribute
Organism
and
男
父親
Organism
and
Organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23021-23025
親
Organism
and
Organism
例
Organism
and
人
父親
Organism
and
Organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16386-16394
親
Organism
and
Organism
例
Process
and
SexualReproduction
agent
Process
and
Organism
結果
Process
and
Organism
母親
Organism
and
Organism
父親
Organism
and
Organism
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
Organism
是
Organism
的
father
's
brother
's
daughter
人
Human
父親
Organism
and
人
人
是
Human
的
brother
Human
是
Organism
的
daughter
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
Organism
是
Organism
的
father
's
brother
's
son
人
Human
父親
Organism
and
人
人
是
Human
的
brother
Human
是
Organism
的
son
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
Organism
是
人
的
father
's
brother
's
wife
人
女人
父親
Organism
and
人
人
是
女人
的
brother
女人
是
人
的
wife
(=>
(
fathersSistersDaughter
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 714-720
Organism
是
Organism
的
father
's
sister
's
daughter
女人
Human
父親
Organism
and
女人
女人
是
Human
的
sister
Human
是
Organism
的
daughter
(=>
(
fathersSistersHusband
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 630-636
Organism
是
女人
的
father
's
sister
's
husband
女人
人
父親
Organism
and
女人
女人
是
人
的
sister
人
是
女人
的
huband
(=>
(
fathersSistersSon
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 702-708
Organism
是
Organism
的
father
's
sister
's
son
女人
Human
父親
Organism
and
女人
女人
是
Human
的
sister
Human
是
Organism
的
son
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23083-23088
Human
的
grandfather
是
人
Organism
父親
Organism
and
人
親
Human
and
Organism
(=>
(
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
持有期間
TimeInterval
and
attribute
entity
and
失去親人的父親
TimeInterval
entity
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
父親
entity
and
entity
持有期間
TimeInterval
and
attribute
entity
and
死
(=>
(
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
例
Organism
and
馬騾
Organism
Organism
父親
Organism
and
Organism
例
Organism
and
驢
母親
Organism
and
Organism
例
Organism
and
馬
(=>
(
paternalAunt
?P ?AUN)
(
exists
(?F)
(
and
(
father
?P ?F)
(
sister
?F ?AUN))))
ArabicCulture.kif 584-589
Organism
的
paternal
aunt
是
Human
女人
父親
Organism
and
女人
女人
是
Human
的
sister
(=>
(
paternalUncle
?P ?UNC)
(
exists
(?F)
(
and
(
father
?P ?F)
(
brother
?F ?UNC))))
ArabicCulture.kif 562-567
Organism
的
paternal
uncle
是
Human
人
父親
Organism
and
人
人
是
Human
的
brother
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