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

Formal Language: 



KB Term:  Term intersection
English Word: 

  settlingTime

Sigma KEE - settlingTime
settlingTime

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 715-717
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 713-713 The number 1 argument of settling time is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 714-714 The number 2 argument of settling time is an instance of time duration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 712-712 settling time is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2255-2255
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2254-2254
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2253-2253
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52335-52335
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52334-52334
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52333-52333


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