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
(
subrelation
paternalAunt
familyRelation
)
ArabicCulture.kif 581-581
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 44756-44756
(
termFormat
ChineseTraditionalLanguage
paternalAunt
"父親阿姨")
domainEnglishFormat.kif 44755-44755
(
termFormat
EnglishLanguage
paternalAunt
"paternal aunt")
domainEnglishFormat.kif 44754-44754
antecedent
(=>
(
paternalAunt
?P ?AUN)
(
exists
(?F)
(
and
(
father
?P ?F)
(
sister
?F ?AUN))))
ArabicCulture.kif 584-589
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