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


KB Term:  Term intersection
English Word: 

Sigma KEE - granularity
granularity

appearance as argument number 1
-------------------------


(instance granularity BinaryPredicate) QoSontology.kif 1613-1613 granularity is an instance of binary predicate
(domain granularity 1 RealtimeSystem) QoSontology.kif 1614-1614 The number 1 argument of granularity is an instance of realtime system
(domain granularity 2 TimeDuration) QoSontology.kif 1615-1615 The number 2 argument of granularity is an instance of time duration
(documentation granularity EnglishLanguage "Granularity is a sub-property of the timing requirements property of real-time systems. Granularity is defined by how a timing requirement is specified in units of time.") QoSontology.kif 1616-1618 The number 2 argument of granularity is an instance of time duration

appearance as argument number 2
-------------------------


(format EnglishLanguage granularity "%2 is %n a granularity of %1") domainEnglishFormat.kif 1123-1123
(format ChineseTraditionalLanguage granularity "%2 %n 是 %1 的 granularity ") domainEnglishFormat.kif 1124-1124
(format ChineseLanguage granularity "%2 %n 是 %1 的 granularity ") domainEnglishFormat.kif 1125-1125
(termFormat EnglishLanguage granularity "granularity") domainEnglishFormat.kif 26426-26426
(termFormat ChineseTraditionalLanguage granularity "粒度") domainEnglishFormat.kif 26427-26427
(termFormat ChineseLanguage granularity "粒度") domainEnglishFormat.kif 26428-26428


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