Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PreviousVersion

 Sigma KEE - PreviousVersion
PreviousVersion(previous version)

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


(subAttribute PreviousVersion VersionAttribute) ComputingBrands.kif 3795-3795 Previous version is a subattribute of version atribute
(disjoint PreviousVersion CurrentVersion) ComputingBrands.kif 3796-3796 Previous version is disjoint from current version
(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 3797-3801 Previous version is disjoint from current version

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


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

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 3732-3746 If X is an instance of software upgrade, Y is a patient of X, and Y is an instance of computer, then there exists Z such that the object transferred in X is Z, Z is an instance of computer program, Z is the software version of Z holds during the beginning of the time of existence of X, and Z is the software version of Z holds during the end of the time of existence of X
(=>
    (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 3776-3788 If X is the software version of X, Y is an instance of computer programming, and X is a patient of Y, then there exists Z such that Z is an instance of computer programming, equal Z, Y, the time of existence of Z happens earlier than the time of existence of Y, X is a patient of Z, and X is the software version of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners