Encoding - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Encoding ChineseLanguage "这是把文件或短信转成形式语言或一种只有相对少数的 Agent 能明白的代码。一般来说，这会妨碍广泛传播原文或信息内容。")	chinese_format.kif 3205-3206
(documentation Encoding EnglishLanguage "Converting a document or message into a formal language or into a code that can be understood only by a relatively small body of Agents. Generally speaking, this hinders wide dissemination of the content in the original document or message.")	Merge.kif 12750-12753
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/0/ 0e/ Huffmanpasso1.png")	pictureList.kif 10950-10950
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/2/ 20/ Huffmanpasso6.png")	pictureList.kif 10955-10955
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/3/ 30/ Huffmanpasso2.png")	pictureList.kif 10951-10951
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Huffmanpasso4.png")	pictureList.kif 10953-10953
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png")	pictureList.kif 10945-10945
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6c/ Sicherheitsetikett_1.jpg")	pictureList.kif 10949-10949
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ Huffmanpasso5.png")	pictureList.kif 10954-10954
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg")	pictureList.kif 10947-10947
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Huffmanpasso3.png")	pictureList.kif 10952-10952
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ Adaptive_huffman.png")	pictureList.kif 10956-10956
(subclass Encoding Writing)	Merge.kif 12749-12749	Encoding is a subclass of writing

appearance as argument number 2

(disjoint Decoding Encoding)	Merge.kif 12756-12756	Decoding is disjoint from encoding
(termFormat ChineseLanguage Encoding "编码")	chinese_format.kif 1180-1180	Decoding is disjoint from encoding
(termFormat EnglishLanguage Encoding "encoding")	english_format.kif 1577-1577	Decoding is disjoint from encoding
(termFormat FrenchLanguage Encoding "encoder")	french_format.kif 858-858	Decoding is disjoint from encoding
(termFormat Hindi Encoding "kuta lekhana")	terms-hindi.txt 390-390	Decoding is disjoint from encoding
(termFormat ItalianLanguage Encoding "Codificare")	terms-it.txt 393-393	Decoding is disjoint from encoding
(termFormat JapaneseLanguage Encoding "符号化")	japanese_format.kif 2542-2542	Decoding is disjoint from encoding
(termFormat PortugueseLanguage Encoding "Codificar")	portuguese_format.kif 810-810	Decoding is disjoint from encoding
(termFormat cz Encoding "encoding")	terms-cz.txt 429-429	Decoding is disjoint from encoding
(termFormat ro Encoding "codificare")	relations-ro.kif 879-879	Decoding is disjoint from encoding
(termFormat tg Encoding "Pagkodigo")	terms-tg.txt 394-394	Decoding is disjoint from encoding

antecedent

(=>
    (and
        (instance ?P Encoding)
        (agent ?P ?A))
    (exists (?CODE)
        (or
            (knows ?A ?CODE)
            (exists (?OBJ)
                (and
                    (instrument ?P ?OBJ)
                    (containsInformation ?OBJ ?CODE))))))

QoSontology.kif 2169-2179

If a process is an instance of encoding and a cognitive agent is an agent of the process,
then there exists a formula such that the cognitive agent knows the formula or there exists an object such that the object is an instrument for the process and the object contains information the formula

consequent

(=> (and (cardCode ?Code ?Card) (cardAccount ?Card ?Account)) (exists (?Encoding) (and (instance ?Encoding Encoding) (patient ?Encoding ?Account))))	FinancialOntology.kif 3504-3511	If a bank card is a card code of a content bearing object and a financial account is a card account of the bank card, then there exists a process such that the process is an instance of encoding and the financial account is a patient of the process
(=> (and (instance ?DECODE Decoding) (patient ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2 ?TIME ?PROP) (and (containsInformation ?DOC2 ?PROP) (containsInformation ?DOC1 ?PROP) (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) (holdsDuring ?TIME (and (instance ?ENCODE Encoding) (patient ?ENCODE ?DOC2))))))	Merge.kif 12761-12774	If a process is an instance of decoding and a content bearing physical is a patient of the process, then there exist an entity, another content bearing physical,, , a time position and a proposition such that the other content bearing physical contains information the proposition and the content bearing physical contains information the proposition and the time position is a part of before the time of existence of the process and the entity is an instance of encoding and the other content bearing physical is a patient of the entity holds during the time position

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

KB Term:			Term intersection

English Word: