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 364-367
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 363-363 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 400-400 The range of startup is an instance of startup block
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55058-55058
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55057-55057
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55056-55056

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 370-370 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 1259-1273
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 378-381