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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 12858-12861
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10948-10948
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 10949-10949
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 10943-10943
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 10945-10945
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 10954-10954
No TPTP formula. May not be expressible in strict first order. Merge.kif 12857-12857 Encoding is a subclass of writing

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


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

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2301-2311

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3522-3529
No TPTP formula. May not be expressible in strict first order. Merge.kif 12869-12882


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