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


KB Term:  Term intersection
English Word: 

Sigma KEE - softwareVersion
softwareVersion

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


(instance softwareVersion BinaryPredicate) ComputingBrands.kif 3768-3768 software version is an instance of binary predicate
(documentation softwareVersion EnglishLanguage "softwareVersion is a VersionAttribute to the Proposition, ComputerProgram.") ComputingBrands.kif 3769-3770 software version is an instance of binary predicate
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3771-3771 The number 1 argument of software version is an instance of computer program
(domain softwareVersion 2 VersionAttribute) ComputingBrands.kif 3772-3772 The number 2 argument of software version is an instance of version atribute

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


(format EnglishLanguage softwareVersion "%1 is the software version of %1") ComputingBrands.kif 3773-3773
(termFormat EnglishLanguage softwareVersion "software version") ComputingBrands.kif 3774-3774

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

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