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

Formal Language: 



KB Term:  Term intersection
English Word: 

  computerRunning

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 204-205
(domain computerRunning 1 ComputerProcess) QoSontology.kif 202-202 Le nombre 1 argument de computerRunning est une instance de ComputerProcess
(domain computerRunning 2 Computer) QoSontology.kif 203-203 Le nombre 2 argument de computerRunning est une instance de Computer
(instance computerRunning BinaryPredicate) QoSontology.kif 200-200 computerRunning est une instance de pr�dicat binaire
(instance computerRunning CaseRole) QoSontology.kif 201-201 computerRunning est une instance de r�le d�pendant du cas
(subrelation computerRunning instrument) QoSontology.kif 199-199 computerRunning est une sous-relation de instrument

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


(format ChineseLanguage computerRunning "%1 是 running 在 %2 ") domainEnglishFormat.kif 3058-3058
(format ChineseTraditionalLanguage computerRunning "%1 是 running 在 %2 ") domainEnglishFormat.kif 3057-3057
(format EnglishLanguage computerRunning "%1 is running on %2") domainEnglishFormat.kif 3056-3056
(termFormat ChineseLanguage computerRunning "电脑运行") domainEnglishFormat.kif 16392-16392
(termFormat ChineseTraditionalLanguage computerRunning "電腦運行") domainEnglishFormat.kif 16391-16391
(termFormat EnglishLanguage computerRunning "computer running") domainEnglishFormat.kif 16390-16390

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


(=>
    (and
        (instance ?A AppleAppStore)
        (programRunning ?P ?A)
        (computerRunning ?P ?C))
    (hasPurpose ?A
        (exists (?D)
            (and
                (instance ?D DownloadingOverNetwork)
                (origin ?D ?C)))))
ComputingBrands.kif 1990-1999
(=>
    (and
        (programRunning ?Process ?Program)
        (computerRunning ?Process ?Computer))
    (runsOn ?Program ?Computer))
QoSontology.kif 343-347
(=>
    (and
        (programRunning ?Process ?Program)
        (instance ?Program ?PC)
        (instance ?Computer ?CC)
        (computerRunning ?Process ?Computer))
    (canRunOn ?PC ?CC))
QoSontology.kif 357-363

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 734-743
(=>
    (and
        (instance ?I SoftwareInstallation)
        (dataProcessed ?I ?P)
        (instance ?P ComputerProgram)
        (destination ?I ?C))
    (hasPurpose ?I
        (exists (?PROC)
            (computerRunning ?PROC ?C))))
ComputingBrands.kif 3591-3599
(=>
    (and
        (instance ?Software SoftwareSystem)
        (instance ?Process ComputerProcess)
        (programRunning ?Process ?Software))
    (exists (?Hardware)
        (and
            (instance ?Hardware HardwareSystem)
            (computerRunning ?Process ?Hardware))))
QoSontology.kif 299-307
(=>
    (instance ?A App)
    (hasPurpose ?A
        (exists (?A ?P ?C)
            (and
                (instance ?C MobileCellPhone)
                (instance ?P ComputerProcess)
                (programRunning ?P ?A)
                (computerRunning ?P ?C)))))
ComputingBrands.kif 1960-1968
(=>
    (instance ?D DHCPServer)
    (exists (?PROG ?C)
        (and
            (instance ?C Computer)
            (instance ?PROG DHCPProgram)
            (computerRunning ?D ?C)
            (programRunning ?D ?PROG))))
ComputingBrands.kif 4063-4070
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 157-164
(=>
    (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 4345-4356
(=>
    (runningOn ?Program ?Computer)
    (exists (?Process)
        (and
            (programRunning ?Process ?Program)
            (computerRunning ?Process ?Computer))))
QoSontology.kif 192-197


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