ShutdownBlock - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 408-410
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8711-8711
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9656-9656
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 407-407	Shutdown 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 443-443	The range of shutdown is an instance of shutdown block
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52908-52908	The range of shutdown is an instance of shutdown block
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52907-52907	The range of shutdown is an instance of shutdown block
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52906-52906	The range of shutdown is an instance of shutdown block

appearance as argument number 3

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

QoSontology.kif 413-413

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

antecedent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1379-1393	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and shutdown 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 a third time interval finishes the time interval and equal the time of existence of the other computer process and the other time interval and equal the beginning of the third time interval and the end of the other 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 421-424	If a shutdown block is an instance of shutdown block, then there exists a computer program such that the computer program is a shutdown of the shutdown block

consequent

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

QoSontology.kif 1336-1340