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

appearance as argument number 2

(subclass AudioFile ComputerFile)	Media.kif 1456-1456	Audio file is a subclass of computer file
(subclass ComputerDirectory ComputerFile)	QoSontology.kif 178-178	Computer directory is a subclass of computer file
(subclass ImageFile ComputerFile)	Media.kif 1429-1429	Image file is a subclass of computer file
(subclass MultimediaFile ComputerFile)	Media.kif 1416-1416	Multimedia file is a subclass of computer file
(subclass SoftwareFile ComputerFile)	Media.kif 1521-1521	Software file is a subclass of computer file
(subclass XMLFile ComputerFile)	Media.kif 1475-1475	XML file is a subclass of computer file
(termFormat ChineseLanguage ComputerFile "电脑文件")	domainEnglishFormat.kif 16310-16310	XML file is a subclass of computer file
(termFormat ChineseTraditionalLanguage ComputerFile "電腦文件")	domainEnglishFormat.kif 16309-16309	XML file is a subclass of computer file
(termFormat EnglishLanguage ComputerFile "computer file")	domainEnglishFormat.kif 16308-16308	XML file is a subclass of computer file

appearance as argument number 3

(domain AddressFn 1 ComputerFile)	QoSontology.kif 224-224	The number 1 argument of address is an instance of computer file
(domain directoryOf 1 ComputerFile)	QoSontology.kif 216-216	The number 1 argument of directory of is an instance of computer file
(domain programCopy 1 ComputerFile)	QoSontology.kif 745-745	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 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

(=> (and (instance ?F ComputerDirectory) (member ?M ?F)) (instance ?M ComputerFile))	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
(=> (and (instance ?FS FileSystem) (member ?M ?FS)) (instance ?M ComputerFile))	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
(=> (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 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