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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Encoding

Sigma KEE - Encoding
Encoding(encoding)
more pictures...
cipher, code, coding, compile, cryptography, cut, cypher, data_encryption, digitalise, digitalize, digitise, digitize, encipher, encode, encoding, encrypt, encryption, hack, hack_on, heterodyne, inscribe, modulate, program, programme, recoding, save, scramble, secret_writing, steganography, write, write_in_code

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3205-3206
No TPTP formula. May not be expressible in strict first order. Merge.kif 12704-12707
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10950-10950
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10955-10955
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10951-10951
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10953-10953
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10945-10945
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10949-10949
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10954-10954
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10947-10947
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10952-10952
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10956-10956
No TPTP formula. May not be expressible in strict first order. Merge.kif 12703-12703 Encoding is a subclass of writing

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12710-12710 Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1180-1180
No TPTP formula. May not be expressible in strict first order. english_format.kif 1577-1577
No TPTP formula. May not be expressible in strict first order. french_format.kif 858-858
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 390-390
No TPTP formula. May not be expressible in strict first order. terms-it.txt 393-393
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2542-2542
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 810-810
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 429-429
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 879-879
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 394-394

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2169-2179

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3504-3511
No TPTP formula. May not be expressible in strict first order. Merge.kif 12715-12728


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