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://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 电脑电器subclass

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


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

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


(domain computerRunning 2 Computer) QoSontology.kif 204-204 电脑运行 的 2 数量 是 电脑instance
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3529-3529 connectedPeripheral 的 2 数量 是 电脑instance
(domain deviceAccount 2 Computer) ComputingBrands.kif 3946-3946 deviceAccount 的 2 数量 是 电脑instance
(domain hardwareType 2 Computer) QoSontology.kif 1132-1132 硬件类型 的 2 数量 是 电脑instance
(domain hostJitter 1 Computer) QoSontology.kif 2261-2261 主机抖动 的 1 数量 是 电脑instance
(domain hostOf 2 Computer) QoSontology.kif 658-658 的主持 的 2 数量 是 电脑instance
(domain hostStatus 1 Computer) QoSontology.kif 2243-2243 主持人身份 的 1 数量 是 电脑instance
(domain ipAddressOf 1 Computer) QoSontology.kif 871-871 的IP地址 的 1 数量 是 电脑instance
(domain numberOfCPUs 1 Computer) QoSontology.kif 1124-1124 CPU的数量 的 1 数量 是 电脑instance
(domain runningOn 2 Computer) QoSontology.kif 189-189 继续前进 的 2 数量 是 电脑instance
(domain runsOn 2 Computer) QoSontology.kif 340-340 能够操作 的 2 数量 是 电脑instance
(domain thresholdOf 1 Computer) QoSontology.kif 1143-1143 的门槛 的 1 数量 是 电脑instance
(domain trustedDevice 2 Computer) ComputingBrands.kif 4281-4281 trustedDevice 的 2 数量 是 电脑instance
(domainSubclass canRunOn 2 Computer) QoSontology.kif 353-353 可以操作 的 2 数量 是 电脑subclass
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 728-728 deviceOS 的 2 数量 是 电脑subclass

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 躯体性物体电脑硬件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 ?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 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