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://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ bullets/ computer_20.png") pictureList.kif 363-363
(lexicon Computer LexNoun "computer") engineering.kif 1291-1291
(subclass Computer ElectricDevice) QoSontology.kif 25-25 subclass Computer and ElectricDevice

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


(subclass AppleComputer Computer) ComputingBrands.kif 94-94 subclass AppleComputer and Computer
(subclass EngineControlModule Computer) Cars.kif 2512-2512 subclass EngineControlModule and Computer
(subclass IgnitionControlModule Computer) Cars.kif 3177-3177 subclass IgnitionControlModule and Computer
(subclass PortableComputer Computer) Mid-level-ontology.kif 28942-28942 subclass PortableComputer and Computer
(termFormat ChineseLanguage Computer "电脑") domainEnglishFormat.kif 16239-16239
(termFormat ChineseTraditionalLanguage Computer "電腦") domainEnglishFormat.kif 16238-16238
(termFormat EnglishLanguage Computer "computer") domainEnglishFormat.kif 16237-16237

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


(domain computerRunning 2 Computer) QoSontology.kif 201-201 domain computerRunning, 2 and Computer
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3499-3499 domain connectedPeripheral, 2 and Computer
(domain deviceAccount 2 Computer) ComputingBrands.kif 3914-3914 domain deviceAccount, 2 and Computer
(domain hardwareType 2 Computer) QoSontology.kif 1021-1021 domain hardwareType, 2 and Computer
(domain hostJitter 1 Computer) QoSontology.kif 2134-2134 domain hostJitter, 1 and Computer
(domain hostOf 2 Computer) QoSontology.kif 548-548 domain hostOf, 2 and Computer
(domain hostStatus 1 Computer) QoSontology.kif 2116-2116 domain hostStatus, 1 and Computer
(domain ipAddressOf 1 Computer) QoSontology.kif 760-760 domain ipAddressOf, 1 and Computer
(domain numberOfCPUs 1 Computer) QoSontology.kif 1013-1013 domain numberOfCPUs, 1 and Computer
(domain runningOn 2 Computer) QoSontology.kif 186-186 domain runningOn, 2 and Computer
(domain runsOn 2 Computer) QoSontology.kif 337-337 domain runsOn, 2 and Computer
(domain thresholdOf 1 Computer) QoSontology.kif 1039-1039 domain thresholdOf, 1 and Computer
(domain trustedDevice 2 Computer) ComputingBrands.kif 4249-4249 domain trustedDevice, 2 and Computer
(domainSubclass canRunOn 2 Computer) QoSontology.kif 350-350 domainSubclass canRunOn, 2 and Computer
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 696-696 domainSubclass deviceOS, 2 and 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 3442-3451
(=>
    (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 3789-3803
(=>
    (holdsDuring ?T
        (and
            (instance ?C Computer)
            (attribute ?C AirplaneMode)))
    (not
        (holdsDuring ?T
            (capability
                (NetworkCommunicationFn WirelessNetwork) origin ?C))))
ComputingBrands.kif 1788-1795

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


(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
QoSontology.kif 63-68 instance CorpuscularObject and ComputerHardware CorpuscularObject instance CorpuscularObject and Computer component CorpuscularObject and CorpuscularObject
(=>
    (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 5126-5150
(=>
    (attribute ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?User ?Computer))))
QoSontology.kif 1728-1733
(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (instance ?COM Computer)
            (origin ?ACT ?COM)
            (instance ?DATA DigitalData))))
ComputerInput.kif 2775-2782
(=>
    (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 3290-3303
(=>
    (instance ?D DHCPServer)
    (exists (?PROG ?C)
        (and
            (instance ?C Computer)
            (instance ?PROG DHCPProgram)
            (computerRunning ?D ?C)
            (programRunning ?D ?PROG))))
ComputingBrands.kif 4028-4035
(=>
    (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 3764-3775
(=>
    (instance ?PROCESS ITProcess)
    (exists (?AGENT ?PATIENT)
        (and
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?PATIENT)
            (instance ?AGENT ITAgent)
            (instance ?PATIENT Computer))))
engineering.kif 1310-1317
(=>
    (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 1645-1651
(=>
    (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 4310-4321


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