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 1292-1292
(subclass Computer ElectricDevice) QoSontology.kif 25-25 Computer は ElectricDevice の subclass では %n

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


(subclass AppleComputer Computer) ComputingBrands.kif 101-101 AppleComputer は Computer の subclass では %n
(subclass EngineControlModule Computer) Cars.kif 2512-2512 EngineControlModule は Computer の subclass では %n
(subclass IgnitionControlModule Computer) Cars.kif 3177-3177 IgnitionControlModule は Computer の subclass では %n
(subclass PortableComputer Computer) Mid-level-ontology.kif 29530-29530 PortableComputer は Computer の subclass では %n
(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 computerRunning の数値 2 引数は Computer の instance では %n
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3534-3534 connectedPeripheral の数値 2 引数は Computer の instance では %n
(domain deviceAccount 2 Computer) ComputingBrands.kif 3951-3951 deviceAccount の数値 2 引数は Computer の instance では %n
(domain hardwareType 2 Computer) QoSontology.kif 1023-1023 hardwareType の数値 2 引数は Computer の instance では %n
(domain hostJitter 1 Computer) QoSontology.kif 2129-2129 hostJitter の数値 1 引数は Computer の instance では %n
(domain hostOf 2 Computer) QoSontology.kif 550-550 hostOf の数値 2 引数は Computer の instance では %n
(domain hostStatus 1 Computer) QoSontology.kif 2111-2111 hostStatus の数値 1 引数は Computer の instance では %n
(domain ipAddressOf 1 Computer) QoSontology.kif 762-762 ipAddressOf の数値 1 引数は Computer の instance では %n
(domain numberOfCPUs 1 Computer) QoSontology.kif 1015-1015 numberOfCPUs の数値 1 引数は Computer の instance では %n
(domain runningOn 2 Computer) QoSontology.kif 188-188 runningOn の数値 2 引数は Computer の instance では %n
(domain runsOn 2 Computer) QoSontology.kif 339-339 runsOn の数値 2 引数は Computer の instance では %n
(domain thresholdOf 1 Computer) QoSontology.kif 1034-1034 thresholdOf の数値 1 引数は Computer の instance では %n
(domain trustedDevice 2 Computer) ComputingBrands.kif 4286-4286 trustedDevice の数値 2 引数は Computer の instance では %n
(domainSubclass canRunOn 2 Computer) QoSontology.kif 352-352 canRunOn の数値 2 引数は Computer のsubclass では %n
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 728-728 deviceOS の数値 2 引数は Computer のsubclass では %n

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 微粒子オブジェクト は ComputerHardware の instance では %n 微粒子オブジェクト 微粒子オブジェクト は Computer の instance では %n 微粒子オブジェクト は 微粒子オブジェクト の component では %n
(=>
    (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 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