StartupBlock - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 367-370
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 366-366	Startup block is a subclass of computer program

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 403-403	The range of startup is an instance of startup block
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55084-55084	The range of startup is an instance of startup block
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55083-55083	The range of startup is an instance of startup block
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55082-55082	The range of startup is an instance of startup block

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 373-373

The number 1 argument of startup of is an instance of startup block

antecedent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1363-1377	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and startup block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and equal the time of existence of the other computer process and the other time interval and the other time interval starts a third time interval and equal the time of existence of the computer process and the time interval and equal the end of the third time interval and the beginning of the time interval, then duration of the third time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 381-384	If a startup block is an instance of startup block, then there exists a computer program such that the computer program is a startup of the startup block

consequent

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 1336-1340