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



KB Term:  Term intersection
English Word: 

Sigma KEE - AudioFile
AudioFile(audio file)

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


(subclass AudioFile ComputerFile) Media.kif 1401-1401 Audio file is a subclass of computer file
(subclass AudioFile AudioRecording) Media.kif 1403-1403 Audio file is a subclass of audio recording

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


(subclass AudioVisualFile AudioFile) Media.kif 1414-1414 Audio visual file is a subclass of audio file
(termFormat EnglishLanguage AudioFile "audio file") domainEnglishFormat.kif 64490-64490 Audio visual file is a subclass of audio file

consequent
-------------------------


(=>
    (instance ?ACT DownloadingVideo)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE AudioFile))))
ComputerInput.kif 2764-2769 If X is an instance of downloading video, then there exists Y such that Y is a patient of X and Y is an instance of audio file
(=>
    (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 2777-2788 If X is an instance of downloading non audio video image user file, Y is a patient of X, and Y is an instance of computer file, then Y is not an instance of image file, Y is not an instance of audio file, and Y is not an instance of multimedia file
(=>
    (instance ?ACT UploadingAudioFile)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE AudioFile))))
ComputerInput.kif 2833-2838 If X is an instance of uploading audio file, then there exists Y such that Y is a patient of X and Y is an instance of audio file


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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