SoftwareFile - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SoftwareFile

SoftwareFile

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 1505-1508
No TPTP formula. May not be expressible in strict first order.	Media.kif 1509-1509	SoftwareFile is a subclass of computer file

antecedent

No TPTP formula. May not be expressible in strict first order.

Media.kif 1524-1530

If a content bearing physical is an instance of SoftwareFile,
then there exist another content bearing physical and a proposition such that the other content bearing physical is an instance of computer program and the other content bearing physical subsumes the content of the proposition and the content bearing physical contains information the proposition

consequent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2720-2725	If a process is an instance of DownloadingSoftware, then there exists an entity such that the entity is a patient of the process and the entity is an instance of SoftwareFile
No TPTP formula. May not be expressible in strict first order.	Media.kif 1511-1516	If a corpuscular object is an instance of software system, then there exists another corpuscular object such that the other corpuscular object is an instance of SoftwareFile and the other corpuscular object is a component of the corpuscular object

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 is open source software produced by Articulate Software and its partners