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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Encoding
Encoding(符号化)
more pictures...

VerbNet: create-26.4|write,


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


(documentation Encoding ChineseLanguage "这是把文件或短信转成形式语言或一种只有相对少数的 Agent 能明白的代码。一般来说,这会妨碍广泛传播原文或信息内容。") Merge.kif 17000-17001
(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 16996-16999
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/0/ 0e/ Huffmanpasso1.png") pictureList.kif 10977-10977 externalImage 符号化 and "http://upload.wikimedia.org/wikipedia/commons/0/0e/ Huffmanpasso1.png"
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/2/ 20/ Huffmanpasso6.png") pictureList.kif 10982-10982 externalImage 符号化 and "http://upload.wikimedia.org/wikipedia/commons/2/20/ Huffmanpasso6.png"
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/3/ 30/ Huffmanpasso2.png") pictureList.kif 10978-10978 externalImage 符号化 and "http://upload.wikimedia.org/wikipedia/commons/3/30/ Huffmanpasso2.png"
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Huffmanpasso4.png") pictureList.kif 10980-10980 externalImage 符号化 and "http://upload.wikimedia.org/wikipedia/commons/4/40/ Huffmanpasso4.png"
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png") pictureList.kif 10972-10972 externalImage 符号化 and "http://upload.wikimedia.org/wikipedia/commons/6/6a/ Noia_64_mimetypes_real.png"
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6c/ Sicherheitsetikett_1.jpg") pictureList.kif 10976-10976 externalImage 符号化 and "http://upload.wikimedia.org/wikipedia/commons/6/6c/ Sicherheitsetikett_1.jpg"
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ Huffmanpasso5.png") pictureList.kif 10981-10981 externalImage 符号化 and "http://upload.wikimedia.org/wikipedia/commons/a/ac/ Huffmanpasso5.png"
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg") pictureList.kif 10974-10974 externalImage 符号化 and "http://upload.wikimedia.org/wikipedia/commons/a/ae/ Enigma.jpg"
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Huffmanpasso3.png") pictureList.kif 10979-10979 externalImage 符号化 and "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Huffmanpasso3.png"
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ Adaptive_huffman.png") pictureList.kif 10983-10983 externalImage 符号化 and "http://upload.wikimedia.org/wikipedia/commons/f/f9/ Adaptive_huffman.png"
(subclass Encoding Writing) Merge.kif 16995-16995 符号化執筆subclass では %n

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


(disjoint Decoding Encoding) Merge.kif 17004-17004 復号化符号化disjoint では %n
(termFormat ChineseLanguage Encoding "编码") chinese_format.kif 1180-1180 termFormat ChineseLanguage, 符号化 and "编码"
(termFormat EnglishLanguage Encoding "encoding") english_format.kif 2249-2249 termFormat EnglishLanguage, 符号化 and "encoding"
(termFormat JapaneseLanguage Encoding "符号化") english_format.kif 2250-2250 termFormat JapaneseLanguage, 符号化 and "符号化"

antecedent
-------------------------


(=>
    (and
        (instance ?P Encoding)
        (agent ?P ?A))
    (exists (?CODE)
        (or
            (knows ?P ?CODE)
            (exists (?OBJ)
                (and
                    (instrument ?P ?OBJ)
                    (containsInformation ?OBJ ?CODE))))))
QoSontology.kif 2148-2158

consequent
-------------------------


(=>
    (and
        (cardCode ?Code ?Card)
        (cardAccount ?Card ?Account))
    (exists (?Encoding)
        (and
            (instance ?Encoding Encoding)
            (patient ?Encoding ?Account))))
FinancialOntology.kif 3395-3402
(=>
    (and
        (instance ?DECODE Decoding)
        (patient ?DECODE ?DOC1))
    (exists (?ENCODE ?DOC2 ?TIME)
        (and
            (containsInformation ?DOC2 ?PROP)
            (containsInformation ?DOC1 ?PROP)
            (temporalPart ?TIME
                (PastFn
                    (WhenFn ?DECODE)))
            (holdsDuring ?TIME
                (and
                    (instance ?ENCODE Encoding)
                    (patient ?ENCODE ?DOC2))))))
Merge.kif 17011-17023


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners