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 | The number 1 argument of startup is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 400-400 | Startup is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 402-402 | The range of startup is an instance of startup block |
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 |
|