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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - softwareVersion
softwareVersion

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


(documentation softwareVersion EnglishLanguage "softwareVersion is a VersionAttribute to the Proposition, ComputerProgram.") ComputingBrands.kif 3863-3864
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3865-3865
(domain softwareVersion 2 VersionAttribute) ComputingBrands.kif 3866-3866
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3862-3862

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


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

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
(=>
    (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 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 is open source software produced by Articulate Software and its partners