TreeView Knowledge Base Browser - ComputerFile

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 170-173
(lexicon ComputerFile LexNoun "file")	engineering.kif 1340-1340
(subclass ComputerFile DigitalData)	QoSontology.kif 169-169	Computer file is a subclass of digital data

appearance as argument number 2

(subclass AudioFile ComputerFile)	Media.kif 1454-1454	AudioFile is a subclass of computer file
(subclass ComputerDirectory ComputerFile)	QoSontology.kif 175-175	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	MultimediaFile is a subclass of computer file
(subclass SoftwareFile ComputerFile)	Media.kif 1505-1505	SoftwareFile is a subclass of computer file
(subclass XMLFile ComputerFile)	Media.kif 1473-1473	XMLFile is a subclass of computer file
(termFormat ChineseLanguage ComputerFile "电脑文件")	domainEnglishFormat.kif 16293-16293
(termFormat ChineseTraditionalLanguage ComputerFile "電腦文件")	domainEnglishFormat.kif 16292-16292
(termFormat EnglishLanguage ComputerFile "computer file")	domainEnglishFormat.kif 16291-16291

appearance as argument number 3

(domain AddressFn 1 ComputerFile)	QoSontology.kif 221-221	The number 1 argument of address is an instance of computer file
(domain directoryOf 1 ComputerFile)	QoSontology.kif 213-213	The number 1 argument of directory of is an instance of computer file
(domain programCopy 1 ComputerFile)	QoSontology.kif 634-634	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 2757-2768	If a process is an instance of DownloadingNonAudioVideoImageUserFile 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 AudioFile and the entity is not an instance of MultimediaFile
(=> (and (instance ?Directory ComputerDirectory) (instance ?File ComputerFile) (directoryOf ?File ?Directory)) (refers (AddressFn ?File) ?Directory))	QoSontology.kif 229-234	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 1350-1354	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 1343-1347	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 1843-1848	If a process is an instance of DownloadingRequest, 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 1855-1860	If a process is an instance of UploadingRequest, 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 SoftwarePackage, 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 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