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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1290-1290
(subclass Computer ElectricDevice) QoSontology.kif 25-25 电脑 是 电器 的 subclass

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


(subclass AppleComputer Computer) ComputingBrands.kif 98-98 AppleComputer 是 电脑 的 subclass
(subclass EngineControlModule Computer) Cars.kif 2499-2499 EngineControlModule 是 电脑 的 subclass
(subclass IgnitionControlModule Computer) Cars.kif 3152-3152 IgnitionControlModule 是 电脑 的 subclass
(subclass PortableComputer Computer) Mid-level-ontology.kif 27730-27730 PortableComputer 是 电脑 的 subclass
(termFormat ChineseLanguage Computer "电脑") domainEnglishFormat.kif 16171-16171
(termFormat ChineseTraditionalLanguage Computer "電腦") domainEnglishFormat.kif 16170-16170
(termFormat EnglishLanguage Computer "computer") domainEnglishFormat.kif 16169-16169

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


(domain computerRunning 2 Computer) QoSontology.kif 201-201 电脑运行 的 2 数量 是 电脑 的 instance
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3523-3523 connectedPeripheral 的 2 数量 是 电脑 的 instance
(domain deviceAccount 2 Computer) ComputingBrands.kif 3871-3871 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 4206-4206 trustedDevice 的 2 数量 是 电脑 的 instance
(domainSubclass canRunOn 2 Computer) QoSontology.kif 350-350 canRunOn 的 2 数量 是 电脑 的 subclass
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 703-703 deviceOS 的 2 数量 是 电脑 的 subclass

antecedent
-------------------------


(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (patient ?J ?D)
        (manufacturer ?D ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))		 ComputingBrands.kif 3466-3475
(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer)
        (objectTransferred ?SU ?P)
        (instance ?P ComputerProgram))
    (exists (?POLD ?DSD)
        (and
            (instance ?POLD ComputerProgram)
            (instance ?DSD DataStorageDevice)
            (connectedPeripheral ?DSD ?C)
            (stored ?POLD ?DSD)
            (softwareVersion ?P ?POLD))))		 ComputingBrands.kif 3825-3838

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


(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))		 QoSontology.kif 63-68 躯体性物体 是 电脑硬件 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体 是 电脑 的 instance 和 那个 躯体性物体 是 那个 另外 躯体性物体 的 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)
                                (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 5133-5157
(=>
    (attribute ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?User ?Computer))))		 QoSontology.kif 1728-1733
(=>
    (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 3310-3323
(=>
    (instance ?D DHCPServer)
    (exists (?PROG ?C)
        (and
            (instance ?C Computer)
            (instance ?PROG DHCPProgram)
            (computerRunning ?D ?C)
            (programRunning ?D ?PROG))))		 ComputingBrands.kif 3985-3992
(=>
    (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 3774-3785
(=>
    (instance ?PROCESS ITProcess)
    (exists (?AGENT ?PATIENT)
        (and
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?PATIENT)
            (instance ?AGENT ITAgent)
            (instance ?PATIENT Computer))))		 engineering.kif 1309-1316
(=>
    (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 1618-1624
(=>
    (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 4267-4278


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