StartupFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 403-404 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 401-401 | 启动 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 400-400 | 启动 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 402-402 | 启动 的 range 是 启动块 的实例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2343-2343 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2342-2342 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2341-2341 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55086-55086 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55085-55085 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55084-55084 |
consequent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 586-591 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 599-606 |