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

(documentation ComputerFile EnglishLanguage "A collection of bytes stored as an individual entity. All data on disk is stored as a file with an assigned file name that is unique within the folder (directory) it resides in.")	QoSontology.kif 172-175
(lexicon ComputerFile LexNoun "file")	engineering.kif 1341-1341
(subclass ComputerFile DigitalData)	QoSontology.kif 171-171	Computer file is a subclass of digital data

appearance as argument number 2

(subclass AudioFile ComputerFile)	Media.kif 1454-1454	Audio file is a subclass of computer file
(subclass ComputerDirectory ComputerFile)	QoSontology.kif 177-177	Computer directory is a subclass of computer file
(subclass ImageFile ComputerFile)	Media.kif 1427-1427	Image file is a subclass of computer file
(subclass MultimediaFile ComputerFile)	Media.kif 1414-1414	Multimedia file is a subclass of computer file
(subclass SoftwareFile ComputerFile)	Media.kif 1519-1519	Software file is a subclass of computer file
(subclass XMLFile ComputerFile)	Media.kif 1473-1473	XML file is a subclass of computer file
(termFormat ChineseLanguage ComputerFile "电脑文件")	domainEnglishFormat.kif 16302-16302
(termFormat ChineseTraditionalLanguage ComputerFile "電腦文件")	domainEnglishFormat.kif 16301-16301
(termFormat EnglishLanguage ComputerFile "computer file")	domainEnglishFormat.kif 16300-16300

appearance as argument number 3

(domain AddressFn 1 ComputerFile)	QoSontology.kif 223-223	The number 1 argument of address is an instance of computer file
(domain directoryOf 1 ComputerFile)	QoSontology.kif 215-215	The number 1 argument of directory of is an instance of computer file
(domain programCopy 1 ComputerFile)	QoSontology.kif 636-636	The number 1 argument of program copy is an instance of computer file

antecedent

(=> (and (instance ?ACT DownloadingNonAudioVideoImageUserFile) (patient ?ACT ?FILE) (instance ?FILE ComputerFile)) (and (not (instance ?FILE ImageFile)) (not (instance ?FILE AudioFile)) (not (instance ?FILE MultimediaFile))))	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
(=> (and (instance ?Directory ComputerDirectory) (instance ?File ComputerFile) (directoryOf ?File ?Directory)) (refers (AddressFn ?File) ?Directory))	QoSontology.kif 231-236	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

(=> (and (instance ?F ComputerDirectory) (member ?M ?F)) (instance ?M ComputerFile))	engineering.kif 1351-1355	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
(=> (and (instance ?FS FileSystem) (member ?M ?FS)) (instance ?M ComputerFile))	engineering.kif 1344-1348	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
(=> (instance ?ACT DownloadingRequest) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE ComputerFile))))	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
(=> (instance ?ACT UploadingRequest) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE ComputerFile))))	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
(=> (instance ?PACK SoftwarePackage) (exists (?FILE) (and (instance ?FILE ComputerFile) (part ?FILE ?PACK))))	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