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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoststrikeReconnaissance
PoststrikeReconnaissance(poststrike reconnaissance)

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


s__documentation(s__PoststrikeReconnaissance,s__EnglishLanguage,'"These operations are undertaken for the purpose of gathering information used to measure results of a strike."')

MilitaryProcesses.kif 115-117
s__instance(s__SpecialReconnaissance,s__Class)

s__instance(s__PoststrikeReconnaissance,s__Class)

s__subclass(s__PoststrikeReconnaissance,s__SpecialReconnaissance)

MilitaryProcesses.kif 114-114 Poststrike reconnaissance is a subclass of special reconnaissance

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


s__termFormat(s__ChineseLanguage,s__PoststrikeReconnaissance,'"追击侦察"')

domainEnglishFormat.kif 46827-46827
s__termFormat(s__ChineseTraditionalLanguage,s__PoststrikeReconnaissance,'"追擊偵察"')

domainEnglishFormat.kif 46826-46826
s__termFormat(s__EnglishLanguage,s__PoststrikeReconnaissance,'"post-strike reconnaissance"')

MilitaryProcesses.kif 2678-2678
s__termFormat(s__EnglishLanguage,s__PoststrikeReconnaissance,'"poststrike reconnaissance"')

domainEnglishFormat.kif 46825-46825

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


( ! [V__OBJ,V__PSR] :
   (((s__instance(V__PSR,s__PoststrikeReconnaissance) &
         s__patient(V__PSR,V__OBJ))
     =>
     (( ? [V__ATTACK] :
         ((s__instance(V__ATTACK,s__Attack) &
             s__patient(V__ATTACK,V__OBJ)
           &
           s__earlier(s__WhenFn(V__ATTACK)
        ,s__WhenFn(V__PSR)))))))
)
)

MilitaryProcesses.kif 121-129


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