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://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ bullets/ computer_20.png") pictureList.kif 363-363 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ signs_symbol/ bullets/ computer_20.png" is a URL depicting computer
(lexicon Computer LexNoun "computer") engineering.kif 1286-1286 The lex noun word for computer is "computer"
(subclass Computer ElectricDevice) QoSontology.kif 25-25 Computer is a subclass of electric device

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


(subclass AppleComputer Computer) ComputingBrands.kif 97-97 AppleComputer is a subclass of computer
(subclass EngineControlModule Computer) Cars.kif 2498-2498 Engine control module is a subclass of computer
(subclass IgnitionControlModule Computer) Cars.kif 3148-3148 Ignition control module is a subclass of computer
(subclass PortableComputer Computer) Mid-level-ontology.kif 27700-27700 PortableComputer is a subclass of computer
(termFormat EnglishLanguage Computer "computer") domainEnglishFormat.kif 3129-3129 "computer" is the printable form of computer in english language

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


(domain computerRunning 2 Computer) QoSontology.kif 198-198 The number 2 argument of computer running is an instance of computer
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3337-3337 The number 2 argument of %1 is a connected peripheral of 2 is an instance of computer
(domain hardwareType 2 Computer) QoSontology.kif 1011-1011 The number 2 argument of hardware type is an instance of computer
(domain hostJitter 1 Computer) QoSontology.kif 2108-2108 The number 1 argument of host jitter is an instance of computer
(domain hostOf 2 Computer) QoSontology.kif 546-546 The number 2 argument of host of is an instance of computer
(domain hostStatus 1 Computer) QoSontology.kif 2090-2090 The number 1 argument of host status is an instance of computer
(domain ipAddressOf 1 Computer) QoSontology.kif 750-750 The number 1 argument of ip address of is an instance of computer
(domain numberOfCPUs 1 Computer) QoSontology.kif 1003-1003 The number 1 argument of number ofCP us is an instance of computer
(domain runningOn 2 Computer) QoSontology.kif 183-183 The number 2 argument of running on is an instance of computer
(domain runsOn 2 Computer) QoSontology.kif 334-334 The number 2 argument of runs on is an instance of computer
(domain thresholdOf 1 Computer) QoSontology.kif 1029-1029 The number 1 argument of threshold of is an instance of computer
(domainSubclass canRunOn 2 Computer) QoSontology.kif 347-347 The number 2 argument of canRunOn 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 3278-3287

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
(=>
    (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 3588-3599
(=>
    (instance ?PROCESS ITProcess)
    (exists (?AGENT ?PATIENT)
        (and
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?PATIENT)
            (instance ?AGENT ITAgent)
            (instance ?PATIENT Computer))))
engineering.kif 1305-1312
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 152-159
(=>
    (instance ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?User ?Computer))))
QoSontology.kif 1718-1723
(=>
    (instance ?X BusinessCenter)
    (modalAttribute
        (exists (?COMP)
            (and
                (instance ?COMP Computer)
                (located ?COMP ?X))) Likely))
Hotel.kif 1614-1620


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