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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " 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

appearance as argument number 2

(subclass AppleComputer Computer) ComputingBrands.kif 95-95 AppleComputer电脑subclass
(subclass EngineControlModule Computer) Cars.kif 2512-2512 EngineControlModule电脑subclass
(subclass IgnitionControlModule Computer) Cars.kif 3177-3177 IgnitionControlModule电脑subclass
(subclass PortableComputer Computer) Mid-level-ontology.kif 28890-28890 PortableComputer电脑subclass
(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 电脑运行 的 2 数量 是 电脑instance
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3500-3500 connectedPeripheral 的 2 数量 是 电脑instance
(domain deviceAccount 2 Computer) ComputingBrands.kif 3915-3915 deviceAccount 的 2 数量 是 电脑instance
(domain hardwareType 2 Computer) QoSontology.kif 1021-1021 硬件类型 的 2 数量 是 电脑instance
(domain hostJitter 1 Computer) QoSontology.kif 2135-2135 主机抖动 的 1 数量 是 电脑instance
(domain hostOf 2 Computer) QoSontology.kif 548-548 的主持 的 2 数量 是 电脑instance
(domain hostStatus 1 Computer) QoSontology.kif 2117-2117 主持人身份 的 1 数量 是 电脑instance
(domain ipAddressOf 1 Computer) QoSontology.kif 760-760 的IP地址 的 1 数量 是 电脑instance
(domain numberOfCPUs 1 Computer) QoSontology.kif 1013-1013 CPU的数量 的 1 数量 是 电脑instance
(domain runningOn 2 Computer) QoSontology.kif 186-186 继续前进 的 2 数量 是 电脑instance
(domain runsOn 2 Computer) QoSontology.kif 337-337 能够操作 的 2 数量 是 电脑instance
(domain thresholdOf 1 Computer) QoSontology.kif 1039-1039 的门槛 的 1 数量 是 电脑instance
(domain trustedDevice 2 Computer) ComputingBrands.kif 4250-4250 trustedDevice 的 2 数量 是 电脑instance
(domainSubclass canRunOn 2 Computer) QoSontology.kif 350-350 可以操作 的 2 数量 是 电脑subclass
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 697-697 deviceOS 的 2 数量 是 电脑subclass


        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (patient ?J ?D)
        (manufacturer ?D ?C))
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3443-3452
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer))
    (exists (?P)
            (objectTransferred ?SU ?P)
            (instance ?P ComputerProgram)
                    (WhenFn ?SU)
                    (softwareVersion ?P PreviousVersion)))
                    (WhenFn ?SU)
                    (softwareVersion ?P CurrentVersion))))))
ComputingBrands.kif 3790-3804
    (holdsDuring ?T
            (instance ?C Computer)
            (attribute ?C AirplaneMode)))
        (holdsDuring ?T
                (NetworkCommunicationFn WirelessNetwork) origin ?C))))
ComputingBrands.kif 1789-1796


    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
QoSontology.kif 63-68 躯体性物体电脑硬件instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体电脑instance那个 躯体性物体那个 另外 躯体性物体component
        (instance ?ORG Organization)
        (attribute ?ORG ComputerAndElectronicProductManufacturing))
    (exists (?EV ?MEM)
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                    (instance ?EV Manufacture)
                        (instance ?THING Computer)
                            (instance ?THING Machine)
                            (exists (?EV3)
                                    (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)
            (instance ?Computer Computer)
            (uses ?User ?Computer))))
QoSontology.kif 1728-1733
    (instance ?ACT UploadingOverNetwork)
    (exists (?DATA ?COM)
            (patient ?ACT ?DATA)
            (instance ?COM Computer)
            (origin ?ACT ?COM)
            (instance ?DATA DigitalData))))
ComputerInput.kif 2807-2814
    (instance ?CS ComputerSystem)
    (exists (?C1 ?C2 ?CN)
            (instance ?C1 Computer)
            (instance ?C2 Computer)
            (instance ?CN ComputerNetwork)
            (member ?C1 ?CS)
            (member ?C2 ?CS)
            (member ?CN ?CS)
                (equal ?C1 ?C2))
            (connectedEngineeringComponents ?C1 ?CN)
            (connectedEngineeringComponents ?C2 ?CN))))
ComputingBrands.kif 3291-3304
    (instance ?D DHCPServer)
    (exists (?PROG ?C)
            (instance ?C Computer)
            (instance ?PROG DHCPProgram)
            (computerRunning ?D ?C)
            (programRunning ?D ?PROG))))
ComputingBrands.kif 4029-4036
    (instance ?MD MountingADevice)
    (exists (?C ?P)
            (instance ?C Computer)
            (instance ?P ComputerIODevice)
            (patient ?MD ?C)
            (patient ?MD ?P)
                (WhenFn ?MD)
                (connectedEngineeringComponents ?C ?P))
                    (WhenFn ?MD))
                (connectedPeripheral ?P ?C)))))
ComputingBrands.kif 3765-3776
    (instance ?PROCESS ITProcess)
    (exists (?AGENT ?PATIENT)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?PATIENT)
            (instance ?AGENT ITAgent)
            (instance ?PATIENT Computer))))
engineering.kif 1310-1317
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 155-162
    (instance ?X BusinessCenter)
        (exists (?COMP)
                (instance ?COMP Computer)
                (located ?COMP ?X))) Likely))
Hotel.kif 1645-1651
    (loggedInDuring ?A ?UA ?T)
        (holdsDuring ?T
            (exists (?P)
                    (instance ?P ComputerProcess)
                    (agent ?P ?A)
                    (deviceAccount ?UA ?C)
                    (instance ?C Computer)
                    (computerRunning ?P ?C)
                    (instrument ?P ?C)))) Possibility))
ComputingBrands.kif 4311-4322

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 3.0 is open source software produced by Articulate Software and its partners