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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CPU
CPU(CPU)
C.P.U., CPU, central_processing_unit, central_processor, mainframe, processor

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


s__documentation(s__CPU,s__EnglishLanguage,'"CPU (Central Processing Unit) is the computing part of the computer."')

QoSontology.kif 84-85
s__externalImage(s__CPU,'"http://www.adampease.org/Articulate/SUMOpictures/pictures/ computer/ CPU/ cpu_1.png"')

pictureList.kif 309-309
s__instance(s__ComputerComponent,s__Class)

s__subclass(s__CPU,s__ComputerComponent)

s__instance(s__CPU,s__Class)

QoSontology.kif 83-83 CPU is a subclass of computer component

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


s__termFormat(s__ChineseLanguage,s__CPU,'"中央处理器"')

domainEnglishFormat.kif 17691-17691
s__termFormat(s__ChineseTraditionalLanguage,s__CPU,'"中央處理器"')

domainEnglishFormat.kif 17690-17690
s__termFormat(s__EnglishLanguage,s__CPU,'"CPU"')

domainEnglishFormat.kif 17689-17689

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


( ! [V__CPU] :
   ((s__instance(V__CPU,s__CPU) =>
       (s__unitMeasuringPerformance(V__CPU,s__InstructionsPerSecond)))
     )
   )

QoSontology.kif 87-89

consequent
-------------------------


( ! [V__System] :
   ((s__instance(V__System,s__HardwareSystem) =>
       (( ? [V__Processor, V__Memory, V__Network] :
           ((s__instance(V__Processor,s__CPU) &
               s__component(V__System,V__Processor)
             &
             s__instance(V__Memory,s__ComputerMemory) &
             s__component(V__System,V__Memory)
           &
           s__instance(V__Network,s__ComputerNetwork) &
           s__component(V__System,V__Network))))))
)
)

QoSontology.kif 310-319


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