| Executable(可执行)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 987-987 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5994-5994 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 986-986 | 可执行 是 关联属性 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22690-22690 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22689-22689 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22688-22688 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 989-992 | 有存在 电脑程序 这样 电脑程序 是 那个 电脑程序 的执行 program 若且唯若 那个 电脑程序 有 可执行 的 attribute |
|
|
|