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
holdsDuring
Sigma KEE - flagDescription
flagDescription
appearance as argument number 1
(
documentation
flagDescription
EnglishLanguage
"(
flagDescription
?AREA ?DESCRIPTION) means that the
SymbolicString
?DESCRIPTION is a verbal description of the flag of the
GeopoliticalArea
?AREA.")
Government.kif 4744-4746
(
domain
flagDescription
1
GeopoliticalArea
)
Government.kif 4741-4741
(
domain
flagDescription
2
SymbolicString
)
Government.kif 4742-4742
(
instance
flagDescription
BinaryPredicate
)
Government.kif 4740-4740
appearance as argument number 2
(
format
ChineseLanguage
flagDescription
"%2 %n 是 %1 的 flag 苗素")
domainEnglishFormat.kif 1041-1041
(
format
ChineseTraditionalLanguage
flagDescription
"%2 %n 是 %1 的 flag 苗素")
domainEnglishFormat.kif 1040-1040
(
format
EnglishLanguage
flagDescription
"%2 is %n a flag description of %1")
domainEnglishFormat.kif 1039-1039
(
termFormat
ChineseLanguage
flagDescription
"国旗描述")
domainEnglishFormat.kif 24140-24140
(
termFormat
ChineseTraditionalLanguage
flagDescription
"國旗描述")
domainEnglishFormat.kif 24139-24139
(
termFormat
EnglishLanguage
flagDescription
"flag description")
domainEnglishFormat.kif 24138-24138
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