ReconnaissanceOperation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ReconnaissanceOperation

ReconnaissanceOperation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 675-679
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8678-8678
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9583-9583
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 674-674	ReconnaissanceOperation 是调查的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 673-673	ReconnaissanceOperation 是军事行动的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 730-730	空中侦察是 ReconnaissanceOperation 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 765-765	两栖侦察是 ReconnaissanceOperation 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 820-820	联系侦察是 ReconnaissanceOperation 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 844-844	电子侦察是 ReconnaissanceOperation 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 838-838	巡逻是 ReconnaissanceOperation 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 824-824	雷达侦察是 ReconnaissanceOperation 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 706-706	ReconnaissanceByFire 是 ReconnaissanceOperation 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 725-725	ReconnaissanceInForce 是 ReconnaissanceOperation 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 19-19	特别侦察是 ReconnaissanceOperation 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2747-2747

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 684-690	如果过程是 ReconnaissanceOperation 的 instance 和施事体是那个过程的 agent 和实体是命题的 instance，然后那个过程的目的是那个施事体 knows 那个实体
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 694-704	如果过程是 ReconnaissanceOperation 的 instance 和施事体是那个过程的 agent，然后那个过程的目的不是有存在实体和另一个实体这样那个实体是攻击的 instance 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的 patient

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2193-2203	如果物理是反侦察的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是那个物理的 agent 和 enemy 那个实体 and 那个另外实体和那个第四实体是 ReconnaissanceOperation 的 subclass 和那个第三实体是那个第四实体的 instance 和那个另外实体是那个第三实体的 agent 和那个物理 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 520-522	如果客体是 LAR单位的 instance，然后那个客体能够担当主事的角色做 ReconnaissanceOperation

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