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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MimeEncodingScheme

Sigma KEE - MimeEncodingScheme
MimeEncodingScheme(MIME encoding scheme)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2233-2235
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11437-11437
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2232-2232 MIME encoding scheme is a subclass of coding scheme

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2244-2244 Mime application is a subclass of MIME encoding scheme
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2242-2242 Mime audio is a subclass of MIME encoding scheme
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2241-2241 Mime image is a subclass of MIME encoding scheme
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2245-2245 Mime message is a subclass of MIME encoding scheme
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2246-2246 Mime multipart is a subclass of MIME encoding scheme
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2236-2236 Mime text is a subclass of MIME encoding scheme
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2243-2243 Mime video is a subclass of MIME encoding scheme
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2238-2238

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2251-2251 The number 2 argument of mime type is an instance of MIME encoding scheme


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