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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - SoftwareSystem

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 SoftwareSystem电脑程序subclass

appearance as argument number 2

(subclass OperatingSystem SoftwareSystem) QoSontology.kif 982-982 OperatingSystemSoftwareSystemsubclass
(termFormat EnglishLanguage SoftwareSystem "software system") domainEnglishFormat.kif 9380-9380 termFormat EnglishLanguage, SoftwareSystem and "software system"

appearance as argument number 3

(domain rMProgram-of 2 SoftwareSystem) QoSontology.kif 614-614 rMProgram-of 的 2 数量 是 SoftwareSysteminstance
(domain softwarePath 1 SoftwareSystem) QoSontology.kif 1079-1079 softwarePath 的 1 数量 是 SoftwareSysteminstance


        (instance ?Application AutomaticApplication)
        (instance ?System SoftwareSystem)
        (part ?Application ?System))
        (StartupFn ?Application)
        (StartupFn ?System)))
QoSontology.kif 582-587
        (instance ?Software SoftwareSystem)
        (instance ?Process ComputerProcess)
        (programRunning ?Process ?Software))
    (exists (?Hardware)
            (instance ?Hardware HardwareSystem)
            (computerRunning ?Process ?Hardware))))
QoSontology.kif 294-302
    (instance ?SOFTWARE SoftwareSystem)
    (exists (?FILE)
            (instance ?FILE SoftwareFile)
            (component ?FILE ?SOFTWARE))))
Media.kif 1511-1516
    (instance ?System SoftwareSystem)
    (forall (?Program ?Process)
                (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