TreeView Knowledge Base Browser - ArmedReconnaissance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ArmedReconnaissance

Sigma KEE - ArmedReconnaissance

ArmedReconnaissance(armed reconnaissance)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 73-77
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 72-72	Armed reconnaissance is a subclass of special reconnaissance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8388-8388
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8387-8387
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8386-8386

antecedent

No TPTP formula. May not be expressible in strict first order.

MilitaryProcesses.kif 89-103

If a process is an instance of armed reconnaissance and a cognitive agent is an agent of the process and an entity is a patient of the process and the cognitive agent and the entity are enemies of each other holds during the time of existence of the process,
then the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of attack and the cognitive agent is an agent of the other entity and the entity is a patient of the other entity

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 3.0 is open source software produced by Articulate Software and its partners