Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - StartupBlock
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
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1363-1377
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 381-384