ComputerFile - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ComputerFile

ComputerFile(computer file)

ASCII_text_file, computer_file, document, text_file

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 173-176
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1654-1654
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 172-172	Computer file is a subclass of digital data

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 1456-1456	Audio file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 178-178	Computer directory is a subclass of computer file
No TPTP formula. May not be expressible in strict first order.	Media.kif 1429-1429	Image file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order.	Media.kif 1416-1416	Multimedia file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order.	Media.kif 1521-1521	Software file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order.	Media.kif 1475-1475	XML file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16311-16311	XML file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16310-16310	XML file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16309-16309	XML file is a subclass of computer file

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 224-224	The number 1 argument of address is an instance of computer file
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 216-216	The number 1 argument of directory of is an instance of computer file
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 745-745	The number 1 argument of program copy is an instance of computer file

antecedent

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.	QoSontology.kif 232-237	If a computer directory is an instance of computer directory and a computer file is an instance of computer file and the computer directory is a directory of the computer file, then the address of the computer file includes a reference to the computer directory

consequent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1664-1668	If a collection is an instance of computer directory and a physical is a member of the collection, then the physical is an instance of computer file
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1657-1661	If a collection is an instance of file system and a physical is a member of the collection, then the physical is an instance of computer file
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1846-1851	If a process is an instance of downloading request, then there exists an entity such that the entity is a patient of the process and the entity is an instance of computer file
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1858-1863	If a process is an instance of uploading request, then there exists an entity such that the entity is a patient of the process and the entity is an instance of computer file
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 826-831	If an object is an instance of software package, then there exists another object such that the other object is an instance of computer file and the other object is a part of the 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