|
|
   HypertextLink
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3305-3309 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3304-3304 | HypertextLink 是 数字数据 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1160-1160 | GUI_Link 是 HypertextLink 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3310-3310 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3329-3329 | ClickThroughRateFn 的 2 数量 是 HypertextLink 的 instance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2235-2240 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3333-3356 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3312-3314 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3721-3739 |
|
|
|
|