TreeView Knowledge Base Browser - MultimediaFile

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MultimediaFile

MultimediaFile(multimedia file)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 1410-1412
No TPTP formula. May not be expressible in strict first order.	Media.kif 1414-1414	Multimedia file is a subclass of computer file

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 1468-1468	Audio visual file is a subclass of multimedia file
No TPTP formula. May not be expressible in strict first order.	Media.kif 1425-1425	MUS file is a subclass of multimedia file
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65209-65209

consequent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2761-2772	If a process is an instance of downloading non audio video image user file and an entity is a patient of the process and the entity is an instance of computer file, then the entity is not an instance of image file and the entity is not an instance of audio file and the entity is not an instance of multimedia file
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3409-3417	If a physical is an instance of i-tunes, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of multimedia file and the other entity is an instance of downloading and the object transferred in the other entity is the entity and the physical is an instrument for the other entity

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