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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StartupBlock

 Sigma KEE - StartupBlock
StartupBlock(启动块)

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 启动块 是 电脑程序 的 subclass

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 402-402 启动 的 range 是 启动块 的实例
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 的启动 的 1 数量 是 启动块 的 instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1254-1268
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 380-383