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

Formal Language: 



KB Term:  Term intersection
English Word: 

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://articulatesoftware.com/SUMOpictures/signs_symbol/ bullets/ computer_20.png") pictureList.kif 363-363
(lexicon Computer LexNoun "computer") engineering.kif 1292-1292
(subclass Computer ElectricDevice) QoSontology.kif 25-25 Computer is a subclass of electric device

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


(subclass AppleComputer Computer) ComputingBrands.kif 101-101 Apple Computer is a subclass of computer
(subclass EngineControlModule Computer) Cars.kif 2512-2512 Engine control module is a subclass of computer
(subclass IgnitionControlModule Computer) Cars.kif 3177-3177 Ignition control module is a subclass of computer
(subclass PortableComputer Computer) Mid-level-ontology.kif 29530-29530 Portable computer is a subclass of computer
(termFormat ChineseLanguage Computer "电脑") domainEnglishFormat.kif 16248-16248
(termFormat ChineseTraditionalLanguage Computer "電腦") domainEnglishFormat.kif 16247-16247
(termFormat EnglishLanguage Computer "computer") domainEnglishFormat.kif 16246-16246

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


(domain computerRunning 2 Computer) QoSontology.kif 203-203 The number 2 argument of computer running is an instance of computer
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3534-3534 The number 2 argument of connected peripheral is an instance of computer
(domain deviceAccount 2 Computer) ComputingBrands.kif 3951-3951 The number 2 argument of device account is an instance of computer
(domain hardwareType 2 Computer) QoSontology.kif 1023-1023 The number 2 argument of hardware type is an instance of computer
(domain hostJitter 1 Computer) QoSontology.kif 2129-2129 The number 1 argument of host jitter is an instance of computer
(domain hostOf 2 Computer) QoSontology.kif 550-550 The number 2 argument of host of is an instance of computer
(domain hostStatus 1 Computer) QoSontology.kif 2111-2111 The number 1 argument of host status is an instance of computer
(domain ipAddressOf 1 Computer) QoSontology.kif 762-762 The number 1 argument of ip address of is an instance of computer
(domain numberOfCPUs 1 Computer) QoSontology.kif 1015-1015 The number 1 argument of number of CPUs is an instance of computer
(domain runningOn 2 Computer) QoSontology.kif 188-188 The number 2 argument of running on is an instance of computer
(domain runsOn 2 Computer) QoSontology.kif 339-339 The number 2 argument of runs on is an instance of computer
(domain thresholdOf 1 Computer) QoSontology.kif 1034-1034 The number 1 argument of threshold of is an instance of computer
(domain trustedDevice 2 Computer) ComputingBrands.kif 4286-4286 The number 2 argument of trusted device is an instance of computer
(domainSubclass canRunOn 2 Computer) QoSontology.kif 352-352 The number 2 argument of can run on is a subclass of computer
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 728-728 The number 2 argument of device OS is a subclass of computer

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


(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (instance ?D ?CLASS)
        (patient ?J ?D)
        (manufacturer ?CLASS ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3476-3486
(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer))
    (exists (?P)
        (and
            (objectTransferred ?SU ?P)
            (instance ?P ComputerProgram)
            (holdsDuring
                (BeginFn
                    (WhenFn ?SU)
                    (softwareVersion ?P PreviousVersion)))
            (holdsDuring
                (EndFn
                    (WhenFn ?SU)
                    (softwareVersion ?P CurrentVersion))))))
ComputingBrands.kif 3826-3840
(=>
    (and
        (property ?X Booting)
        (instance ?X Computer))
    (exists (?CD ?OS ?DT)
        (and
            (instance ?CD DigitalData)
            (instance ?OS OperatingSystem)
            (instance ?DT DataTransfer)
            (during
                (WhenFn ?DT)
                (WhenFn ?X))
            (destination ?DT ?X)
            (part ?CD ?OS)
            (objectTransferred ?DT ?CD))))
ComputingBrands.kif 3217-3229
(=>
    (holdsDuring ?T
        (and
            (instance ?C Computer)
            (attribute ?C AirplaneMode)))
    (not
        (holdsDuring ?T
            (capability
                (NetworkCommunicationFn WirelessNetwork) origin ?C))))
ComputingBrands.kif 1820-1827

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 ?ELEC)
                                (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 5126-5150
(=>
    (attribute ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?Computer ?User))))
QoSontology.kif 1723-1728
(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (instance ?COM Computer)
            (origin ?ACT ?COM)
            (instance ?DATA DigitalData))))
ComputerInput.kif 2779-2786
(=>
    (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 3324-3337
(=>
    (instance ?D DHCPServer)
    (exists (?PROG ?C)
        (and
            (instance ?C Computer)
            (instance ?PROG DHCPProgram)
            (computerRunning ?D ?C)
            (programRunning ?D ?PROG))))
ComputingBrands.kif 4065-4072
(=>
    (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 3801-3812
(=>
    (instance ?PROCESS ITProcess)
    (exists (?AGENT ?PATIENT)
        (and
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?PATIENT)
            (instance ?AGENT ITAgent)
            (instance ?PATIENT Computer))))
engineering.kif 1311-1318
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 157-164
(=>
    (instance ?X BusinessCenter)
    (modalAttribute
        (exists (?COMP)
            (and
                (instance ?COMP Computer)
                (located ?COMP ?X))) Likely))
Hotel.kif 1670-1676
(=>
    (loggedInDuring ?A ?UA ?T)
    (modalAttribute
        (holdsDuring ?T
            (exists (?P ?C)
                (and
                    (instance ?P ComputerProcess)
                    (agent ?P ?A)
                    (deviceAccount ?UA ?C)
                    (instance ?C Computer)
                    (computerRunning ?P ?C)
                    (instrument ?P ?C)))) Possibility))
ComputingBrands.kif 4347-4358


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