TreeView Knowledge Base Browser

appearance as argument number 1

(instance shutdownOf BinaryPredicate)	QoSontology.kif 404-404	shutdown of is an instance of binary predicate
(domain shutdownOf 1 ShutdownBlock)	QoSontology.kif 405-405	The number 1 argument of shutdown of is an instance of shutdown block
(domain shutdownOf 2 ComputerProgram)	QoSontology.kif 406-406	The number 2 argument of shutdown of is an instance of computer program
(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 407-409	The number 2 argument of shutdown of is an instance of computer program

appearance as argument number 2

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

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 420-431

If X is a shutdown of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and U meets W

consequent

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

QoSontology.kif 413-416

If X is an instance of shutdown block, then there exists Y such that Y is a shutdown of X

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

KB Term:			Term intersection

English Word: