Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners