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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerPath
ComputerPath(計算機路徑)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1079-1081
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1078-1078 子類 計算機路徑 and 數字數據

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16344-16344
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16343-16343
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16342-16342

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1186-1186 域 批次到達, 1 and 計算機路徑
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1180-1180 域 批量延遲, 1 and 計算機路徑
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1208-1208 域 數據流鬆弛, 1 and 計算機路徑
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1194-1194 域 qoS鬆弛, 1 and 計算機路徑
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1172-1172 域 簡單的截止日期, 1 and 計算機路徑
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1202-1202 域 滑動窗口尺寸, 1 and 計算機路徑
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1085-1085 域 軟件路徑, 2 and 計算機路徑

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1165-1169
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1159-1163
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1137-1141
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1131-1135