ComputerSystem - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage ComputerSystem "computer system")	ComputingBrands.kif 3229-3229
(instance ICloud ComputerSystem)	ComputingBrands.kif 3246-3246	I_cloud is an instance of computer system

antecedent

(=>
    (instance ?CS ComputerSystem)
    (exists (?C1 ?C2 ?CN)
        (and
            (instance ?C1 Computer)
            (instance ?C2 Computer)
            (instance ?CN ComputerNetwork)
            (member ?C1 ?CS)
            (member ?C2 ?CS)
            (member ?CN ?CS)
            (not
                (equal ?C1 ?C2))
            (connectedEngineeringComponents ?C1 ?CN)
            (connectedEngineeringComponents ?C2 ?CN))))

If X is an instance of computer system, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of computer (3) Z is an instance of computer (4) W is an instance of computer network (5) Y is a member of X (6) Z is a member of X (7) W is a member of X (8) equal Y (9) Z (10) Y is connected to W (11) Z is connected to W

consequent

(=>
    (instance ?ACT DownloadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (agent ?ACT ?COM)
            (destination ?ACT ?COM)
            (instance ?COM ComputerSystem)
            (instance ?DATA DigitalData))))

If X is an instance of downloading, then there exist Y, Z such that Y is a patient of X, Z is an agent of X, X ends up at Z, Z is an instance of computer system, and Y is an instance of digital data

(subclass ComputerSystem CollectionOfObjects)	ComputingBrands.kif 3224-3224	Computer system is a subclass of collection
(documentation ComputerSystem EnglishLanguage "A CollectionOfObjects of Computers connected by a ComputerNetwork and possibly containing various ComputerIODevices. This includes distributed WebSites, cloud servers and server farms.")	ComputingBrands.kif 3225-3227	Computer system is a subclass of collection