StartupBlock - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 366-369
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 365-365	子類啟動塊 and ComputerProgram

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 402-402	範圍啟動 and 啟動塊
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55080-55080
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55079-55079
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55078-55078

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 372-372

antecedent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1254-1268	TimeInterval TimeInterval TimeDuration 是 ComputerProgram 的 dependency 延遲啟動塊是 ComputerProgram 的 dependency 類別 ComputerProgram 有對 ComputerProgram 的依賴性例電腦程序 and 電腦程序 ComputerProgram 是電腦程序的執行 program 例電腦程序 and 電腦程序 ComputerProgram 是電腦程序的執行 program 等於何時電腦程序 and TimeInterval 啟動 TimeInterval and TimeInterval 等於何時電腦程序 and TimeInterval 等於結束 TimeInterval and 開始 TimeInterval 持續時間 TimeInterval and TimeDuration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 380-383	例啟動塊 and 啟動塊 ComputerProgram ComputerProgram 是啟動塊的 startup

consequent

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 1227-1231