DataSink - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DataSink ComputerInputDevice)	QoSontology.kif 1832-1832	Data sink is a subclass of computer input device
(documentation DataSink EnglishLanguage "A device or part of the computer that receives data.")	QoSontology.kif 1833-1834	Data sink is a subclass of computer input device

appearance as argument number 2

(termFormat EnglishLanguage DataSink "data sink")	domainEnglishFormat.kif 18588-18588
(termFormat ChineseTraditionalLanguage DataSink "數據匯")	domainEnglishFormat.kif 18589-18589
(termFormat ChineseLanguage DataSink "数据汇")	domainEnglishFormat.kif 18590-18590

antecedent

(=>
    (instance ?Sink DataSink)
    (exists (?Transfer)
        (and
            (instance ?Transfer DataTransfer)
            (destination ?Transfer ?Sink))))

If X is an instance of data sink, then there exists Y such that Y is an instance of data transfer and Y ends up at X