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
imageResolution
Sigma KEE - imageResolution
imageResolution
appearance as argument number 1
(
instance
imageResolution
BinaryPredicate
)
QoSontology.kif 2123-2123
image resolution
is an
instance
of
binary predicate
(
domain
imageResolution
1
ImageFile
)
QoSontology.kif 2124-2124
The number 1 argument of
image resolution
is an
instance
of
image file
(
domain
imageResolution
2
PhysicalQuantity
)
QoSontology.kif 2125-2125
The number 2 argument of
image resolution
is an
instance
of
physical quantity
(
documentation
imageResolution
EnglishLanguage
"The degree of sharpness of a displayed or printed image.")
QoSontology.kif 2126-2127
The number 2 argument of
image resolution
is an
instance
of
physical quantity
appearance as argument number 2
(
format
EnglishLanguage
imageResolution
"%2 is %n an image resolution of %1")
domainEnglishFormat.kif 1243-1243
(
format
ChineseTraditionalLanguage
imageResolution
"%2 %n 是 %1 的 image 解析度")
domainEnglishFormat.kif 1244-1244
(
format
ChineseLanguage
imageResolution
"%2 %n 是 %1 的 image 解析度")
domainEnglishFormat.kif 1245-1245
(
termFormat
EnglishLanguage
imageResolution
"image resolution")
domainEnglishFormat.kif 29315-29315
(
termFormat
ChineseTraditionalLanguage
imageResolution
"圖像解析度")
domainEnglishFormat.kif 29316-29316
(
termFormat
ChineseLanguage
imageResolution
"图像解析度")
domainEnglishFormat.kif 29317-29317
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