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
例
父親阿姨
and
BinaryPredicate
(
subrelation
paternalAunt
familyRelation
)
ArabicCulture.kif 581-581
子關係
父親阿姨
and
家庭關係
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
Organism
的
paternal
aunt
是
Human
女人
父親
Organism
and
女人
女人
是
Human
的
sister
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