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
paternalAunt
Sigma KEE - paternalAunt
paternalAunt
appearance as argument number 1
(
documentation
paternalAunt
EnglishLanguage
"In Arabic: Eam~ap. Father's sister, paternal aunt.")
ArabicCulture.kif 582-583
(
instance
paternalAunt
BinaryPredicate
)
ArabicCulture.kif 580-580
paternalAunt
è un'
istanza
di
PredicatoBinario
(
subrelation
paternalAunt
familyRelation
)
ArabicCulture.kif 581-581
paternalAunt
è una
sottorelazione
di
familyRelation
appearance as argument number 2
(
format
ChineseLanguage
paternalAunt
"%1 的 paternal
aunt
是 %2 ")
domainEnglishFormat.kif 4090-4090
(
format
ChineseTraditionalLanguage
paternalAunt
"%1 的 paternal
aunt
是 %2 ")
domainEnglishFormat.kif 4089-4089
(
format
EnglishLanguage
paternalAunt
"the paternal
aunt
of %1 is %2")
domainEnglishFormat.kif 4088-4088
(
termFormat
ChineseLanguage
paternalAunt
"父亲阿姨")
domainEnglishFormat.kif 44754-44754
(
termFormat
ChineseTraditionalLanguage
paternalAunt
"父親阿姨")
domainEnglishFormat.kif 44753-44753
(
termFormat
EnglishLanguage
paternalAunt
"paternal aunt")
domainEnglishFormat.kif 44752-44752
antecedent
(=>
(
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
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