TreeView Knowledge Base Browser

appearance as argument number 1

(documentation AbortedFn EnglishLanguage "(AborteFn ?AGENT ?PROCESS) is the Process ?PROCESS after it has gotten aborted by the AutonomousAgent ?AGENT")	MilitaryProcesses.kif 2414-2415
(domain AbortedFn 1 AutonomousAgent)	MilitaryProcesses.kif 2411-2411	AbortedFn の数値 1 引数は AutonomousAgent の instance では
(domain AbortedFn 2 Process)	MilitaryProcesses.kif 2412-2412	AbortedFn の数値 2 引数は工程の instance では
(instance AbortedFn BinaryFunction)	MilitaryProcesses.kif 2410-2410	AbortedFn は 2変数関数の instance では
(range AbortedFn Process)	MilitaryProcesses.kif 2413-2413	AbortedFn の range は工程のインスタンスでは

appearance as argument number 2

(format ChineseLanguage AbortedFn "由 %2 中止的 %1 ")	domainEnglishFormat.kif 20-20
(format ChineseTraditionalLanguage AbortedFn "由 %2 中止的 %1 ")	domainEnglishFormat.kif 19-19
(format EnglishLanguage AbortedFn "the abortion of %1 by %2 ")	domainEnglishFormat.kif 18-18
(format EnglishLanguage AbortedFn "the process %2 aborted by %1")	MilitaryProcesses.kif 2882-2882
(subrelation AbortedLaunchFn AbortedFn)	MilitaryProcesses.kif 2513-2513	AbortedLaunchFn は AbortedFn の subrelation では
(subrelation AbortedMissionFn AbortedFn)	MilitaryProcesses.kif 2434-2434	AbortedMissionFn は AbortedFn の subrelation では
(termFormat ChineseLanguage AbortedFn "中止")	domainEnglishFormat.kif 5085-5085	AbortedMissionFn は AbortedFn の subrelation では
(termFormat ChineseTraditionalLanguage AbortedFn "中止")	domainEnglishFormat.kif 5084-5084	AbortedMissionFn は AbortedFn の subrelation では
(termFormat EnglishLanguage AbortedFn "aborted")	domainEnglishFormat.kif 5083-5083	AbortedMissionFn は AbortedFn の subrelation では

antecedent

(=>
    (instance ?X
        (AbortedFn ?A ?P))
    (exists (?T)
        (and
            (holdsDuring ?T
                (desires ?A
                    (exists (?PR)
                        (and
                            (instance ?PR ?P)
                            (agent ?PR ?A)))))
            (earlier ?T
                (WhenFn ?X)))))

MilitaryProcesses.kif 2417-2428

物理は AbortedFn AutonomousAgent and 工程の instance では
時間間隔 AutonomousAgent が工程R 工程R は工程の instance では AutonomousAgent は工程R の agent ではを desires は時間間隔の during holds 時間間隔は物理の time の existence より earlier happens

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

KB Term:			Term intersection

English Word: