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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PreviousVersion

Sigma KEE - PreviousVersion
PreviousVersion

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


(disjoint PreviousVersion CurrentVersion) ComputingBrands.kif 3890-3890 PreviousVersion est disjoint de CurrentVersion
(documentation PreviousVersion EnglishLanguage "PreviousVersion is an earlier '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 3891-3895
(subAttribute PreviousVersion VersionAttribute) ComputingBrands.kif 3889-3889 PreviousVersion est un sous-attribut de VersionAttribute

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


(termFormat EnglishLanguage PreviousVersion "previous version") ComputingBrands.kif 3896-3896

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


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