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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputationalSystem
ComputationalSystem(computational system)
more pictures...

appearance as argument number 1
-------------------------


s__documentation(s__ComputationalSystem,s__EnglishLanguage,'"Instances of ComputationalSystems include instances of SoftwareSystems, HardwareSystems, and ComputerNetworks."')

QoSontology.kif 21-23
s__externalImage(s__ComputationalSystem,'"http://upload.wikimedia.org/wikipedia/ commons/ 0/ 00/ HDDspin.JPG"')

pictureList.kif 9969-9969
s__externalImage(s__ComputationalSystem,'"http://upload.wikimedia.org/wikipedia/ commons/ 0/ 02/ 80486dx2-large.jpg"')

pictureList.kif 10710-10710
s__externalImage(s__ComputationalSystem,'"http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg"')

pictureList.kif 10711-10711
s__externalImage(s__ComputationalSystem,'"http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3a/ EDSAC_%2810%29.jpg"')

pictureList.kif 10712-10712
s__externalImage(s__ComputationalSystem,'"http://upload.wikimedia.org/wikipedia/ commons/ 5/ 54/ Floridaserversfront1.jpg"')

pictureList.kif 10720-10720
s__externalImage(s__ComputationalSystem,'"http://upload.wikimedia.org/wikipedia/ commons/ 5/ 56/ WildBlueDish.jpg"')

pictureList.kif 10721-10721
s__externalImage(s__ComputationalSystem,'"http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Knams-15-knsq-9.jpg"')

pictureList.kif 10717-10717
s__externalImage(s__ComputationalSystem,'"http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Datacenter-telecom.jpg"')

pictureList.kif 10719-10719
s__externalImage(s__ComputationalSystem,'"http://upload.wikimedia.org/wikipedia/ commons/ d/ d4/ Wikimedia-servers-Sept04.jpg"')

pictureList.kif 10718-10718
s__externalImage(s__ComputationalSystem,'"http://upload.wikimedia.org/wikipedia/ commons/ e/ e7/ Intel_80486DX2_bottom.jpg"')

pictureList.kif 10714-10714
s__externalImage(s__ComputationalSystem,'"http://upload.wikimedia.org/wikipedia/ en/ 6/ 69/ Windows_Internet_Explorer_7_Vista.png"')

pictureList.kif 10713-10713
s__instance(s__Product,s__SetOrClass)

s__instance(s__ComputationalSystem,s__SetOrClass)

s__subclass(s__ComputationalSystem,s__Product)

QoSontology.kif 20-20 Computational system is a subclass of product

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


s__instance(s__ComputerNetwork,s__SetOrClass)

s__subclass(s__ComputerNetwork,s__ComputationalSystem)

s__instance(s__ComputationalSystem,s__SetOrClass)

QoSontology.kif 30-30 Computer network is a subclass of computational system
s__subclass(s__ComputerResource,s__ComputationalSystem)

s__instance(s__ComputerResource,s__SetOrClass)

s__instance(s__ComputationalSystem,s__SetOrClass)

QoSontology.kif 1812-1812 Computer resource is a subclass of computational system
s__instance(s__HardwareSystem,s__SetOrClass)

s__subclass(s__HardwareSystem,s__ComputationalSystem)

s__instance(s__ComputationalSystem,s__SetOrClass)

QoSontology.kif 287-287 Hardware system is a subclass of computational system
s__instance(s__RealtimeSystem,s__SetOrClass)

s__subclass(s__RealtimeSystem,s__ComputationalSystem)

s__instance(s__ComputationalSystem,s__SetOrClass)

QoSontology.kif 1329-1329 Realtime system is a subclass of computational system
s__instance(s__Server,s__SetOrClass)

s__subclass(s__Server,s__ComputationalSystem)

s__instance(s__ComputationalSystem,s__SetOrClass)

QoSontology.kif 1840-1840 Server is a subclass of computational system
s__termFormat(s__ChineseLanguage,s__ComputationalSystem,'"计算系统"')

domainEnglishFormat.kif 16233-16233
s__termFormat(s__ChineseTraditionalLanguage,s__ComputationalSystem,'"計算系統"')

domainEnglishFormat.kif 16232-16232
s__termFormat(s__EnglishLanguage,s__ComputationalSystem,'"computational system"')

domainEnglishFormat.kif 16231-16231

appearance as argument number 3
-------------------------


s__domain(s__benchmarkPerformance__m,n__1,s__ComputationalSystem)

QoSontology.kif 1043-1043 The number 1 argument of benchmark performance is an instance of computational system
s__domain(s__collectRate__m,n__1,s__ComputationalSystem)

QoSontology.kif 2153-2153 The number 1 argument of collect rate is an instance of computational system
s__domain(s__hostOf__m,n__1,s__ComputationalSystem)

QoSontology.kif 547-547 The number 1 argument of host of is an instance of computational system
s__domain(s__memorySize__m,n__1,s__ComputationalSystem)

QoSontology.kif 1667-1667 The number 1 argument of memory size is an instance of computational system
s__domain(s__priority__m,n__1,s__ComputationalSystem)

QoSontology.kif 1065-1065 The number 1 argument of priority is an instance of computational system
s__domain(s__sendRate__m,n__1,s__ComputationalSystem)

QoSontology.kif 2160-2160 The number 1 argument of send rate is an instance of computational system
s__domain(s__systemMeasured__m,n__2,s__ComputationalSystem)

QoSontology.kif 870-870 The number 2 argument of system measured is an instance of computational system

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


( ! [V__Resource] :
   ((s__instance(V__Resource,s__ComputerResource) =>
       (( ? [V__System] :
           ((s__instance(V__System,s__ComputationalSystem) &
               s__part(V__Resource,V__System))))))
   )
)

QoSontology.kif 1819-1824
( ! [V__Transfer] :
   ((s__instance(V__Transfer,s__DataTransfer) =>
       (( ? [V__Origin, V__Destination, V__System, V__Data] :
           ((s__origin(V__Transfer,V__Origin)
             &
             s__destination(V__Transfer,V__Destination)
           &
           s__instrument(V__Transfer,V__System)
         &
         s__patient(V__Transfer,V__Data)
       &
       s__instance(V__Data,s__DigitalData) &
       s__instance(V__System,s__HardwareSystem) &
       s__instance(V__Origin,s__HardwareSystem) &
       s__instance(V__Destination,s__ComputationalSystem))))))
)
)

QoSontology.kif 95-106


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