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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子類 關機塊 and ComputerProgram

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 442-442 範圍 關掉 and 關機塊
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 and 關機塊

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