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

Formal Language: 



KB Term:  Term intersection
English Word: 

  coding

 Sigma KEE - coding
coding

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2195-2199
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2200-2200 O argumento numero 1 de coding e' uma instancia de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2201-2201 O argumento numero 2 de coding e' uma instancia de CodingScheme
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2193-2193 coding e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2194-2194 coding e' uma instancia de Relacao Parcial

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3022-3022
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3021-3021
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3020-3020
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2250-2250 mimeType e' uma sub-relacao de coding
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65793-65793


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