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
Belize
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 16450-16452
(
domain
father
1
Organism
)
Merge.kif 16448-16448
father
の数値 1 引数は
物
の
instance
では %n
(
domain
father
2
Organism
)
Merge.kif 16449-16449
father
の数値 2 引数は
物
の
instance
では %n
(
instance
father
BinaryPredicate
)
Merge.kif 16442-16442
father
は
2進述語
の
instance
では %n
(
instance
father
PartialValuedRelation
)
Merge.kif 16441-16441
father
は
部分的価値関係
の
instance
では %n
(
instance
father
SingleValuedRelation
)
Merge.kif 16440-16440
father
は
一価関係
の
instance
では %n
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 16444-16446
物
は
物
の
father
では %n
物
は
物
の
parent
では %n
(=>
(
father
?CHILD ?FATHER)
(
attribute
?FATHER
Male
))
Merge.kif 16454-16456
物
は
物
の
father
では %n
Male
は
物
の
attribute
では %n
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 23060-23075
cousin
人[人間]
and
人[人間]
Woman
Man
grandmother
人[人間]
and
Woman
grandfather
人[人間]
and
Man
grandmother
人[人間]
and
Woman
grandfather
人[人間]
and
Man
物
物
物
は
人[人間]
の
mother
では %n
物
は
人[人間]
の
father
では %n
物
は
人[人間]
の
mother
では %n
物
は
人[人間]
の
father
では %n
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23151-23158
stepfather
人[人間]
and
Man
人[人間]
人[人間]
は
人[人間]
の
mother
では %n
spouse
Man
and
人[人間]
Man
は
人[人間]
の
father
では
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23168-23175
stepmother
人[人間]
and
Woman
人[人間]
人[人間]
は
人[人間]
の
father
では %n
spouse
Woman
and
人[人間]
Woman
は
人[人間]
の
mother
では
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10358-10365
工程
は
有性生殖
の
instance
では %n
物
は
工程
の
result
では %n
物
物
物
は
物
の
mother
では %n
物
は
物
の
father
では %n
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16509-16513
物
は
物
の
parent
では %n
Male
は
物
の
attribute
では %n
物
は
物
の
father
では %n
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23020-23024
物
は
物
の
parent
では %n
物
は
Man
の
instance
では %n
物
は
物
の
father
では %n
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16408-16416
物
は
物
の
parent
では %n
工程
は
有性生殖
の
instance
では %n
物
は
工程
の
agent
では %n
物
は
工程
の
result
では %n
物
は
物
の
mother
では %n
物
は
物
の
father
では %n
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
fathersBrothersDaughter
物
and
物
Man
人[人間]
Man
は
物
の
father
では %n
brother
Man
and
人[人間]
daughter
人[人間]
and
物
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
fathersBrothersSon
物
and
物
Man
人[人間]
Man
は
物
の
father
では %n
brother
Man
and
人[人間]
son
人[人間]
and
物
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
fathersBrothersWife
物
and
Man
Man
Woman
Man
は
物
の
father
では %n
brother
Man
and
Woman
wife
Woman
and
Man
(=>
(
fathersSistersDaughter
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 714-720
fathersSistersDaughter
物
and
物
Woman
人[人間]
Woman
は
物
の
father
では %n
sister
Woman
and
人[人間]
daughter
人[人間]
and
物
(=>
(
fathersSistersHusband
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 630-636
fathersSistersHusband
物
and
Woman
Woman
Man
Woman
は
物
の
father
では %n
sister
Woman
and
Man
husband
Man
and
Woman
(=>
(
fathersSistersSon
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 702-708
fathersSistersSon
物
and
物
Woman
人[人間]
Woman
は
物
の
father
では %n
sister
Woman
and
人[人間]
son
人[人間]
and
物
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23082-23087
grandfather
人[人間]
and
Man
物
Man
は
物
の
father
では %n
物
は
人[人間]
の
parent
では %n
(=>
(
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
BereavedFather
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
エンティティー
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
は
エンティティー
の
father
では %n は
時間間隔
の
during
holds %n{ない}
Dead
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
(=>
(
instance
?MULE
Mule
)
(
exists
(?DONKEY ?HORSE)
(
and
(
father
?MULE ?DONKEY)
(
instance
?DONKEY
Donkey
)
(
mother
?MULE ?HORSE)
(
instance
?HORSE
Horse
))))
Mid-level-ontology.kif 20163-20170
物
は
Mule
の
instance
では %n
物
物
物
は
物
の
father
では %n
物
は
Donkey
の
instance
では %n
物
は
物
の
mother
では %n
物
は
Horse
の
instance
では %n
(=>
(
paternalAunt
?P ?AUN)
(
exists
(?F)
(
and
(
father
?P ?F)
(
sister
?F ?AUN))))
ArabicCulture.kif 584-589
paternalAunt
物
and
人[人間]
Woman
Woman
は
物
の
father
では %n
sister
Woman
and
人[人間]
(=>
(
paternalUncle
?P ?UNC)
(
exists
(?F)
(
and
(
father
?P ?F)
(
brother
?F ?UNC))))
ArabicCulture.kif 562-567
paternalUncle
物
and
人[人間]
Man
Man
は
物
の
father
では %n
brother
Man
and
人[人間]
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