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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Computer

 Sigma KEE - Computer
Computer

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 1605-1605
(subclass Computer ElectricDevice) QoSontology.kif 25-25 Computer est une sous-classe de ElectricDevice

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


(subclass AppleComputer Computer) ComputingBrands.kif 101-101 AppleComputer est une sous-classe de Computer
(subclass EngineControlModule Computer) Cars.kif 2495-2495 EngineControlModule est une sous-classe de Computer
(subclass IgnitionControlModule Computer) Cars.kif 3237-3237 IgnitionControlModule est une sous-classe de Computer
(subclass PortableComputer Computer) Mid-level-ontology.kif 29846-29846 PortableComputer est une sous-classe de Computer
(termFormat ChineseLanguage Computer "电脑") domainEnglishFormat.kif 16259-16259 PortableComputer est une sous-classe de Computer
(termFormat ChineseTraditionalLanguage Computer "電腦") domainEnglishFormat.kif 16258-16258 PortableComputer est une sous-classe de Computer
(termFormat EnglishLanguage Computer "computer") domainEnglishFormat.kif 16257-16257 PortableComputer est une sous-classe de Computer

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


(domain computerRunning 2 Computer) QoSontology.kif 203-203 Le nombre 2 argument de computerRunning est une instance de Computer
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3534-3534 Le nombre 2 argument de connectedPeripheral est une instance de Computer
(domain deviceAccount 2 Computer) ComputingBrands.kif 3951-3951 Le nombre 2 argument de deviceAccount est une instance de Computer
(domain hardwareType 2 Computer) QoSontology.kif 1129-1129 Le nombre 2 argument de hardwareType est une instance de Computer
(domain hostJitter 1 Computer) QoSontology.kif 2235-2235 Le nombre 1 argument de hostJitter est une instance de Computer
(domain hostOf 2 Computer) QoSontology.kif 656-656 Le nombre 2 argument de hostOf est une instance de Computer
(domain hostStatus 1 Computer) QoSontology.kif 2217-2217 Le nombre 1 argument de hostStatus est une instance de Computer
(domain ipAddressOf 1 Computer) QoSontology.kif 868-868 Le nombre 1 argument de ipAddressOf est une instance de Computer
(domain numberOfCPUs 1 Computer) QoSontology.kif 1121-1121 Le nombre 1 argument de numberOfCPUs est une instance de Computer
(domain runningOn 2 Computer) QoSontology.kif 188-188 Le nombre 2 argument de runningOn est une instance de Computer
(domain runsOn 2 Computer) QoSontology.kif 339-339 Le nombre 2 argument de runsOn est une instance de Computer
(domain thresholdOf 1 Computer) QoSontology.kif 1140-1140 Le nombre 1 argument de thresholdOf est une instance de Computer
(domain trustedDevice 2 Computer) ComputingBrands.kif 4286-4286 Le nombre 2 argument de trustedDevice est une instance de Computer
(domainSubclass canRunOn 2 Computer) QoSontology.kif 352-352 Le nombre 2 argument de canRunOn est une sous-classe de Computer
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 728-728 Le nombre 2 argument de deviceOS est une sous-classe de 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 Objet corpusculaire est une instance de ComputerHardware objet corpusculaire objet corpusculaire est une instance de Computer objet corpusculaire est un composant de objet corpusculaire
(=>
    (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 1829-1834
(=>
    (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 1624-1631
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners