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 The number 1 argument of dependency delay is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1245-1245 The number 2 argument of dependency delay is an instance of time duration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1243-1243 dependency delay is an instance of binary predicate

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