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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SoftwareUpgrading
SoftwareUpgrading(ソフトウェアの更新)

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


(documentation SoftwareUpgrading EnglishLanguage "Replacing software with a later version of the same software") ComputingBrands.kif 3788-3789
(subclass SoftwareUpgrading SoftwareInstallation) ComputingBrands.kif 3787-3787 subclass ソフトウェアの更新 and SoftwareInstallation

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


(termFormat ChineseLanguage SoftwareUpgrading "软体更新") ComputingBrands.kif 3796-3796
(termFormat ChineseTraditionalLanguage SoftwareUpgrading "軟體更新") ComputingBrands.kif 3795-3795
(termFormat EnglishLanguage SoftwareUpgrading "software upgrade") ComputingBrands.kif 3794-3794
(termFormat EnglishLanguage SoftwareUpgrading "software upgrading") ComputingBrands.kif 3791-3791
(termFormat EnglishLanguage SoftwareUpgrading "upgrade") ComputingBrands.kif 3793-3793
(termFormat EnglishLanguage SoftwareUpgrading "upgrading") ComputingBrands.kif 3792-3792
(termFormat JapaneseLanguage SoftwareUpgrading "ソフトウェアの更新") ComputingBrands.kif 3797-3797

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


(=>
    (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


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