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


KB Term:  Term intersection
English Word: 

Sigma KEE - mimeType
mimeType

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


(instance mimeType BinaryPredicate) QoSontology.kif 2372-2372 mime type is an instance of binary predicate
(instance mimeType PartialValuedRelation) QoSontology.kif 2373-2373 mime type is an instance of partial valued relation
(subrelation mimeType coding) QoSontology.kif 2374-2374 mime type is a subrelation of coding
(domain mimeType 1 ContentBearingObject) QoSontology.kif 2375-2375 The number 1 argument of mime type is an instance of content bearing object
(domain mimeType 2 MimeEncodingScheme) QoSontology.kif 2376-2376 The number 2 argument of mime type is an instance of MIME encoding scheme
(documentation mimeType EnglishLanguage "A relation between ComputerData and the MIME type it is coded in, with respect to IETF RFC 2045.") QoSontology.kif 2377-2378 The number 2 argument of mime type is an instance of MIME encoding scheme

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


(format EnglishLanguage mimeType "%1 is encoded as %2") domainEnglishFormat.kif 3854-3854
(format ChineseTraditionalLanguage mimeType "%1 是 encoded 如同 %2 ") domainEnglishFormat.kif 3855-3855
(format ChineseLanguage mimeType "%1 是 encoded 如同 %2 ") domainEnglishFormat.kif 3856-3856
(termFormat EnglishLanguage mimeType "mime type") domainEnglishFormat.kif 65893-65893


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners