| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3304-3304 | Hyperlink is a subclass of digital data |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1160-1160 | GUI_ link is a subclass of hyperlink |
|
|