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(requesting hyperlink)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2232-2233
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2231-2231	Requesting hyperlink is a subclass of selecting active area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65408-65408

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	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 2235-2240	If a process is an instance of selecting active area and an entity is a patient of the process and the entity is an instance of hyperlink, then the process is an instance of requesting hyperlink
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	If a collection is an instance of collection and a corpuscular object 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 accessing web page and the other collection is a component of the corpuscular object, 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 requesting hyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and the rate of clicking through the corpuscular object 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 1559-1568	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 requesting hyperlink and the entity is an instance of next generation view item and the third process is an instance of accessing web page 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