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 "The software in the first argument is a 'version' of the software in the second argument. 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 3800-3804
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3806-3806 domain softwareVersion, 1 and ComputerProgram
(domain softwareVersion 2 ComputerProgram) ComputingBrands.kif 3807-3807 domain softwareVersion, 2 and ComputerProgram
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3799-3799 instance softwareVersion and BinaryRelation

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


(format EnglishLanguage softwareVersion "%1 is a later software version of %2") ComputingBrands.kif 3809-3809
(termFormat EnglishLanguage softwareVersion "software version") ComputingBrands.kif 3810-3810

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


(=>
    (softwareVersion ?P1 ?P2)
    (greaterThan
        (WhenFn ?P1)
        (WhenFn ?P2)))
ComputingBrands.kif 3812-3814
(=>
    (softwareVersion ?P1 ?P2)
    (modalAttribute
        (exists (?L)
            (and
                (containsInformation ?L ?P1)
                (containsInformation ?L ?P2))) Likely))
ComputingBrands.kif 3816-3823

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


(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer)
        (objectTransferred ?SU ?P)
        (instance ?P ComputerProgram))
    (exists (?POLD ?DSD)
        (and
            (instance ?POLD ComputerProgram)
            (instance ?DSD DataStorageDevice)
            (connectedPeripheral ?DSD ?C)
            (stored ?POLD ?DSD)
            (softwareVersion ?P ?POLD))))
ComputingBrands.kif 3825-3838


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