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


KB Term:  Term intersection
English Word: 

  StartupFn

 Sigma KEE - StartupFn
StartupFn

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


(instance StartupFn UnaryFunction) QoSontology.kif 393-393 Startup is an instance of unary function
(domain StartupFn 1 ComputerProgram) QoSontology.kif 394-394 The number 1 argument of startup is an instance of computer program
(range StartupFn StartupBlock) QoSontology.kif 395-395 The range of startup is an instance of startup block
(documentation StartupFn EnglishLanguage "(StartupFn ?Program) returns an instance of StartupBlock which contains the instructions to start the ?Program.") QoSontology.kif 396-397 The range of startup is an instance of startup block

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


(format EnglishLanguage StartupFn "the startup of %1") domainEnglishFormat.kif 2345-2345
(format ChineseTraditionalLanguage StartupFn "%1 的 startup ") domainEnglishFormat.kif 2346-2346
(format ChineseLanguage StartupFn "%1 的 startup ") domainEnglishFormat.kif 2347-2347
(termFormat EnglishLanguage StartupFn "startup") domainEnglishFormat.kif 55081-55081
(termFormat ChineseTraditionalLanguage StartupFn "啟動") domainEnglishFormat.kif 55082-55082
(termFormat ChineseLanguage StartupFn "启动") domainEnglishFormat.kif 55083-55083

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


(=>
    (and
        (instance ?Application AutomaticApplication)
        (instance ?System SoftwareSystem)
        (part ?Application ?System))
    (part
        (StartupFn ?Application)
        (StartupFn ?System)))		 QoSontology.kif 680-685 If X is an instance of automatic application, Y is an instance of software system, and X is a part of Y, then the startup of X is a part of the startup of Y
(=>
    (instance ?RM RMStartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))		 QoSontology.kif 694-701 If X is an instance of RM start application, then there exist Y, Z, W such that Y is an instance of computer program, W is a copy of X, the startup of Y is a program running of Z, and W is an agent of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners