Bookmarklet
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2271-2274 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2266-2269 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2261-2264 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2276-2279 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2281-2281 | 子類 小書籤 and ComputerProgram |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2284-2284 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2283-2283 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2282-2282 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2285-2285 |