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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Decoding

Sigma KEE - Decoding
Decoding(解码)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12710-12710 解码 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3207-3208
No TPTP formula. May not be expressible in strict first order. Merge.kif 12711-12713
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10811-10811
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10805-10805
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10807-10807
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10813-10813
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10814-10814
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10808-10808
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10816-10816
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10809-10809
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10810-10810
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10806-10806
No TPTP formula. May not be expressible in strict first order. Merge.kif 12709-12709 解码写作subclass

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. 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 12715-12728
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2181-2191
No TPTP formula. May not be expressible in strict first order. Media.kif 1192-1202
No TPTP formula. May not be expressible in strict first order. Media.kif 1156-1166
No TPTP formula. May not be expressible in strict first order. Media.kif 1257-1267

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3572-3581


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