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 | O argumento numero 1 de StartupFn e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 400-400 | StartupFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 402-402 | O contra-dominio de StartupFn e' uma instancia de StartupBlock |
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 |
|