Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
regionalIssue
Sigma KEE - regionalIssue
regionalIssue
appearance as argument number 1
(
instance
regionalIssue
BinaryPredicate
)
Geography.kif 8472-8472
regional issue
is an
instance
of
binary predicate
(
domain
regionalIssue
1
GeographicArea
)
Geography.kif 8473-8473
The number 1 argument of
regional issue
is an
instance
of
geographic area
(
domain
regionalIssue
2
AreaOfConcern
)
Geography.kif 8474-8474
The number 2 argument of
regional issue
is an
instance
of
area of concern
(
documentation
regionalIssue
EnglishLanguage
"(
regionalIssue
?AREA ?ISSUE) means that the
AreaOfConcern
?ISSUE is relevant to a problem in the
GeographicArea
?AREA.")
Geography.kif 8476-8478
The number 2 argument of
regional issue
is an
instance
of
area of concern
appearance as argument number 2
(
format
EnglishLanguage
regionalIssue
"%2 is %n a regional issue of %1")
domainEnglishFormat.kif 2117-2117
(
format
ChineseTraditionalLanguage
regionalIssue
"%2 %n 是 %1 的 regional 問題")
domainEnglishFormat.kif 2118-2118
(
format
ChineseLanguage
regionalIssue
"%2 %n 是 %1 的 regional 问题")
domainEnglishFormat.kif 2119-2119
(
termFormat
EnglishLanguage
regionalIssue
"regional issue")
domainEnglishFormat.kif 49203-49203
(
termFormat
ChineseTraditionalLanguage
regionalIssue
"區域問題")
domainEnglishFormat.kif 49204-49204
(
termFormat
ChineseLanguage
regionalIssue
"区域问题")
domainEnglishFormat.kif 49205-49205
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners