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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - coding
coding

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


(documentation coding EnglishLanguage "A relation between a ContentBearingObject and a CodingScheme that specifies how the content is expressed. Typically, this will be used either for encoded secret communications or computer files that might be coded simply for data compression instead of information security.") QoSontology.kif 2195-2199
(domain coding 1 ContentBearingObject) QoSontology.kif 2200-2200 The number 1 argument of coding is an instance of content bearing object
(domain coding 2 CodingScheme) QoSontology.kif 2201-2201 The number 2 argument of coding is an instance of coding scheme
(instance coding BinaryPredicate) QoSontology.kif 2193-2193 coding is an instance of binary predicate
(instance coding PartialValuedRelation) QoSontology.kif 2194-2194 coding is an instance of partial valued relation

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


(format ChineseLanguage coding "%1 是 encoded 在 %2 ") domainEnglishFormat.kif 3014-3014
(format ChineseTraditionalLanguage coding "%1 是 encoded 在 %2 ") domainEnglishFormat.kif 3013-3013
(format EnglishLanguage coding "%1 is encoded in %2") domainEnglishFormat.kif 3012-3012
(subrelation mimeType coding) QoSontology.kif 2250-2250 mime type is a subrelation of coding
(termFormat EnglishLanguage coding "coding") domainEnglishFormat.kif 65842-65842 mime type is a subrelation of coding


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 is open source software produced by Articulate Software and its partners