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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AbortedMissionFn

Sigma KEE - AbortedMissionFn
AbortedMissionFn

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


(documentation AbortedMissionFn EnglishLanguage "(AborteMissionFn ?AGENT ?OP) is the MilitaryOperation ?OP after it has gotten aborted by the Agent ?AGENT") MilitaryProcesses.kif 2401-2403
(domain AbortedMissionFn 2 MilitaryOperation) MilitaryProcesses.kif 2398-2398 AbortedMissionFn 的 2 数量 是 MilitaryOperationinstance
(instance AbortedMissionFn BinaryFunction) MilitaryProcesses.kif 2397-2397 AbortedMissionFn二元函数instance
(range AbortedMissionFn MilitaryOperation) MilitaryProcesses.kif 2399-2399 AbortedMissionFnrangeMilitaryOperation 的实例
(subrelation AbortedMissionFn AbortedFn) MilitaryProcesses.kif 2400-2400 AbortedMissionFnAbortedFnsubrelation

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


(format EnglishLanguage AbortedMissionFn "the military operation %2 aborted by %1") MilitaryProcesses.kif 2657-2657
(format EnglishLanguage AbortedMissionFn "the mission of %2 aborted by %1") domainEnglishFormat.kif 16-16
(termFormat EnglishLanguage AbortedMissionFn "aborted mission") domainEnglishFormat.kif 1282-1282 termFormat EnglishLanguage, AbortedMissionFn and "aborted mission"

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


(=>
    (and
        (instance ?ABORTED
            (AbortedMissionFn ?A ?MISSION))
        (causes ?ACTION ?ABORTED)
        (agent ?ACTION ?OTHER_A)
        (agent ?MISSION ?THIS_A))
    (not
        (enemy ?OTHER_A ?THIS_A)))
MilitaryProcesses.kif 2407-2412


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