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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoftwareSystem

 Sigma KEE - SoftwareSystem
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 OperatingSystem 是 SoftwareSystem 的 subclass
(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 数量 是 SoftwareSystem 的 instance
(domain softwarePath 1 SoftwareSystem) QoSontology.kif 1079-1079 softwarePath 的 1 数量 是 SoftwareSystem 的 instance

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


(=>
    (and
        (instance ?Application AutomaticApplication)
        (instance ?System SoftwareSystem)
        (part ?Application ?System))
    (part
        (StartupFn ?Application)
        (StartupFn ?System)))		 QoSontology.kif 582-587
(=>
    (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