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

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	ComputerFile ist eine teilkategorie von DigitalData

appearance as argument number 2

(subclass AudioFile ComputerFile)	Media.kif 1454-1454	AudioFile ist eine teilkategorie von ComputerFile
(subclass ComputerDirectory ComputerFile)	QoSontology.kif 177-177	ComputerDirectory ist eine teilkategorie von ComputerFile
(subclass ImageFile ComputerFile)	Media.kif 1427-1427	ImageFile ist eine teilkategorie von ComputerFile
(subclass MultimediaFile ComputerFile)	Media.kif 1414-1414	MultimediaFile ist eine teilkategorie von ComputerFile
(subclass SoftwareFile ComputerFile)	Media.kif 1519-1519	SoftwareFile ist eine teilkategorie von ComputerFile
(subclass XMLFile ComputerFile)	Media.kif 1473-1473	XMLFile ist eine teilkategorie von ComputerFile
(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	Die Zahl 1 Argument von AddressFn ist ein fall von ComputerFile %n{nicht}
(domain directoryOf 1 ComputerFile)	QoSontology.kif 215-215	Die Zahl 1 Argument von directoryOf ist ein fall von ComputerFile %n{nicht}
(domain programCopy 1 ComputerFile)	QoSontology.kif 636-636	Die Zahl 1 Argument von programCopy ist ein fall von ComputerFile %n{nicht}

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	Wenn Process ist ein fall von DownloadingNonAudioVideoImageUserFile %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von ComputerFile %n{nicht}, dann Entity ist ein fall von ImageFile nicht und Entity ist ein fall von AudioFile nicht und ** Entity ist ein fall von MultimediaFile nicht
(=> (and (instance ?Directory ComputerDirectory) (instance ?File ComputerFile) (directoryOf ?File ?Directory)) (refers (AddressFn ?File) ?Directory))	QoSontology.kif 231-236	Wenn ComputerDirectory ist ein fall von ComputerDirectory %n{nicht} und ComputerFile ist ein fall von ComputerFile %n{nicht} und directoryOf ComputerFile and ComputerDirectory, dann AddressFn ComputerFile umfasst einen hinweis auf ComputerDirectory

consequent

(=> (and (instance ?F ComputerDirectory) (member ?M ?F)) (instance ?M ComputerFile))	engineering.kif 1351-1355	Wenn Collection ist ein fall von ComputerDirectory %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von ComputerFile %n{nicht}
(=> (and (instance ?FS FileSystem) (member ?M ?FS)) (instance ?M ComputerFile))	engineering.kif 1344-1348	Wenn Collection ist ein fall von FileSystem %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von ComputerFile %n{nicht}
(=> (instance ?ACT DownloadingRequest) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE ComputerFile))))	ComputerInput.kif 1846-1851	Wenn Process ist ein fall von DownloadingRequest %n{nicht}, dann es gibt Entity um Entity ist ein patient von Process %n{nicht} und ** Entity ist ein fall von ComputerFile %n{nicht}
(=> (instance ?ACT UploadingRequest) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE ComputerFile))))	ComputerInput.kif 1858-1863	Wenn Process ist ein fall von UploadingRequest %n{nicht}, dann es gibt Entity um Entity ist ein patient von Process %n{nicht} und ** Entity ist ein fall von ComputerFile %n{nicht}
(=> (instance ?PACK SoftwarePackage) (exists (?FILE) (and (instance ?FILE ComputerFile) (part ?FILE ?PACK))))	ComputerInput.kif 826-831	Wenn Object ist ein fall von SoftwarePackage %n{nicht}, dann es gibt Object um Object ist ein fall von ComputerFile %n{nicht} und Object ist ein teil von Object %n{nicht}

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