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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Encoding
Encoding
more pictures...

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 12519-12522
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/0/ 0e/ Huffmanpasso1.png") pictureList.kif 10966-10966
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/2/ 20/ Huffmanpasso6.png") pictureList.kif 10971-10971
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/3/ 30/ Huffmanpasso2.png") pictureList.kif 10967-10967
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Huffmanpasso4.png") pictureList.kif 10969-10969
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png") pictureList.kif 10961-10961
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6c/ Sicherheitsetikett_1.jpg") pictureList.kif 10965-10965
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ Huffmanpasso5.png") pictureList.kif 10970-10970
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg") pictureList.kif 10963-10963
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Huffmanpasso3.png") pictureList.kif 10968-10968
(externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ Adaptive_huffman.png") pictureList.kif 10972-10972
(subclass Encoding Writing) Merge.kif 12518-12518

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


(disjoint Decoding Encoding) Merge.kif 12525-12525
(termFormat ChineseLanguage Encoding "编码") chinese_format.kif 1180-1180
(termFormat EnglishLanguage Encoding "encoding") english_format.kif 1577-1577

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

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


(=>
    (and
        (cardCode ?Code ?Card)
        (cardAccount ?Card ?Account))
    (exists (?Encoding)
        (and
            (instance ?Encoding Encoding)
            (patient ?Encoding ?Account))))
FinancialOntology.kif 3514-3521
(=>
    (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 12530-12543


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