shutdownOf - Sigma Knowledge base Browser

appearance as argument number 1

(documentation shutdownOf EnglishLanguage "(shutdownOf ?SHUTDOWN ?PROGRAM) holds just in case an instance of ShutdownBlock ?SHUTDOWN specifies a set of instructions to end ?PROGRAM.")	QoSontology.kif 414-416
(domain shutdownOf 1 ShutdownBlock)	QoSontology.kif 412-412	The number 1 argument of shutdown of is an instance of shutdown block
(domain shutdownOf 2 ComputerProgram)	QoSontology.kif 413-413	The number 2 argument of shutdown of is an instance of computer program
(instance shutdownOf BinaryPredicate)	QoSontology.kif 411-411	shutdown of is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage shutdownOf "%2 %n 是 %1 的 shutdown ")	domainEnglishFormat.kif 2295-2295
(format ChineseTraditionalLanguage shutdownOf "%2 %n 是 %1 的 shutdown ")	domainEnglishFormat.kif 2294-2294
(format EnglishLanguage shutdownOf "%2 is %n a shutdown of %1")	domainEnglishFormat.kif 2293-2293
(termFormat ChineseLanguage shutdownOf "关闭")	domainEnglishFormat.kif 52949-52949
(termFormat ChineseTraditionalLanguage shutdownOf "關閉")	domainEnglishFormat.kif 52948-52948
(termFormat EnglishLanguage shutdownOf "shutdown of")	domainEnglishFormat.kif 52947-52947

antecedent

(=>
    (and
        (shutdownOf ?Shutdown ?Application)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Shutdown)
        (equal
            (WhenFn ?Process1) ?Time1))
    (exists (?Process2 ?Time2)
        (and
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Application)
            (equal
                (WhenFn ?Process2) ?Time2)
            (meetsTemporally ?Time2 ?Time1))))

QoSontology.kif 427-438

If a computer program is a shutdown of a shutdown block and a computer process is an instance of computer process and the shutdown block is a program running of the computer process and the time of existence of the computer process is equal to a time interval,
then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval meets the time interval

consequent

(=>
    (instance ?Shutdown ShutdownBlock)
    (exists (?Application)
        (shutdownOf ?Shutdown ?Application)))

QoSontology.kif 420-423

If a shutdown block is an instance of shutdown block,
then there exists a computer program such that the computer program is a shutdown of the shutdown block

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: