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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Encoding

Sigma KEE - Encoding
Encoding(Codificar)
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 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 Codificar e' uma sub-classe de Escrever

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


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

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 3504-3511
(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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