| 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 2301-2305 | |
| (domain coding 1 ContentBearingObject) | QoSontology.kif 2306-2306 | The number 1 argument of coding is an instance of content bearing object |
| (domain coding 2 CodingScheme) | QoSontology.kif 2307-2307 | The number 2 argument of coding is an instance of coding scheme |
| (instance coding BinaryPredicate) | QoSontology.kif 2299-2299 | coding is an instance of binary predicate |
| (instance coding PartialValuedRelation) | QoSontology.kif 2300-2300 | coding is an instance of partial valued relation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage coding "%1 是 encoded 在 %2 ") | domainEnglishFormat.kif 3018-3018 | |
| (format ChineseTraditionalLanguage coding "%1 是 encoded 在 %2 ") | domainEnglishFormat.kif 3017-3017 | |
| (format EnglishLanguage coding "%1 is encoded in %2") | domainEnglishFormat.kif 3016-3016 | |
| (subrelation mimeType coding) | QoSontology.kif 2356-2356 | mime type is a subrelation of coding |
| (termFormat EnglishLanguage coding "coding") | domainEnglishFormat.kif 65822-65822 | 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