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 " 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 17700-17700
(termFormat ChineseTraditionalLanguage CPU "中央處理器") domainEnglishFormat.kif 17699-17699
(termFormat EnglishLanguage CPU "CPU") domainEnglishFormat.kif 17698-17698


    (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 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