| Executable(executable)
|
| appearance as argument number 1 |
|
| (documentation Executable EnglishLanguage "Able to be run in its current format.") | QoSontology.kif 1093-1093 | |
| (externalImage Executable "http://upload.wikimedia.org/wikipedia/en/9/9b/ Binary_executable_file.png") | pictureList.kif 5993-5993 | |
| (instance Executable RelationalAttribute) | QoSontology.kif 1092-1092 | Executable is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Executable "可执行") | domainEnglishFormat.kif 22702-22702 | |
| (termFormat ChineseTraditionalLanguage Executable "可執行") | domainEnglishFormat.kif 22701-22701 | |
| (termFormat EnglishLanguage Executable "executable") | domainEnglishFormat.kif 22700-22700 |
| consequent |
|
|
| (<=> (exists (?Process) (programRunning ?Process ?Program)) (property ?Program Executable)) |
QoSontology.kif 1095-1098 | There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program the attribute executable |
|
|
|