|
|
  SoybeanFarming
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DownloadingNonAudioVideoImageUserFile EnglishLanguage "DownloadingNonAudioVideoImageUserFile is those instances of NetworkCommunication in which an ComputerFile that isn't an AudioFile, MultimediaFile, or ImageFile is downloaded to a user's local computer from another ComputerSystem on a network.") | ComputerInput.kif 2756-2759 | |
| (subclass DownloadingNonAudioVideoImageUserFile DownloadingUserFile) | ComputerInput.kif 2755-2755 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DownloadingNonAudioVideoImageUserFile "downloading non audio video image user file") | domainEnglishFormat.kif 64785-64785 |
| 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 |
|
|
|