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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoftwareInstallation

Sigma KEE - SoftwareInstallation
SoftwareInstallation(installation)

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


(documentation SoftwareInstallation EnglishLanguage "The process of deploying an application on a computer.") engineering.kif 1319-1320
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 11/ Klamav_install.png") pictureList.kif 11242-11242
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 62/ FreeDOS_Beta_9_pre-release5_%28install_progress%29_on_Bochs_sshot20040912.png") pictureList.kif 11241-11241
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 63/ Cygwin-setup.png") pictureList.kif 11239-11239
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 68/ Zero_Install_caching_an_application.png") pictureList.kif 11240-11240
(subclass SoftwareInstallation DataTransfer) ComputingBrands.kif 3554-3554 Installation is a subclass of data transfer
(subclass SoftwareInstallation ITProcess) engineering.kif 1323-1323 Installation is a subclass of IT process

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


(subclass SoftwareUpgrading SoftwareInstallation) ComputingBrands.kif 3777-3777 Software upgrade is a subclass of installation
(termFormat ChineseLanguage SoftwareInstallation "安装") domainEnglishFormat.kif 30222-30222
(termFormat ChineseTraditionalLanguage SoftwareInstallation "安裝") domainEnglishFormat.kif 30221-30221
(termFormat EnglishLanguage SoftwareInstallation "install") engineering.kif 1322-1322
(termFormat EnglishLanguage SoftwareInstallation "installation") domainEnglishFormat.kif 30220-30220

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


(=>
    (and
        (instance ?I SoftwareInstallation)
        (dataProcessed ?I ?P)
        (instance ?P ComputerProgram)
        (destination ?I ?C))
    (hasPurpose ?I
        (exists (?PROC)
            (computerRunning ?PROC ?C))))
ComputingBrands.kif 3556-3564

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


(=>
    (and
        (instance ?U SoftwareUnInstallation)
        (equal ?T2
            (WhenFn ?U))
        (dataProcessed ?U ?P)
        (instance ?P ComputerProgram)
        (located ?U ?C))
    (exists (?I ?T1)
        (and
            (instance ?I SoftwareInstallation)
            (equal ?T1
                (WhenFn ?I))
            (dataProcessed ?I ?P)
            (instance ?P ComputerProgram)
            (located ?I ?C)
            (earlier ?T1 ?T2))))
ComputingBrands.kif 3566-3580


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