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 数量 是 Image 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 150-150 | displayedUpon 的 2 数量 是 ComputerDisplay 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 148-148 | displayedUpon 是 二元谓语 的 instance |
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 |