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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CurrentVersion

Sigma KEE - CurrentVersion
CurrentVersion

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


(documentation CurrentVersion EnglishLanguage "CurrentVersion is an latest 'version' of the software of the VersionAttribute.Note that while this typically means they will share a lot of code, that's not strictly necessary as one version could be a complete rewrite of the other as long as they broadly share the same purpose.") ComputingBrands.kif 3899-3903
(subAttribute CurrentVersion VersionAttribute) ComputingBrands.kif 3898-3898 CurrentVersion è un sottoattributo di VersionAttribute

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


(disjoint PreviousVersion CurrentVersion) ComputingBrands.kif 3890-3890 PreviousVersion è disgiunto da CurrentVersion
(termFormat EnglishLanguage CurrentVersion "current version") ComputingBrands.kif 3904-3904

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


(=>
    (and
        (softwareVersion ?COM CurrentVersion)
        (instance ?P2 ComputerProgramming)
        (patient ?P2 ?COM))
    (exists (?P1)
        (and
            (instance ?P1 ComputerProgramming)
            (not
                (equal ?P1 ?P2))
            (earlier
                (WhenFn ?P1)
                (WhenFn ?P2))
            (patient ?P1 ?COM)
            (softwareVersion ?COM PreviousVersion))))
ComputingBrands.kif 3870-3882

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


(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer))
    (exists (?P)
        (and
            (objectTransferred ?SU ?P)
            (instance ?P ComputerProgram)
            (holdsDuring
                (BeginFn
                    (WhenFn ?SU)
                    (softwareVersion ?P PreviousVersion)))
            (holdsDuring
                (EndFn
                    (WhenFn ?SU)
                    (softwareVersion ?P CurrentVersion))))))
ComputingBrands.kif 3826-3840


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