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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Computer

Sigma KEE - Computer
Computer(computer)
ADPS, ADP_system, PC, PDA, analog_computer, analogue_computer, automatic_data_processing_system, client, computer, computer_system, computing_device, computing_machine, computing_system, data_processor, digital_computer, electronic_computer, file_server, guest, home_computer, information_processing_system, mainframe, mainframe_computer, microcomputer, node, non-dedicated_file_server, number_cruncher, organiser, organizer, pari-mutuel_machine, personal_computer, personal_digital_assistant, personal_organiser, personal_organizer, platform, predictor, supercomputer, totalisator, totaliser, totalizator, totalizer, workstation

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


(documentation Computer EnglishLanguage "A general-purpose machine that processes data according to a set of instructions that are stored internally either temporarily or permanently.") QoSontology.kif 26-28
(externalImage Computer "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ bullets/ computer_20.png") pictureList.kif 363-363
(lexicon Computer LexNoun "computer") engineering.kif 1290-1290
(subclass Computer ElectricDevice) QoSontology.kif 25-25 Computer is a subclass of electric device

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


(subclass AppleComputer Computer) ComputingBrands.kif 98-98 AppleComputer is a subclass of computer
(subclass EngineControlModule Computer) Cars.kif 2499-2499 Engine control module is a subclass of computer
(subclass IgnitionControlModule Computer) Cars.kif 3152-3152 Ignition control module is a subclass of computer
(subclass PortableComputer Computer) Mid-level-ontology.kif 27757-27757 PortableComputer is a subclass of computer
(termFormat ChineseLanguage Computer "电脑") domainEnglishFormat.kif 16171-16171
(termFormat ChineseTraditionalLanguage Computer "電腦") domainEnglishFormat.kif 16170-16170
(termFormat EnglishLanguage Computer "computer") domainEnglishFormat.kif 16169-16169

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


(domain computerRunning 2 Computer) QoSontology.kif 201-201 The number 2 argument of computer running is an instance of computer
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3528-3528 The number 2 argument of %1 is a connected peripheral of 2 is an instance of computer
(domain deviceAccount 2 Computer) ComputingBrands.kif 3876-3876 The number 2 argument of deviceAccount is an instance of computer
(domain hardwareType 2 Computer) QoSontology.kif 1021-1021 The number 2 argument of hardware type is an instance of computer
(domain hostJitter 1 Computer) QoSontology.kif 2135-2135 The number 1 argument of host jitter is an instance of computer
(domain hostOf 2 Computer) QoSontology.kif 548-548 The number 2 argument of host of is an instance of computer
(domain hostStatus 1 Computer) QoSontology.kif 2117-2117 The number 1 argument of host status is an instance of computer
(domain ipAddressOf 1 Computer) QoSontology.kif 760-760 The number 1 argument of ip address of is an instance of computer
(domain numberOfCPUs 1 Computer) QoSontology.kif 1013-1013 The number 1 argument of number of CPUs is an instance of computer
(domain runningOn 2 Computer) QoSontology.kif 186-186 The number 2 argument of running on is an instance of computer
(domain runsOn 2 Computer) QoSontology.kif 337-337 The number 2 argument of runs on is an instance of computer
(domain thresholdOf 1 Computer) QoSontology.kif 1039-1039 The number 1 argument of threshold of is an instance of computer
(domain trustedDevice 2 Computer) ComputingBrands.kif 4211-4211 The number 2 argument of trusted device is an instance of computer
(domainSubclass canRunOn 2 Computer) QoSontology.kif 350-350 The number 2 argument of canRunOn is a subclass of computer
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 705-705 The number 2 argument of deviceOS is a subclass of computer

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


(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (patient ?J ?D)
        (manufacturer ?D ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3471-3480
(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer)
        (objectTransferred ?SU ?P)
        (instance ?P ComputerProgram))
    (exists (?POLD ?DSD)
        (and
            (instance ?POLD ComputerProgram)
            (instance ?DSD DataStorageDevice)
            (connectedPeripheral ?DSD ?C)
            (stored ?POLD ?DSD)
            (softwareVersion ?P ?POLD))))
ComputingBrands.kif 3830-3843

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


(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
QoSontology.kif 63-68 A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ComputerAndElectronicProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Computer)
                        (and
                            (instance ?THING Machine)
                            (exists (?EV3)
                                (and
                                    (patient ?EV3 ?THING)
                                    (resource ?EV3 ?ELEC)
                                    (instance ?ELEC Electricity)))))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 5133-5157
(=>
    (attribute ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?User ?Computer))))
QoSontology.kif 1728-1733
(=>
    (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))))
ComputingBrands.kif 3312-3325
(=>
    (instance ?D DHCPServer)
    (exists (?PROG ?C)
        (and
            (instance ?C Computer)
            (instance ?PROG DHCPProgram)
            (computerRunning ?D ?C)
            (programRunning ?D ?PROG))))
ComputingBrands.kif 3990-3997
(=>
    (instance ?MD MountingADevice)
    (exists (?C ?P)
        (and
            (instance ?C Computer)
            (instance ?P ComputerIODevice)
            (patient ?MD ?C)
            (patient ?MD ?P)
            (holdsDuring
                (WhenFn ?MD)
                (connectedEngineeringComponents ?C ?P))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?MD))
                (connectedPeripheral ?P ?C)))))
ComputingBrands.kif 3779-3790
(=>
    (instance ?PROCESS ITProcess)
    (exists (?AGENT ?PATIENT)
        (and
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?PATIENT)
            (instance ?AGENT ITAgent)
            (instance ?PATIENT Computer))))
engineering.kif 1309-1316
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 155-162
(=>
    (instance ?X BusinessCenter)
    (modalAttribute
        (exists (?COMP)
            (and
                (instance ?COMP Computer)
                (located ?COMP ?X))) Likely))
Hotel.kif 1618-1624
(=>
    (loggedInDuring ?A ?UA ?T)
    (modalAttribute
        (holdsDuring ?T
            (exists (?P)
                (and
                    (instance ?P ComputerProcess)
                    (agent ?P ?A)
                    (deviceAccount ?UA ?C)
                    (instance ?C Computer)
                    (computerRunning ?P ?C)
                    (instrument ?P ?C)))) Possibility))
ComputingBrands.kif 4272-4283


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners