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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
(instance AbortedMissionFn BinaryFunction) MilitaryProcesses.kif 2397-2397
(range AbortedMissionFn MilitaryOperation) MilitaryProcesses.kif 2399-2399
(subrelation AbortedMissionFn AbortedFn) MilitaryProcesses.kif 2400-2400

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

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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners