PoststrikeReconnaissance - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PoststrikeReconnaissance EnglishLanguage "These operations are undertaken for the purpose of gathering information used to measure results of a strike.")	MilitaryProcesses.kif 115-117
(subclass PoststrikeReconnaissance SpecialReconnaissance)	MilitaryProcesses.kif 114-114	Poststrike reconnaissance is a subclass of special reconnaissance

appearance as argument number 2

(termFormat ChineseLanguage PoststrikeReconnaissance "追击侦察")	domainEnglishFormat.kif 46882-46882
(termFormat ChineseTraditionalLanguage PoststrikeReconnaissance "追擊偵察")	domainEnglishFormat.kif 46881-46881
(termFormat EnglishLanguage PoststrikeReconnaissance "post-strike reconnaissance")	MilitaryProcesses.kif 2912-2912
(termFormat EnglishLanguage PoststrikeReconnaissance "poststrike reconnaissance")	domainEnglishFormat.kif 46880-46880

antecedent

(=>
    (and
        (instance ?PSR PoststrikeReconnaissance)
        (patient ?PSR ?OBJ))
    (exists (?ATTACK)
        (and
            (instance ?ATTACK Attack)
            (patient ?ATTACK ?OBJ)
            (earlier
                (WhenFn ?ATTACK)
                (WhenFn ?PSR)))))

MilitaryProcesses.kif 121-129

If a process is an instance of poststrike reconnaissance and an entity is a patient of the process,
then there exists another process such that the other process is an instance of attack and the entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process

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

KB Term:			Term intersection

English Word: