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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CPU

Sigma KEE - CPU
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 "http://articulatesoftware.com/SUMOpictures/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 17700-17700
(termFormat ChineseTraditionalLanguage CPU "中央處理器") domainEnglishFormat.kif 17699-17699
(termFormat EnglishLanguage CPU "CPU") domainEnglishFormat.kif 17698-17698

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


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

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


(=>
    (instance ?System HardwareSystem)
    (exists (?Processor ?Memory ?Network)
        (and
            (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