displayedUpon |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 151-154 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 149-149 | 域 displayedUpon, 1 and Image |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 150-150 | 域 displayedUpon, 2 and ComputerDisplay |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 148-148 | 例 displayedUpon and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3270-3270 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3269-3269 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3268-3268 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65813-65813 |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3231-3245 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 457-462 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1607-1613 |
|