Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| coding |
| appearance as argument number 1 |
|
| (instance coding BinaryPredicate) | QoSontology.kif 2317-2317 | coding is an instance of binary predicate |
| (instance coding PartialValuedRelation) | QoSontology.kif 2318-2318 | coding is an instance of partial valued relation |
| (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 2319-2323 | coding is an instance of partial valued relation |
| (domain coding 1 ContentBearingObject) | QoSontology.kif 2324-2324 | The number 1 argument of coding is an instance of content bearing object |
| (domain coding 2 CodingScheme) | QoSontology.kif 2325-2325 | The number 2 argument of coding is an instance of coding scheme |
| appearance as argument number 2 |
|
|
| (subrelation mimeType coding) | QoSontology.kif 2374-2374 | mime type is a subrelation of coding |
| (format EnglishLanguage coding "%1 is encoded in %2") | domainEnglishFormat.kif 3016-3016 | mime type is a subrelation of coding |
| (format ChineseTraditionalLanguage coding "%1 是 encoded 在 %2 ") | domainEnglishFormat.kif 3017-3017 | mime type is a subrelation of coding |
| (format ChineseLanguage coding "%1 是 encoded 在 %2 ") | domainEnglishFormat.kif 3018-3018 | mime type is a subrelation of coding |
| (termFormat EnglishLanguage coding "coding") | domainEnglishFormat.kif 65802-65802 | mime type is a subrelation of coding |
|