TreeView Knowledge Base Browser - RequestingHyperlink

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

RequestingHyperlink

Sigma KEE - RequestingHyperlink

RequestingHyperlink

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2229-2230
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2228-2228	RequestingHyperlink is a subclass of SelectingActiveArea

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3930-3948	If a search results page is an instance of search results page and a list is an instance of search results and the list is a component of the search results page, then the number of instances in the class described by a symbolic string and length of the list is equal to qualifying clicks on the search results page
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2232-2237	If a process is an instance of SelectingActiveArea and an entity is a patient of the process and the entity is an instance of hyperlink, then the process is an instance of RequestingHyperlink
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3543-3566	If a collection is an instance of collection and a hyperlink is an instance of hyperlink and for all a physical the physical is a member of another collection and the physical is an instance of AccessingWebPage and the other collection is a component of the hyperlink, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of RequestingHyperlink and the hyperlink is a patient of the process, then the process is a member of the third collection and the rate of clicking through the hyperlink in the collection is equal to the number of instances in the third collection and the number of instances in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1766-1775	If a process is an instance of view item request, then there exist another process, a third process and an entity such that the other process is an instance of RequestingHyperlink and the entity is an instance of next generation view item and the third process is an instance of AccessingWebPage and the other process causes the third process and the third process ends up at the entity and the other process is a subprocess of the process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners