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

Formal Language: 



KB Term:  Term intersection
English Word: 

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://www.adampease.org/Articulate/SUMOpictures/pictures/ computer/ CPU/ cpu_1.png") pictureList.kif 309-309
(subclass CPU ComputerComponent) QoSontology.kif 83-83 中央处理器电脑组件subclass

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


(termFormat ChineseLanguage CPU "中央处理器") domainEnglishFormat.kif 17691-17691
(termFormat ChineseTraditionalLanguage CPU "中央處理器") domainEnglishFormat.kif 17690-17690
(termFormat EnglishLanguage CPU "CPU") domainEnglishFormat.kif 17689-17689

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