Decoding - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Decoding

Decoding(decoding)

more pictures...

anglicise, anglicize, decipher, deciphered, decipherment, decode, decoding, decrypt, decryption, demodulate, metricise, metricize, receive, trace, transcribe, transliterate, undeciphered, unscramble

appearance as argument number 1

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 3207-3208	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12865-12867	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10809-10809	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10803-10803	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10805-10805	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10811-10811	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10812-10812	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10806-10806	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10814-10814	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10807-10807	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10808-10808	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10804-10804	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12863-12863	Decoding is a subclass of writing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1181-1181
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1579-1579
No TPTP formula. May not be expressible in strict first order.	french_format.kif 859-859
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 391-391
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 394-394
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2543-2543
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 811-811
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 430-430
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 689-689
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 880-880
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 395-395

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12869-12882	If a process is an instance of decoding and a content bearing physical is a patient of the process, then there exist an entity, another content bearing physical,, , a time position and a proposition such that the other content bearing physical contains information the proposition and the content bearing physical contains information the proposition and the time position is a part of before the time of existence of the process and the entity is an instance of encoding and the other content bearing physical is a patient of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2313-2323	If a process is an instance of decoding and a cognitive agent is an agent of the process, then there exists a formula such that the cognitive agent knows the formula or there exists an object such that the object is an instrument for the process and the object contains information the formula
No TPTP formula. May not be expressible in strict first order.	Media.kif 1194-1204	If an entity is an instance of blu ray disc and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 405 nanometer(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 1156-1166	If an entity is an instance of compact disc and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 780 nanometer(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 1259-1269	If an entity is an instance of DVD and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 650 nanometer(s)

consequent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 3590-3599

If a process is an instance of verifying card code and a content bearing object is a patient of the process and a bank card is a card code of the content bearing object,
then there exists another process such that the other process is an instance of decoding and the other process is a subprocess of the process and the content bearing object is a patient of the other process

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