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 ComputerElectricDevicesubclass では

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


(subclass AppleComputer Computer) ComputingBrands.kif 101-101 AppleComputerComputersubclass では
(subclass EngineControlModule Computer) Cars.kif 2496-2496 EngineControlModuleComputersubclass では
(subclass IgnitionControlModule Computer) Cars.kif 3238-3238 IgnitionControlModuleComputersubclass では
(subclass PortableComputer Computer) Mid-level-ontology.kif 31449-31449 PortableComputerComputersubclass では
(termFormat ChineseLanguage Computer "电脑") domainEnglishFormat.kif 16257-16257 PortableComputerComputersubclass では
(termFormat ChineseTraditionalLanguage Computer "電腦") domainEnglishFormat.kif 16256-16256 PortableComputerComputersubclass では
(termFormat EnglishLanguage Computer "computer") domainEnglishFormat.kif 16255-16255 PortableComputerComputersubclass では

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


(domain computerRunning 2 Computer) QoSontology.kif 204-204 computerRunning の数値 2 引数は Computerinstance では
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3529-3529 connectedPeripheral の数値 2 引数は Computerinstance では
(domain deviceAccount 2 Computer) ComputingBrands.kif 3946-3946 deviceAccount の数値 2 引数は Computerinstance では
(domain hardwareType 2 Computer) QoSontology.kif 1132-1132 hardwareType の数値 2 引数は Computerinstance では
(domain hostJitter 1 Computer) QoSontology.kif 2261-2261 hostJitter の数値 1 引数は Computerinstance では
(domain hostOf 2 Computer) QoSontology.kif 658-658 hostOf の数値 2 引数は Computerinstance では
(domain hostStatus 1 Computer) QoSontology.kif 2243-2243 hostStatus の数値 1 引数は Computerinstance では
(domain ipAddressOf 1 Computer) QoSontology.kif 871-871 ipAddressOf の数値 1 引数は Computerinstance では
(domain numberOfCPUs 1 Computer) QoSontology.kif 1124-1124 numberOfCPUs の数値 1 引数は Computerinstance では
(domain runningOn 2 Computer) QoSontology.kif 189-189 runningOn の数値 2 引数は Computerinstance では
(domain runsOn 2 Computer) QoSontology.kif 340-340 runsOn の数値 2 引数は Computerinstance では
(domain thresholdOf 1 Computer) QoSontology.kif 1143-1143 thresholdOf の数値 1 引数は Computerinstance では
(domain trustedDevice 2 Computer) ComputingBrands.kif 4281-4281 trustedDevice の数値 2 引数は Computerinstance では
(domainSubclass canRunOn 2 Computer) QoSontology.kif 353-353 canRunOn の数値 2 引数は Computersubclass では
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 728-728 deviceOS の数値 2 引数は Computersubclass では

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 3472-3482
(=>
    (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 3821-3835
(=>
    (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 3213-3225
(=>
    (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 微粒子オブジェクトComputerHardwareinstance では 微粒子オブジェクト 微粒子オブジェクトComputerinstance では 微粒子オブジェクト 微粒子オブジェクトcomponent では
(=>
    (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 1854-1859
(=>
    (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 3320-3333
(=>
    (instance ?D DHCPServer)
    (exists (?PROG ?C)
        (and
            (instance ?C Computer)
            (instance ?PROG DHCPProgram)
            (computerRunning ?D ?C)
            (programRunning ?D ?PROG))))
ComputingBrands.kif 4060-4067
(=>
    (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 3796-3807
(=>
    (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 158-165
(=>
    (instance ?X BusinessCenter)
    (modalAttribute
        (exists (?COMP)
            (and
                (instance ?COMP Computer)
                (located ?COMP ?X))) Likely))
Hotel.kif 1681-1687
(=>
    (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 4342-4353


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