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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShutdownBlock

 Sigma KEE - ShutdownBlock
ShutdownBlock(关机块)

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 8712-8712
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9657-9657
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 406-406 关机块 是 电脑程序 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 442-442 关掉 的 range 是 关机块 的实例
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52904-52904
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52903-52903
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52902-52902

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 412-412 关闭 的 1 数量 是 关机块 的 instance

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