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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - computerRunning
computerRunning

appearance as argument number 1
-------------------------


(documentation computerRunning EnglishLanguage "(computerRunning ?Process ?Computer) means that the ComputerProcess ?Process is running on ?Computer.") QoSontology.kif 202-203
(domain computerRunning 1 ComputerProcess) QoSontology.kif 200-200 domain computerRunning, 1 and ComputerProcess
(domain computerRunning 2 Computer) QoSontology.kif 201-201 domain computerRunning, 2 and Computer
(instance computerRunning BinaryPredicate) QoSontology.kif 198-198 instance computerRunning and BinaryPredicate
(instance computerRunning CaseRole) QoSontology.kif 199-199 instance computerRunning and CaseRole
(subrelation computerRunning instrument) QoSontology.kif 197-197 subrelation computerRunning and instrument

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


(format ChineseLanguage computerRunning "%1 是 running 在 %2 ") domainEnglishFormat.kif 3063-3063
(format ChineseTraditionalLanguage computerRunning "%1 是 running 在 %2 ") domainEnglishFormat.kif 3062-3062
(format EnglishLanguage computerRunning "%1 is running on %2") domainEnglishFormat.kif 3061-3061
(termFormat ChineseLanguage computerRunning "电脑运行") domainEnglishFormat.kif 16324-16324
(termFormat ChineseTraditionalLanguage computerRunning "電腦運行") domainEnglishFormat.kif 16323-16323
(termFormat EnglishLanguage computerRunning "computer running") domainEnglishFormat.kif 16322-16322

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


(=>
    (and
        (instance ?A AppleAppStore)
        (programRunning ?P ?A)
        (computerRunning ?P ?C))
    (hasPurpose ?A
        (exists (?D)
            (and
                (instance ?D Downloading)
                (origin ?D ?C)))))		 ComputingBrands.kif 1968-1977
(=>
    (and
        (programRunning ?Process ?Program)
        (computerRunning ?Process ?Computer))
    (runsOn ?Program ?Computer))		 QoSontology.kif 341-345
(=>
    (and
        (programRunning ?Process ?Program)
        (instance ?Program ?PC)
        (instance ?Computer ?CC)
        (computerRunning ?Process ?Computer))
    (canRunOn ?PC ?CC))		 QoSontology.kif 355-361

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


(=>
    (and
        (deviceOS ?C ?OS)
        (instance ?CI ?C)
        (instance ?OSI ?OS)
        (manufacturer ?C ?ORG))
    (desires ?ORG
        (and
            (programRunning ?PROC ?OSI)
            (computerRunning ?PROC ?CI))))		 ComputingBrands.kif 709-718
(=>
    (and
        (instance ?I SoftwareInstallation)
        (dataProcessed ?I ?P)
        (instance ?P ComputerProgram)
        (destination ?I ?C))
    (hasPurpose ?I
        (exists (?PROC)
            (computerRunning ?PROC ?C))))		 ComputingBrands.kif 3580-3588
(=>
    (and
        (instance ?Software SoftwareSystem)
        (instance ?Process ComputerProcess)
        (programRunning ?Process ?Software))
    (exists (?Hardware)
        (and
            (instance ?Hardware HardwareSystem)
            (computerRunning ?Process ?Hardware))))		 QoSontology.kif 297-305
(=>
    (instance ?A App)
    (hasPurpose ?A
        (exists (?A ?P)
            (and
                (instance ?C MobileCellPhone)
                (instance ?P ComputerProcess)
                (programRunning ?P ?A)
                (computerRunning ?P ?C)))))		 ComputingBrands.kif 1938-1946
(=>
    (instance ?D DHCPServer)
    (exists (?PROG ?C)
        (and
            (instance ?C Computer)
            (instance ?PROG DHCPProgram)
            (computerRunning ?D ?C)
            (programRunning ?D ?PROG))))		 ComputingBrands.kif 3985-3992
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))		 QoSontology.kif 155-162
(=>
    (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
(=>
    (runningOn ?Program ?Computer)
    (exists (?Process)
        (and
            (programRunning ?Process ?Program)
            (computerRunning ?Process ?Computer))))		 QoSontology.kif 190-195


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