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
Il numero 1 argomenti di
father
è un
istanza
di
Organismo
(
domain
father
2
Organism
)
Merge.kif 16498-16498
Il numero 2 argomenti di
father
è un
istanza
di
Organismo
(
instance
father
BinaryPredicate
)
Merge.kif 16491-16491
father
è un'
istanza
di
PredicatoBinario
(
instance
father
PartialValuedRelation
)
Merge.kif 16490-16490
father
è un'
istanza
di
RelazioneAValoreParziale
(
instance
father
SingleValuedRelation
)
Merge.kif 16489-16489
father
è un'
istanza
di
RelazioneMonovalente
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
Organismo
è un
padre
di
Organismo
Organismo
è un
parente
di
Organismo
(=>
(
father
?CHILD ?FATHER)
(
attribute
?FATHER
Male
))
Merge.kif 16503-16505
Organismo
è un
padre
di
Organismo
attribute
Organismo
and
Male
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
cousin
Umano
and
Umano
Woman
Man
grandmother
Umano
and
Woman
grandfather
Umano
and
Man
grandmother
Umano
and
Woman
grandfather
Umano
and
Man
Organismo
Organismo
Organismo
è una
madre
di
Umano
Organismo
è un
padre
di
Umano
Organismo
è una
madre
di
Umano
Organismo
è un
padre
di
Umano
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23204-23211
stepfather
Umano
and
Man
Umano
Umano
è una
madre
di
Umano
spouse
Man
and
Umano
Man
è un
padre
di
Umano
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23221-23228
stepmother
Umano
and
Woman
Umano
Umano
è un
padre
di
Umano
spouse
Woman
and
Umano
Woman
è una
madre
di
Umano
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10372-10379
Processo
è un'
istanza
di
RiproduzioneSessuata
Organismo
è un
risultato
di
Processo
Organismo
Organismo
Organismo
è una
madre
di
Organismo
Organismo
è un
padre
di
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16558-16562
Organismo
è un
parente
di
Organismo
attribute
Organismo
and
Male
Organismo
è un
padre
di
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23073-23077
Organismo
è un
parente
di
Organismo
Organismo
è un'
istanza
di
Man
Organismo
è un
padre
di
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16457-16465
Organismo
è un
parente
di
Organismo
Processo
è un'
istanza
di
RiproduzioneSessuata
Processo
è un
agente
di
Organismo
Organismo
è un
risultato
di
Processo
Organismo
è una
madre
di
Organismo
Organismo
è un
padre
di
Organismo
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
fathersBrothersDaughter
Organismo
and
Organismo
Man
Umano
Man
è un
padre
di
Organismo
brother
Man
and
Umano
daughter
Umano
and
Organismo
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
fathersBrothersSon
Organismo
and
Organismo
Man
Umano
Man
è un
padre
di
Organismo
brother
Man
and
Umano
son
Umano
and
Organismo
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
fathersBrothersWife
Organismo
and
Man
Man
Woman
Man
è un
padre
di
Organismo
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
Organismo
and
Organismo
Woman
Umano
Woman
è un
padre
di
Organismo
sister
Woman
and
Umano
daughter
Umano
and
Organismo
(=>
(
fathersSistersHusband
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 630-636
fathersSistersHusband
Organismo
and
Woman
Woman
Man
Woman
è un
padre
di
Organismo
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
Organismo
and
Organismo
Woman
Umano
Woman
è un
padre
di
Organismo
sister
Woman
and
Umano
son
Umano
and
Organismo
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23135-23140
grandfather
Umano
and
Man
Organismo
Man
è un
padre
di
Organismo
Organismo
è un
parente
di
Umano
(=>
(
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
attribute
Entit�
and
BereavedFather
vales
durante
IntervalloTemporale
IntervalloTemporale
Entit�
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
è un
padre
di
Entit�
vales
durante
IntervalloTemporale
attribute
Entit�
and
Dead
vales
durante
IntervalloTemporale
(=>
(
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
Organismo
è un'
istanza
di
Mule
Organismo
Organismo
Organismo
è un
padre
di
Organismo
Organismo
è un'
istanza
di
Donkey
Organismo
è una
madre
di
Organismo
Organismo
è un'
istanza
di
Horse
(=>
(
paternalAunt
?P ?AUN)
(
exists
(?F)
(
and
(
father
?P ?F)
(
sister
?F ?AUN))))
ArabicCulture.kif 584-589
paternalAunt
Organismo
and
Umano
Woman
Woman
è un
padre
di
Organismo
sister
Woman
and
Umano
(=>
(
paternalUncle
?P ?UNC)
(
exists
(?F)
(
and
(
father
?P ?F)
(
brother
?F ?UNC))))
ArabicCulture.kif 562-567
paternalUncle
Organismo
and
Umano
Man
Man
è un
padre
di
Organismo
brother
Man
and
Umano
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