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 est une sous-classe de DigitalData |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1160-1160 | GUI_Link est une sous-classe de HypertextLink |
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 | Le nombre 2 argument de ClickThroughRateFn est une instance de HypertextLink |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3721-3739 |
|