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 est une sous-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 Le nombre 1 argument de batchInterArrival est une instance de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1180-1180 Le nombre 1 argument de batchLatency est une instance de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1208-1208 Le nombre 1 argument de dataStreamSlack est une instance de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1194-1194 Le nombre 1 argument de qoSSlack est une instance de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1172-1172 Le nombre 1 argument de simpleDeadline est une instance de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1202-1202 Le nombre 1 argument de slidingWindowSize est une instance de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1085-1085 Le nombre 2 argument de softwarePath est une instance 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