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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dependencyDelay

 Sigma KEE - dependencyDelay
dependencyDelay

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1246-1252
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1244-1244 O argumento numero 1 de dependencyDelay e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1245-1245 O argumento numero 2 de dependencyDelay e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1243-1243 dependencyDelay e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 704-704
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 703-703
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 702-702
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19098-19098
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19097-19097
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19096-19096

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners