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 407-409
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8713-8713
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9665-9665
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 406-406 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 442-442 The range of shutdown is an instance of shutdown block
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52890-52890
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52889-52889
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52888-52888

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 412-412 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 1270-1284
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 420-423