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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerPath

 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 ComputerPath e' uma sub-classe de DigitalData

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 O argumento numero 1 de batchInterArrival e' uma instancia de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1180-1180 O argumento numero 1 de batchLatency e' uma instancia de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1208-1208 O argumento numero 1 de dataStreamSlack e' uma instancia de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1194-1194 O argumento numero 1 de qoSSlack e' uma instancia de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1172-1172 O argumento numero 1 de simpleDeadline e' uma instancia de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1202-1202 O argumento numero 1 de slidingWindowSize e' uma instancia de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1085-1085 O argumento numero 2 de softwarePath e' uma instancia de ComputerPath

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