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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoftwareSystem

Sigma KEE - SoftwareSystem
SoftwareSystemsoftware_system

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


(documentation SoftwareSystem EnglishLanguage "This is the class of mutually supportive groups of instances of ComputerProgram for a single general purpose. For example, a database management system is a collection of many instances of ComputerProgram that work together to store, retrieve, modify, and delete data.") QoSontology.kif 264-268
(subclass SoftwareSystem ComputerProgram) QoSontology.kif 263-263

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


(subclass OperatingSystem SoftwareSystem) QoSontology.kif 967-967
(termFormat EnglishLanguage SoftwareSystem "software system") domainEnglishFormat.kif 9380-9380

appearance as argument number 3
-------------------------


(domain rMProgram-of 2 SoftwareSystem) QoSontology.kif 599-599
(domain softwarePath 1 SoftwareSystem) QoSontology.kif 1063-1063

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


(=>
    (and
        (instance ?Application AutomaticApplication)
        (instance ?System SoftwareSystem)
        (part ?Application ?System))
    (part
        (StartupFn ?Application)
        (StartupFn ?System)))
QoSontology.kif 567-572
(=>
    (and
        (instance ?Software SoftwareSystem)
        (instance ?Process ComputerProcess)
        (programRunning ?Process ?Software))
    (exists (?Hardware)
        (and
            (instance ?Hardware HardwareSystem)
            (computerRunning ?Process ?Hardware))))
QoSontology.kif 294-302
(=>
    (instance ?SOFTWARE SoftwareSystem)
    (exists (?FILE)
        (and
            (instance ?FILE SoftwareFile)
            (component ?FILE ?SOFTWARE))))
Media.kif 1511-1516
(=>
    (instance ?System SoftwareSystem)
    (forall (?Program ?Process)
        (=>
            (and
                (part ?Program ?System)
                (programRunning ?Process ?Program))
            (exists (?Purpose)
                (hasPurpose ?Process ?Purpose)))))
QoSontology.kif 273-281


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners