StartupBlock(startup block) |
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 |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1336-1340 |
|
![]() |
![]() |