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 204-205
(domain computerRunning 1 ComputerProcess) QoSontology.kif 202-202 computerRunning の数値 1 引数は ComputerProcessinstance では %n
(domain computerRunning 2 Computer) QoSontology.kif 203-203 computerRunning の数値 2 引数は Computerinstance では %n
(instance computerRunning BinaryPredicate) QoSontology.kif 200-200 computerRunning2進述語instance では %n
(instance computerRunning CaseRole) QoSontology.kif 201-201 computerRunning格役割instance では %n
(subrelation computerRunning instrument) QoSontology.kif 199-199 computerRunninginstrumentsubrelation では %n

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 3593-3601
(=>
    (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 4065-4072
(=>
    (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 4347-4358
(=>
    (runningOn ?Program ?Computer)
    (exists (?Process)
        (and
            (programRunning ?Process ?Program)
            (computerRunning ?Process ?Computer))))
QoSontology.kif 192-197


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