Executable - Sigma Knowledge base Browser

appearance as argument number 1

(instance Executable RelationalAttribute)	QoSontology.kif 1082-1082	Executable is an instance of relational attribute
(documentation Executable EnglishLanguage "Able to be run in its current format.")	QoSontology.kif 1083-1083	Executable is an instance of relational attribute
(externalImage Executable "http://upload.wikimedia.org/wikipedia/en/9/9b/ Binary_executable_file.png")	pictureList.kif 5993-5993	Executable is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage Executable "executable")	domainEnglishFormat.kif 22687-22687
(termFormat ChineseTraditionalLanguage Executable "可執行")	domainEnglishFormat.kif 22688-22688
(termFormat ChineseLanguage Executable "可执行")	domainEnglishFormat.kif 22689-22689

consequent

(<=>
    (exists (?Process)
        (programRunning ?Process ?Program))
    (property ?Program Executable))

There exists X such that Y is a program running of X if and only if Y the attribute executable