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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShutdownBlock
ShutdownBlock(shutdown block)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 405-407
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8717-8717
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9675-9675
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 404-404 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 440-440 The range of shutdown is an instance of shutdown block
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52886-52886
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52885-52885
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52884-52884

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 410-410 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 1275-1289
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 418-421