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

Formal Language: 


KB Term:  Term intersection
English Word: 

  CPUUtilizationFn

Sigma KEE - CPUUtilizationFn
CPUUtilizationFn

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1430-1431
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1428-1428 The number 1 argument of CPU utilization is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1427-1427 CPU utilization is an instance of unary function
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1429-1429 The range of CPU utilization is an instance of constant quantity

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3138-3138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3137-3137
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3136-3136
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17715-17715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17714-17714
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17713-17713


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