Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HypertextLink
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
-------------------------


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