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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - startupTimeDelay
startupTimeDelay

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 650-652
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 648-648 The number 1 argument of startup time delay is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 649-649 The number 2 argument of startup time delay is an instance of time duration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 647-647 startup time 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 4627-4627
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4626-4626
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4625-4625
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55076-55076
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55075-55075
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55074-55074

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 658-668


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



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