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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - SoftwareUpgrading

appearance as argument number 1

(documentation SoftwareUpgrading EnglishLanguage "Replacing software with a later version of the same software") ComputingBrands.kif 3813-3814
(subclass SoftwareUpgrading SoftwareInstallation) ComputingBrands.kif 3812-3812 SoftwareUpgrading est une sous-classe de SoftwareInstallation

appearance as argument number 2

(termFormat ChineseLanguage SoftwareUpgrading "软体更新") ComputingBrands.kif 3821-3821
(termFormat ChineseTraditionalLanguage SoftwareUpgrading "軟體更新") ComputingBrands.kif 3820-3820
(termFormat EnglishLanguage SoftwareUpgrading "software upgrade") ComputingBrands.kif 3819-3819
(termFormat EnglishLanguage SoftwareUpgrading "software upgrading") ComputingBrands.kif 3816-3816
(termFormat EnglishLanguage SoftwareUpgrading "upgrade") ComputingBrands.kif 3818-3818
(termFormat EnglishLanguage SoftwareUpgrading "upgrading") ComputingBrands.kif 3817-3817
(termFormat JapaneseLanguage SoftwareUpgrading "ソフトウェアの更新") ComputingBrands.kif 3822-3822


        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer))
    (exists (?P)
            (objectTransferred ?SU ?P)
            (instance ?P ComputerProgram)
                    (WhenFn ?SU)
                    (softwareVersion ?P PreviousVersion)))
                    (WhenFn ?SU)
                    (softwareVersion ?P CurrentVersion))))))
ComputingBrands.kif 3824-3838

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