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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - CPU

appearance as argument number 1

(documentation CPU EnglishLanguage "CPU (Central Processing Unit) is the computing part of the computer.") QoSontology.kif 84-85
(externalImage CPU " computer/ CPU/ cpu_1.png") pictureList.kif 309-309
(subclass CPU ComputerComponent) QoSontology.kif 83-83

appearance as argument number 2

(termFormat ChineseLanguage CPU "中央处理器") domainEnglishFormat.kif 17686-17686
(termFormat ChineseTraditionalLanguage CPU "中央處理器") domainEnglishFormat.kif 17685-17685
(termFormat EnglishLanguage CPU "CPU") domainEnglishFormat.kif 17684-17684


    (instance ?CPU CPU)
    (unitMeasuringPerformance ?CPU InstructionsPerSecond))
QoSontology.kif 87-89


    (instance ?System HardwareSystem)
    (exists (?Processor ?Memory ?Network)
            (instance ?Processor CPU)
            (component ?System ?Processor)
            (instance ?Memory ComputerMemory)
            (component ?System ?Memory)
            (instance ?Network ComputerNetwork)
            (component ?System ?Network))))
QoSontology.kif 312-321

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