| appearance as argument number 1 |
|
| (documentation softwareVersion EnglishLanguage "softwareVersion is a VersionAttribute to the Proposition, ComputerProgram.") | ComputingBrands.kif 3858-3859 | |
| (domain softwareVersion 1 ComputerProgram) | ComputingBrands.kif 3860-3860 | softwareVersion の数値 1 引数は コンピュータープログラム の instance では |
| (domain softwareVersion 2 VersionAttribute) | ComputingBrands.kif 3861-3861 | softwareVersion の数値 2 引数は VersionAttribute の instance では |
| (instance softwareVersion BinaryRelation) | ComputingBrands.kif 3857-3857 | softwareVersion は 2項関係 の instance では |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage softwareVersion "%1 is the software version of %1") | ComputingBrands.kif 3862-3862 | |
| (termFormat EnglishLanguage softwareVersion "software version") | ComputingBrands.kif 3863-3863 |
| 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 3865-3877 |
|
| 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 3821-3835 | |
| (=> (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 3865-3877 |
|
|
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