Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 



KB Term:  Term intersection
English Word: 

  telecomCode2

Sigma KEE - DownloadingUserFile
DownloadingUserFile(downloading user file)

appearance as argument number 1
-------------------------


(subclass DownloadingUserFile DownloadingOverNetwork) ComputerInput.kif 2729-2729 Downloading user file is a subclass of downloading
(documentation DownloadingUserFile EnglishLanguage "DownloadingUserFile is those instances of NetworkCommunication in which a user ComputerFile is downloaded to be stored on a user's local computer from another ComputerSystem on a network.") ComputerInput.kif 2730-2732 Downloading user file is a subclass of downloading

appearance as argument number 2
-------------------------


(subclass DownloadingImage DownloadingUserFile) ComputerInput.kif 2735-2735 Downloading image is a subclass of downloading user file
(subclass DownloadingVideo DownloadingUserFile) ComputerInput.kif 2747-2747 Downloading video is a subclass of downloading user file
(subclass DownloadingAudio DownloadingUserFile) ComputerInput.kif 2759-2759 Downloading audio is a subclass of downloading user file
(subclass DownloadingNonAudioVideoImageUserFile DownloadingUserFile) ComputerInput.kif 2771-2771 Downloading non audio video image user file is a subclass of downloading user file
(termFormat EnglishLanguage DownloadingUserFile "downloading user file") domainEnglishFormat.kif 64789-64789 Downloading non audio video image user file is a subclass of downloading user file


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners