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


(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 CPU is a subclass of computer component

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


(termFormat ChineseLanguage CPU "中央处理器") domainEnglishFormat.kif 17711-17711
(termFormat ChineseTraditionalLanguage CPU "中央處理器") domainEnglishFormat.kif 17710-17710
(termFormat EnglishLanguage CPU "CPU") domainEnglishFormat.kif 17709-17709

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